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

... 61  62  63  64  65  66  67  68  69  70  71  [72]  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
12169정성태3/5/202020572개발 환경 구성: 473. Windows nanoserver에 대한 docker pull의 태그 사용 [1]
12168정성태3/5/202022145개발 환경 구성: 472. 윈도우 환경에서의 dockerd.exe("Docker Engine" 서비스)가 Linux의 것과 다른 점
12167정성태3/5/202019967개발 환경 구성: 471. C# - 닷넷 응용 프로그램에서 DB2 Express-C 데이터베이스 사용 (3) - ibmcom/db2express-c 컨테이너 사용
12166정성태3/4/202021065개발 환경 구성: 470. Windows Server 컨테이너 - DockerMsftProvider 모듈을 이용한 docker 설치
12165정성태3/2/202019474.NET Framework: 900. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 네 번째 이야기(Monitor.Enter 후킹)파일 다운로드1
12164정성태2/29/202020585오류 유형: 598. Surface Pro 6 - Windows Hello Face Software Device가 인식이 안 되는 문제
12163정성태2/27/202018893.NET Framework: 899. 익명 함수를 가리키는 delegate 필드에 대한 직렬화 문제
12162정성태2/26/202023479디버깅 기술: 166. C#에서 만든 COM 객체를 C/C++로 P/Invoke Interop 시 메모리 누수(Memory Leak) 발생 [6]파일 다운로드2
12161정성태2/26/202019244오류 유형: 597. manifest - The value "x64" of attribute "processorArchitecture" in element "assemblyIdentity" is invalid.
12160정성태2/26/202019489개발 환경 구성: 469. Reg-free COM 개체 사용을 위한 manifest 파일 생성 도구 - COMRegFreeManifest
12159정성태2/26/202016026오류 유형: 596. Visual Studio - The project needs to include ATL support
12158정성태2/25/202019310디버깅 기술: 165. C# - Marshal.GetIUnknownForObject/GetIDispatchForObject 사용 시 메모리 누수(Memory Leak) 발생파일 다운로드1
12157정성태2/25/202018731디버깅 기술: 164. C# - Marshal.GetNativeVariantForObject 사용 시 메모리 누수(Memory Leak) 발생 및 해결 방법파일 다운로드1
12156정성태2/25/202017262오류 유형: 595. LINK : warning LNK4098: defaultlib 'nafxcw.lib' conflicts with use of other libs; use /NODEFAULTLIB:library
12155정성태2/25/202017232오류 유형: 594. Warning NU1701 - This package may not be fully compatible with your project
12154정성태2/25/202016388오류 유형: 593. warning LNK4070: /OUT:... directive in .EXP differs from output filename
12153정성태2/23/202020925.NET Framework: 898. Trampoline을 이용한 후킹의 한계파일 다운로드1
12152정성태2/23/202019307.NET Framework: 897. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 세 번째 이야기(Trampoline 후킹)파일 다운로드1
12151정성태2/22/202020669.NET Framework: 896. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법 - 두 번째 이야기 (원본 함수 호출)파일 다운로드1
12150정성태2/21/202021060.NET Framework: 895. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법 [1]파일 다운로드1
12149정성태2/20/202019085.NET Framework: 894. eBEST C# XingAPI 래퍼 - 연속 조회 처리 방법 [1]
12148정성태2/19/202022343디버깅 기술: 163. x64 환경에서 구현하는 다양한 Trampoline 기법 [1]
12147정성태2/19/202019282디버깅 기술: 162. x86/x64의 기계어 코드 최대 길이
12146정성태2/18/202020188.NET Framework: 893. eBEST C# XingAPI 래퍼 - 로그인 처리파일 다운로드1
12145정성태2/18/202020664.NET Framework: 892. eBEST C# XingAPI 래퍼 - Sqlite 지원 추가파일 다운로드1
12144정성태2/13/202020893.NET Framework: 891. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 두 번째 이야기파일 다운로드1
... 61  62  63  64  65  66  67  68  69  70  71  [72]  73  74  75  ...