Microsoft MVP성태의 닷넷 이야기
VC++: 61. 아이태니엄(IA64: Itanium) 에서 겪은 C++ 포인터 연산 문제 [링크 복사], [링크+제목 복사],
조회: 25915
글쓴 사람
정성태 (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)
13829정성태11/25/20246693스크립트: 67. 파이썬 - Windows 버전에서 함께 설치되는 py.exe
13828정성태11/25/20245182개발 환경 구성: 735. Azure - 압축 파일을 이용한 web app 배포 시 디렉터리 구분이 안 되는 문제파일 다운로드1
13827정성태11/25/20246011Windows: 273. Windows 환경의 파일 압축 방법 (tar, Compress-Archive)
13826정성태11/21/20246393닷넷: 2313. C# - (비밀번호 등의) Console로부터 입력받을 때 문자열 출력 숨기기(echo 끄기)파일 다운로드1
13825정성태11/21/20247050Linux: 110. eBPF / bpf2go - BPF_RINGBUF_OUTPUT / BPF_MAP_TYPE_RINGBUF 사용법
13824정성태11/20/20245426Linux: 109. eBPF / bpf2go - BPF_PERF_OUTPUT / BPF_MAP_TYPE_PERF_EVENT_ARRAY 사용법
13823정성태11/20/20246616개발 환경 구성: 734. Ubuntu에 docker, kubernetes (k3s) 설치
13822정성태11/20/20246494개발 환경 구성: 733. Windbg - VirtualBox VM의 커널 디버거 연결 시 COM 포트가 없는 경우
13821정성태11/18/20246100Linux: 108. Linux와 Windows의 프로세스/스레드 ID 관리 방식
13820정성태11/18/20246556VS.NET IDE: 195. Visual C++ - C# 프로젝트처럼 CopyToOutputDirectory 항목을 추가하는 방법
13819정성태11/15/20245131Linux: 107. eBPF - libbpf CO-RE의 CONFIG_DEBUG_INFO_BTF 빌드 여부에 대한 의존성
13818정성태11/15/20246680Windows: 272. Windows 11 24H2 - sudo 추가
13817정성태11/14/20245897Linux: 106. eBPF / bpf2go - (BPF_MAP_TYPE_HASH) Map을 이용한 전역 변수 구현
13816정성태11/14/20246852닷넷: 2312. C#, C++ - Windows / Linux 환경의 Thread Name 설정파일 다운로드1
13815정성태11/13/20245469Linux: 105. eBPF - bpf2go에서 전역 변수 설정 방법
13814정성태11/13/20246115닷넷: 2311. C# - Windows / Linux 환경에서 Native Thread ID 가져오기파일 다운로드1
13813정성태11/12/20246663닷넷: 2310. .NET의 Rune 타입과 emoji 표현파일 다운로드1
13812정성태11/11/202410269오류 유형: 933. Active Directory - The forest functional level is not supported.
13811정성태11/11/20245855Linux: 104. Linux - COLUMNS 환경변수가 언제나 80으로 설정되는 환경
13810정성태11/10/20246881Linux: 103. eBPF (bpf2go) - Tracepoint를 이용한 트레이스 (BPF_PROG_TYPE_TRACEPOINT)
13809정성태11/10/20246513Windows: 271. 윈도우 서버 2025 마이그레이션
13808정성태11/9/20246827오류 유형: 932. Linux - 커널 업그레이드 후 "error: bad shim signature" 오류 발생
13807정성태11/9/20245684Linux: 102. Linux - 커널 이미지 파일 서명 (Ubuntu 환경)
13806정성태11/8/20245863Windows: 270. 어댑터 상세 정보(Network Connection Details) 창의 내용이 비어 있는 경우
13805정성태11/8/20245471오류 유형: 931. Active Directory의 adprep 또는 복제가 안 되는 경우
13804정성태11/7/20247065Linux: 101. eBPF 함수의 인자를 다루는 방법
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...