Microsoft MVP성태의 닷넷 이야기
VC++: 61. 아이태니엄(IA64: Itanium) 에서 겪은 C++ 포인터 연산 문제 [링크 복사], [링크+제목 복사],
조회: 25911
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)
(시리즈 글이 2개 있습니다.)
VC++: 61. 아이태니엄(IA64: Itanium) 에서 겪은 C++ 포인터 연산 문제
; https://www.sysnet.pe.kr/2/0/1265

VS.NET IDE: 76. Visual Studio 2012와 Itanium 빌드 옵션
; https://www.sysnet.pe.kr/2/0/1439




아이태니엄(IA64: Itanium)에서 겪은 C++ 포인터 연산 문제

제니퍼 닷넷의 C++ 프로젝트를 IA64로 포팅하면서 겪게 된 사연을 적어봅니다. ^^

문제는, 그 C++ 프로젝트에서만 발생하는 것 같은데 일단 Win32 콘솔 유형으로 간단하게 그 부분의 코드를 옮겨오면 다음과 같습니다.

#include "stdafx.h"
#include <Windows.h>

int _tmain(int argc, _TCHAR* argv[])
{
    __int64 nSize = 1;

    LPCBYTE pSize = (LPCBYTE)&nSize;

    int tSize1 = *( (int *)pSize );
    int tSize2 = *( (int *)(pSize + 4) );
    printf("tSize1 == %d, tSize2 == %d\r\n", tSize1, tSize2);

    return 0;
}

위의 코드에서 "*( (int *)(pSize + 4) )"와 같은 표현을 가진 C++ 코드가 아이태니엄에서 실행되면 그것을 실행하는 스레드 자체가 죽어버렸습니다. 문제를 더욱 복잡하게 만든 것이 있다면, 그 코드를 포함한 함수의 앞뒤로 CriticalSection을 잡아두는 바람에 다른 스레드들이 EnterCriticalSection에서 모두 대기하는 사태가 발생한 것입니다.

안전을 위해 다음과 같이 코드를 바꾸었고,

__try
{
    EnterCS...
    ...[함수 호출]...
}
__finally
{
    LeaveCS...
}

이렇게 함으로써 hang 상태는 벗어났지만, 응용 프로그램이 제대로 동작하지는 않았습니다. 사실... 문제의 심각성으로 보면, hang이나 비정상 동작이나 별다르게 차이가 없다고 봐야 할 수준입니다.

IA64를 마이크로소프트에서 지원을 포기하다 보니, 문제 파악이 많이 힘들었습니다. 원격 디버깅 도구가 ia64 버전이 있었지만, 실제로 "Attach to Process"를 하면 BreakPoint까지는 잘 잡히는데... 음... ^^; 잡히기만 할 뿐 실행이 되어도 멈추지를 않았습니다.

Windbg도 설치해서 마찬가지로 해당 프로세스에 붙여보았으나, "kb"와 같은 결과만 나올 뿐 "!locks" 명령어들은 동작하지 않았습니다.

결국, 문제를 분할 정복 방식으로 쪼개서 "printf" 문으로 일일이 확인해 가며 디버깅하는 수밖에 없었습니다. 어쨌든, 위와 같은 문제를 발견했을 때... 해결 방법 때문에 다시 고민이 되었습니다. 도대체... 저 코드를 어떻게 고쳐야 할까 아무리 생각해도 답이 안 나오는데, 혹시나 싶어서... 정말 설마 하는 마음으로 다음과 같이 고쳐보았습니다.

// int tSize2 = *( (int *)(pSize + 4) );
memcpy(&tSize2, pSize + 4, 4);
printf("tSize1 == %d, tSize2 == %d\r\n", tSize1, tSize2);

문제 해결! (위의 소스 코드로는 재현이 안됩니다.)

그나저나, 저 2가지 코드의 차이점이 IA64에서 어떤 영향을 주었길래 문제가 발생한 것일까요? 혹시 아시는 분이 계시다면 덧글 부탁드립니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 6/27/2021]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 



2014-11-05 11시37분
IA64의 경우, 메모리 정렬이 x86/x64와는 다르다고 합니다. IA64 CPU는 정렬되지 않은 데이터에 대한 접근 문제를 자동으로 처리하지 못하기 때문에 이에 대한 EXCEPTION_DATATYPE_MISALIGNMENT 예외로 전환된다고 합니다. 이때 자동으로 이 예외를 처리해주기를 원한다면 SetErrorMode(SEM_NOALIGNMENTFAULTEXCEPT); 코드를 넣으면 된다고 하는군요. 아니면, __unaligned 예약어를 써주는 것입니다. (아쉽게도 이젠 IA64 시스템을 구할 수 없어 확인을 할 수가 없습니다. ^^)

