Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)
(시리즈 글이 5개 있습니다.)
.NET Framework: 634. C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (1) - x86 환경에서의 __cdecl, __stdcall에 대한 Name mangling
; https://www.sysnet.pe.kr/2/0/11132

.NET Framework: 635. C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (2) - x86 환경의 __fastcall
; https://www.sysnet.pe.kr/2/0/11133

.NET Framework: 637. C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (3) - x64 환경의 __fastcall과 Name mangling
; https://www.sysnet.pe.kr/2/0/11139

.NET Framework: 639. C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (4) - CLR JIT 컴파일러의 P/Invoke 호출 규약
; https://www.sysnet.pe.kr/2/0/11141

.NET Framework: 642. C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (부록 1) - CallingConvention.StdCall, CallingConvention.Cdecl에 상관없이 왜 호출이 잘 될까요?
; https://www.sysnet.pe.kr/2/0/11144




C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (2) - x86 환경의 __fastcall

지난번 글에서, x86 환경 하의 __cdecl, __stdcall 호출 규약과 그 이름 풀이를 살펴봤는데요. 이번에는 동일하게 x86 하에서 __fastcall 호출 규약을 알아보겠습니다.

우선, C/C++ 측에서는 헤더 파일에 다음과 같이 선언하고,

__declspec(dllexport) int __fastcall FAST_Func(int value);
__declspec(dllexport) int __fastcall FAST_Func_By_DEF(int value);

extern "C"
{
    __declspec(dllexport) int __fastcall ExternC_FAST_Func(int value);
    __declspec(dllexport) int __fastcall ExternC_FAST_Func_By_DEF(int value);
}

각각의 정의는 이렇게 해주면 됩니다.

__declspec(dllexport) int __fastcall FAST_Func(int value)
{
    printf("FAST_Func: %d\n", value);
    return 42;
}

__declspec(dllexport) int __fastcall FAST_Func_By_DEF(int value)
{
    printf("FAST_Func_By_DEF: %d\n", value);
    return 42;
}

__declspec(dllexport) int __fastcall ExternC_FAST_Func(int value)
{
    printf("ExternC_FAST_Func: %d\n", value);
    return 42;
}

__declspec(dllexport) int __fastcall ExternC_FAST_Func_By_DEF(int value)
{
    printf("ExternC_FAST_Func_By_DEF: %d\n", value);
    return 42;
}

위의 함수들 중에 "_By_DEF"로 끝나는 함수들은 .def 파일에 정의를 추가해 보겠습니다.

LIBRARY
    EXPORTS
        FAST_Func_By_DEF
        ExternC_FAST_Func_By_DEF

빌드하고 export 함수의 이름을 살펴보면 각각 이렇게 됩니다.

?FAST_Func@@YIHH@Z
FAST_Func_By_DEF
@ExternC_FAST_Func@4
ExternC_FAST_Func_By_DEF

extern "C"를 붙이지 않으면 "?FAST_Func@@YIHH@Z"와 같이 나오는 반면, 붙여주면 "@" 글자를 시작으로 "@바이트수"로 __stdcall과 유사하게 작명이 됩니다.

또한, .def 파일에 정의해 주면 이름 그대로 "FAST_Func_By_DEF", "ExternC_FAST_Func_By_DEF" 이렇게 출력됩니다.




좋은(?) 소식이 하나 있는데요 ^^ 닷넷 개발자 입장에서는 __fastcall을 전혀 염두에 두지 않아도 됩니다. 왜냐하면, 닷넷에서 사용할 수 있는 방법이 없기 때문입니다. 문서에도 나오지만 DllImport의 CallingConvention 에는,

CallingConvention Enumeration
; https://learn.microsoft.com/en-us/dotnet/api/system.runtime.interopservices.callingconvention

FastCall - This calling convention is not supported.

분명히 FastCall을 사용할 수 없다고 나옵니다. 실제로, 다음과 같이 calling convention을 지정하면,

[DllImport("Win32Project1.dll", CallingConvention = CallingConvention.FastCall)]
internal static extern int ExternC_FAST_Func(int value);

실행 시에 예외가 떨어집니다.

An unhandled exception of type 'System.TypeLoadException' occurred in ConsoleApplication1.exe
Additional information: Invalid unmanaged calling convention: must be one of stdcall, cdecl, or thiscall.

심지어, CallingConvention을 지정하지 않으면 __cdecl과는 다르게 아예 이름 풀이도 안된다는 다음의 예외가 떨어집니다.

An unhandled exception of type 'System.EntryPointNotFoundException' occurred in ConsoleApplication1.exe

