Microsoft MVP성태의 닷넷 이야기
VC++: 61. 아이태니엄(IA64: Itanium) 에서 겪은 C++ 포인터 연산 문제 [링크 복사], [링크+제목 복사],
조회: 26139
글쓴 사람
정성태 (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
정성태

... 121  122  123  124  125  126  127  [128]  129  130  131  132  133  134  135  ...
NoWriterDateCnt.TitleFile(s)
2889정성태3/17/201526737Windows: 107. (2015-03-12) 업데이트 이후 작업 표시줄 또는 탐색기의 반응이 느려지는 문제 [1]
2888정성태3/17/201524562.NET Framework: 508. Visual Studio 빌드 - fatal error C1033: cannot open program database ''
2887정성태3/13/201521895.NET Framework: 507. CoreFx 빌드하는 방법
2886정성태3/13/201523655오류 유형: 274. CoreFx, CoreCLR 빌드 시 "error CS0518: Predefined type 'System.Object' is not defined or imported" 오류 해결 방법
2885정성태3/13/201534717VS.NET IDE: 99. Visual Studio는 2019는 32비트, 2022부터 64비트 버전입니다. [2]
2884정성태3/12/201528296.NET Framework: 506. .NETCore = CoreFX + CoreCLR [5]
2883정성태3/10/201525404.NET Framework: 505. OpenCover 소스 코드 분석을 Visual Studio 2013에서 하는 방법 [1]
2882정성태3/10/201524118.NET Framework: 504. OpenCover 코드 커버리지 도구의 동작 방식을 통해 살펴보는 Calli IL 코드 사용법
2881정성태3/9/201524815개발 환경 구성: 261. OpenCover 오픈 소스를 이용한 .NET 코드 커버리지(Code coverage)
2880정성태3/7/201522932개발 환경 구성: 260. C# Code Coverage 도구 - Semantic Designs 소개
2879정성태3/3/201528058개발 환경 구성: 259. Visual Studio 없이 Visual C++ 컴파일하는 방법
2878정성태2/28/201528968.NET Framework: 503. == 연산자보다는 Equals 메서드의 호출이 더 권장됩니다. [3]파일 다운로드1
2877정성태2/28/201522594.NET Framework: 502. 연산자 재정의(operator overloading)와 메서드 재정의(method overriding)의 다른 점 - 가상 함수 호출 여부 [3]파일 다운로드1
2876정성태2/27/201525334VS.NET IDE: 98. IntegraStudio - Visual Studio에서 Java 프로그램 개발
2875정성태2/26/201524282디버깅 기술: 72. Visual Studio 2013에서의 sos.dll 사용 제한
2874정성태2/26/201520738디버깅 기술: 71. windbg + 닷넷 디버깅 (2) - null 체크 패턴
2873정성태2/25/201538463.NET Framework: 501. FtpWebRequest 타입을 이용해 FTP 파일 업로드 [4]파일 다운로드1
2872정성태2/25/201522603디버깅 기술: 70. windbg + 닷넷 디버깅 (1) - 배열 인덱스 사용 패턴
2871정성태2/24/201526500개발 환경 구성: 258. 윈도우 8.1에서 방화벽과 함께 FTP 서버 여는 (하지만, 권장하지 않는) 방법 [1]
2870정성태2/24/201527719개발 환경 구성: 257. 윈도우 8.1에서 방화벽과 함께 FTP 서버 여는 방법
2869정성태2/23/201521501.NET Framework: 500. struct로 정의한 값 형식(Value Type)의 경우 Equals 재정의를 권장합니다.파일 다운로드1
2868정성태2/23/201526180VS.NET IDE: 97. Visual C++ 프로젝트 디버깅 시에 Step-Into(F11) 동작이 원치 않는 함수로 진입하는 것을 막는 방법 [2]
2867정성태2/23/201519906오류 유형: 273. File History - Failed to initiate user data backup (error 80070005)
2866정성태2/23/201521791오류 유형: 272. WAT080 : Failed to locate the Windows Azure SDK. Please make sure the Windows Azure SDK v2.1 is installed.
1868정성태2/20/201518701오류 유형: 271. The type '...' cannot be used as type parameter 'TContext' in the generic type or method 'System.ServiceModel.DomainServices.EntityFramework.LinqToEntitiesDomainService&lt;T&gt;
1866정성태2/20/201519882오류 유형: 270. "aspnet_regiis -i" 실행 시 0x00000006 오류 해결 방법
... 121  122  123  124  125  126  127  [128]  129  130  131  132  133  134  135  ...