참고 문헌: 제프리 리처의 Windows via C/C++ - 13장 윈도우 메모리의 구조 (515페이지)

-------------------------------------------------

Why do some Windows functions fail if I pass an unaligned Unicode string?
; https://devblogs.microsoft.com/oldnewthing/20250605-00/?p=111250

Win32 API 중에는 문자열의 시작을 홀수 포인터 위치로 전달하는 경우 실패하는 함수가 있다고 합니다. 대체로 기본적인 규칙에 따라 정렬되지 않은 포인터는 실패하게 되지만,

Basic ground rules for programming – function parameters and how they are used
; https://devblogs.microsoft.com/oldnewthing/20060320-13/?p=31853

"
Pointers are properly aligned. Pointer alignment is a fundamental architectural requirement, yet something many people overlook having been pampered by a processor architecture that is very forgiving of alignment errors.
"

그런 포인터도 허용하는 경우라면 Win32 API의 경우 함수 선언에 "UNALIGNED" 매크로가 붙어 있다고 합니다.

#define UNALIGNED __unaligned

LWSTDAPI_(int) SHFormatDateTimeA(_In_ const FILETIME UNALIGNED * pft,
                Inout_opt_ DWORD * pdwFlags, _Out_writes_(cchBuf) LPSTR pszBuf, UINT cchBuf);
정성태
2015-07-29 12시36분
The Itanium processor, part 1: Warming up
; https://devblogs.microsoft.com/oldnewthing/20150727-00/?p=90821

The Itanium processor, part 2: Instruction encoding, templates, and stops
; https://devblogs.microsoft.com/oldnewthing/20150728-00/?p=90811

The Itanium processor, part 3: The Windows calling convention, how parameters are passed
; https://devblogs.microsoft.com/oldnewthing/20150729-00/?p=90801

The Itanium processor, part 3b: How does spilling actually work?
; https://devblogs.microsoft.com/oldnewthing/20150730-01/?p=90781

The Itanium processor, part 4: The Windows calling convention, leaf functions
; https://devblogs.microsoft.com/oldnewthing/20150730-00/?p=90791

The Itanium processor, part 5: The GP register, calling functions, and function pointers
; https://devblogs.microsoft.com/oldnewthing/20150731-00/?p=90771

The Itanium processor, part 6: Calculating conditionals
; https://devblogs.microsoft.com/oldnewthing/20150803-00/?p=91191

The Itanium processor, part 7: Speculative loads
; https://devblogs.microsoft.com/oldnewthing/20150804-00/?p=91181

The Itanium processor, part 8: Advanced loads
; https://devblogs.microsoft.com/oldnewthing/20150805-00/?p=91171

The Itanium processor, part 9: Counted loops and loop pipelining
; https://devblogs.microsoft.com/oldnewthing/20150806-00/?p=91161

The Itanium processor, part 10: Register rotation
; https://devblogs.microsoft.com/oldnewthing/20150807-00/?p=91151
정성태

1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13804정성태11/7/20247047Linux: 101. eBPF 함수의 인자를 다루는 방법
13803정성태11/7/20246628닷넷: 2309. C# - .NET Core에서 바뀐 DateTime.Ticks의 정밀도
13802정성태11/6/20247035Windows: 269. GetSystemTimeAsFileTime과 GetSystemTimePreciseAsFileTime의 차이점파일 다운로드1
13801정성태11/5/20246861Linux: 100. eBPF의 2가지 방식 - libbcc와 libbpf(CO-RE)
13800정성태11/3/20247837닷넷: 2308. C# - ICU 라이브러리를 활용한 문자열의 대소문자 변환 [2]파일 다운로드1
13799정성태11/2/20245615개발 환경 구성: 732. 모바일 웹 브라우저에서 유니코드 문자가 표시되지 않는 경우
13798정성태11/2/20247267개발 환경 구성: 731. 유니코드 - 출력 예시 및 폰트 찾기
13797정성태11/1/20247254C/C++: 185. C++ - 문자열의 대소문자를 변환하는 transform + std::tolower/toupper 방식의 문제점파일 다운로드1
13796정성태10/31/20246769C/C++: 184. C++ - ICU dll을 이용하는 예제 코드 (Windows)파일 다운로드1
13795정성태10/31/20245958Windows: 268. Windows - 리눅스 환경처럼 공백으로 끝나는 프롬프트 만들기
13794정성태10/30/20246039닷넷: 2307. C# - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13793정성태10/28/20246008C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20245399Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20245859Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20245352Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20246327Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20245114Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20246479개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20246262Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20245604C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20246211Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20245724Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20245417Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20245965오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20247026Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20245606개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...