Additional information: Unable to find an entry point named 'ExternC_FAST_Func' in DLL 'Win32Project1.dll'.

강제로 EntryPoint를 이용해 실행은 할 수 있지만,

[DllImport("Win32Project1.dll", EntryPoint = "?FAST_Func@@YIHH@Z")]
internal static extern int FAST_Func(int value);

[DllImport("Win32Project1.dll", EntryPoint = "@ExternC_FAST_Func2@4")]
internal static extern int ExternC_FAST_Func(int value);

...[생략]...

{
    FAST_Func(5);
    ExternC_FAST_Func(8);
}

인자 전달에 대한 스택 사용 규칙이 맞지 않아 출력이 엉뚱하게 나옵니다.

FAST_Func: 1918189188
ExternC_FAST_Func: 1918189188

(원래 출력은 "FAST_Func: 5"와 "ExternC_FAST_Func: 8"이어야 함.)

물론, Visual Studio의 "F5 (Start Debugging)"으로 실행하면 이런 부작용을 방지하기 위해 다음과 같은 경고성 예외를 발생시킵니다.

Managed Debugging Assistant 'PInvokeStackImbalance' has detected a problem in 'C:\ConsoleApplication1\bin\x86\Debug\ConsoleApplication1.exe'.

Additional information: A call to PInvoke function 'ConsoleApplication1!Program::FAST_Func' has unbalanced the stack. This is likely because the managed PInvoke signature does not match the unmanaged target signature. Check that the calling convention and parameters of the PInvoke signature match the target unmanaged signature.

If there is a handler for this exception, the program may be safely continued.

위의 오류는, DllImport의 기본 호출 규약이 __stdcall인데 __cdecl인 경우 "CallingConvention = CallingConvention.Cdecl"을 명시하지 않는 경우 잠재적인 버그가 존재할 수 있다고 했던 지난번 글의 설명과 유사합니다. 단지, 그때는 __stdcall과 __cdecl의 유사성으로 인해 정상적으로 실행되었지만, __fastcall의 경우에는 __stdcall과 너무나 상이한 인자 전달 규칙을 가지기 때문에 저렇게 엉뚱한 값이 나와버리는 것입니다.

(첨부 파일은 이 글의 예제 코드를 포함합니다.)




정리하면, x86에서의 __fastcall로 export된 함수는 닷넷에서 사용할 수 없으므로 만약 그런 함수가 여러분들의 native DLL에 있다면 해당 개발자에게 호출 규약을 바꿔달라고 요청해야 합니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 8/18/2023]

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

비밀번호

댓글 작성자
 



2019-03-29 09시10분
[호갱] 항상 감사드립니다.
[guest]

1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13793정성태10/28/20245134C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20244620Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20244885Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20244607Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20244903Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20244443Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20244947개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20245203Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20244969C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20245235Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20244845Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20244605Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20244785오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20245545Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20244837개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
13778정성태10/21/20245653C/C++: 181. C/C++ - 소스코드 파일의 인코딩, 바이너리 모듈 상태의 인코딩
13777정성태10/20/20244937Windows: 265. Win32 API의 W(유니코드) 버전은 UCS-2일까요? UTF-16 인코딩일까요?
13776정성태10/19/20245250C/C++: 180. C++ - 고수준 FILE I/O 함수에서의 Unicode stream 모드(_O_WTEXT, _O_U16TEXT, _O_U8TEXT)파일 다운로드1
13775정성태10/19/20245477개발 환경 구성: 728. 윈도우 환경의 개발자를 위한 UTF-8 환경 설정
13774정성태10/18/20245181Linux: 91. Container 환경에서 출력하는 eBPF bpf_get_current_pid_tgid의 pid가 존재하지 않는 이유
13773정성태10/18/20244871Linux: 90. pid 네임스페이스 구성으로 본 WSL 2 + docker-desktop
13772정성태10/17/20245144Linux: 89. pid 네임스페이스 구성으로 본 WSL 2 배포본의 계층 관계
13771정성태10/17/20245049Linux: 88. WSL 2 리눅스 배포본 내에서의 pid 네임스페이스 구성
13770정성태10/17/20245327Linux: 87. ps + grep 조합에서 grep 명령어를 사용한 프로세스를 출력에서 제거하는 방법
13769정성태10/15/20246101Linux: 86. Golang + bpf2go를 사용한 eBPF 기본 예제파일 다운로드1
13768정성태10/15/20245379C/C++: 179. C++ - _O_WTEXT, _O_U16TEXT, _O_U8TEXT의 Unicode stream 모드파일 다운로드2
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...