C# 개발자를 위한 Win32 DLL export 함수의 호출 규약 (3) - x64 환경의 __fastcall과 Name mangling
x64의 경우, 윈도우 자체가 ABI(Application Binary Interface)의 요구 사항 수준에서 calling convention을 __fastcall 단 한 개로 정리해 버렸습니다.
그런데, __fastcall이라고는 하지만 x86의 __fastcall과는 약간 다릅니다. 가령, x86의 경우 처음 2개의 인자만 ecx, edx로 넘기고 나머지는 스택을 통해 전달합니다. 반면 x64에서는 처음 4개의 인자를 rcx, rdx, r8, r9로 넘기고 이후의 인자는 스택으로 전달합니다. (하지만, 처음 4개의 인자를 위한 스택도 할당합니다.) 심지어 이름조차도 Wikipedia에서는,
x86 calling conventions
; https://en.wikipedia.org/wiki/X86_calling_conventions
__fastcall이 아닌 "Microsoft x64 calling convention"이라고 지칭합니다. 이런 상황에서 마이크로소프트는 공식 문서에,
x64 calling convention
; https://learn.microsoft.com/en-us/cpp/build/x64-software-conventions
Given the expanded register set, x64 uses the __fastcall calling convention and a RISC-based exception-handling model. The __fastcall convention uses registers for the first four arguments and the stack frame to pass additional arguments.
__fastcall이라고 명시합니다. 이렇게 혼란스러운 면이 있지만, 여기서는 마이크로소프트의 문서에 따라 __fastcall 호출 규약이라고 하겠습니다.
이름이야 뭐든지 간에, 덕분에 C++에서 해당 함수를 __cdecl이든 __stdcall이든 예약어를 지정해도 Visual C++ 컴파일러는 이를 무시하고 무조건 __fastcall 호출 규약으로 만들어 버립니다. 이로 인해 Name mangling도 간편해지는데, C++ 이름 형식이어야 하는 export 함수들을 제외하고는 전부 - .def에 명시했든, extern "C"로 하든 - 함수 이름 자체를 그대로 노출시킵니다. 가령, export 함수들을 다음과 같이 선언했을 때,
__declspec(dllexport) int __cdecl CDECL_Func(int value);
__declspec(dllexport) int __cdecl CDECL_Func_By_DEF(int value); // .def 파일에 명시
extern "C"
{
__declspec(dllexport) __cdecl int ExternC_CDECL_Func(int value);
__declspec(dllexport) __cdecl int ExternC_CDECL_Func_Arg2(int value, int *pValue);
__declspec(dllexport) __cdecl int ExternC_CDECL_Func_Arg5(int value1, int value2, int value3, int value4, int value5);
__declspec(dllexport) __cdecl int ExternC_CDECL_Func_By_DEF(int value);
}
__declspec(dllexport) int __stdcall STD_Func(int value);
__declspec(dllexport) int __stdcall STD_Func_By_DEF(int value); // .def 파일에 명시
extern "C"
{
__declspec(dllexport) int __stdcall ExternC_STD_Func0();
__declspec(dllexport) int __stdcall ExternC_STD_Func(int value);
__declspec(dllexport) int __stdcall ExternC_STD_Func2(int value);
__declspec(dllexport) int __stdcall ExternC_STD_Func_Arg2(int value, int *pValue);
__declspec(dllexport) int __stdcall ExternC_STD_Func_By_DEF(int value);
}
빌드하면 DLL Export 함수 이름들이 이렇게 나옵니다.
?CDECL_Func@@YAHH@Z
CDECL_Func_By_DEF
?STD_Func@@YAHH@Z
STD_Func_By_DEF
ExternC_CDECL_Func
ExternC_CDECL_Func_Arg2
ExternC_CDECL_Func_Arg5
ExternC_CDECL_Func_By_DEF
ExternC_STD_Func
ExternC_STD_Func0
ExternC_STD_Func2
ExternC_STD_Func_Arg2
ExternC_STD_Func_By_DEF
당연히, 닷넷 측에서도 DllImport를 지정하는 방법이 간편해졌습니다. 운영체제 차원의 CallingConvention이 통합되었으므로 닷넷 역시 DllImport에 개발자가 어떻게 명시하든 그것을 무시해버리고 x64의 __fastcall 호출 규약을 따른다고 가정합니다.
따라서, x86에서는 __cdecl 호출 규약을 다음과 같이 정의해야 했지만,
[DllImport("Win32Project1.dll", CallingConvention = CallingConvention.Cdecl)]
internal static extern int ExternC_CDECL_Func(int value);
x64 빌드 용이라면 다음과 같이 해도 무방합니다.
[DllImport("Win32Project1.dll")]
internal static extern int ExternC_CDECL_Func(int value);
심지어 __stdcall로 지정해도 됩니다. (어차피 무시하므로!)
[DllImport("Win32Project1.dll", CallingConvention = CallingConvention.StdCall)]
internal static extern int ExternC_CDECL_Func(int value);
당연히 Visual Studio 디버거에서도 (무시할 호출 규약을 지정했다고 해서) PInvokeStackImbalance MDA 예외를 발생시키지 않습니다. 적어도 x64 세계에서는, 호출 규약의 복잡함이 없어졌기 때문에 개발자 입장에서는 반가운 변화입니다. ^^
(
첨부 파일은 이 글의 예제 코드를 포함합니다.)
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]