Microsoft MVP성태의 닷넷 이야기
닷넷: 2228. .NET Profiler - IMetaDataEmit2::DefineMethodSpec 사용법 [링크 복사], [링크+제목 복사],
조회: 8369
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

(시리즈 글이 9개 있습니다.)
.NET Framework: 216. 라이선스까지도 뛰어넘는 .NET Profiler
; https://www.sysnet.pe.kr/2/0/1046

.NET Framework: 336. .NET Profiler가 COM 개체일까?
; https://www.sysnet.pe.kr/2/0/1352

.NET Framework: 576. 기본적인 CLR Profiler 소스 코드 설명
; https://www.sysnet.pe.kr/2/0/10950

.NET Framework: 582. CLR Profiler - 별도 정의한 .NET 코드를 호출하도록 IL 코드 변경
; https://www.sysnet.pe.kr/2/0/10959

.NET Framework: 808. .NET Profiler - GAC 모듈에서 GAC 비-등록 모듈을 참조하는 경우의 문제
; https://www.sysnet.pe.kr/2/0/11810

오류 유형: 672. AllowPartiallyTrustedCallers 특성이 적용된 어셈블리의 struct 멤버 메서드를 재정의하면 System.Security.VerificationException 예외 발생
; https://www.sysnet.pe.kr/2/0/12384

.NET Framework: 987. .NET Profiler - FunctionID와 연관된 ClassID를 구할 수 없는 문제
; https://www.sysnet.pe.kr/2/0/12465

.NET Framework: 1041. C# - AssemblyID, ModuleID를 관리 코드에서 구하는 방법
; https://www.sysnet.pe.kr/2/0/12605

닷넷: 2228. .NET Profiler - IMetaDataEmit2::DefineMethodSpec 사용법
; https://www.sysnet.pe.kr/2/0/13576




.NET Profiler - IMetaDataEmit2::DefineMethodSpec 사용법

이해를 돕기 위해 예를 하나 들어 볼까요? 가령 다음과 같은 프로그램이 있을 때,

namespace ConsoleApp1;

internal class Program
{
    static void Main(string[] args)
    {
        Program pg = new Program();

        TestClass.InvokeLocalGeneric(pg);

        TestClass.InvokeLocalGeneric("TEST");
    }
}

public class TestClass
{
    public static void InvokeLocalGeneric<T>(T obj)
    {
        // ...[생략: 사용자 코드]...
    }
}

Profiler가 InvokeLocalGeneric을 가로채 별도로 정의한 .NET DLL의 메서드를 호출하도록 만들고 싶은 건데요, 만약 .NET DLL 측의 메서드 정의가 다음과 같이 돼 있다고 가정하면,

namespace ClassLibrary1;

public class Class1
{
    public static void InvokeMyMethod(object obj)
    {
        Console.WriteLine(obj);
    }
}

우리는 가로채고 싶은 InvokeLocalGeneric에 다음과 같은 식으로 코드를 추가해 주면 됩니다.

public class TestClass
{
    public static void InvokeLocalGeneric<T>(T obj)
    {
        ldarg.0
        box   !!T  // 제네릭 인자를 object로 박싱
        call  void [ClassLibrary1]ClassLibrary1.Class1::InvokeMyMethod(object)

        // ...[생략: 사용자 코드]...
    }
}

그런데, 만약 generic 인자 그대로 받고 싶다면 어떻게 해야 할까요? 즉, 다음과 같은 메서드로 호출을 하고 싶은 건데요,

namespace ClassLibrary1;

public class Class1
{
    public static void InvokeMyGeneric<T>(T obj)
    {
        Console.WriteLine(obj);
    }
}

이를 위해 추가해야 할 IL 코드는 생각보다 단순합니다. object에 전달하는 것이 아니므로 box 연산자도 필요 없어 단순히 "ldarg.0" 코드만으로 끝입니다.

public class TestClass
{
    public static void InvokeLocalGeneric<T>(T obj)
    {
        ldarg.0
        call  void [ClassLibrary1]ClassLibrary1.Class1::InvokeMyGeneric(!!T)

        // ...[생략: 사용자 코드]...
    }
}

그런데, 단순히 저렇게 처리하고 실행하면 (개인적으로 정말 만나고 싶지 않은) InvalidProgramException 예외가 발생합니다.

System.InvalidProgramException: Common Language Runtime detected an invalid program.

이유가 뭘까요? ^^ 아마도, 뭔가 메타데이터 정의를 더 해야 하는 듯한데 뭐가 바뀌는 것인지 알아내야만 합니다.




이를 위해 유용한 도구가 mdv입니다.

dotnet/metadata-tools
; https://github.com/dotnet/metadata-tools

mdv로 Generic 인자 관련한 테스트를 해본 결과, 제네릭 인자에 전달하는 타입마다 그에 해당하는 MethodSpec을 함께 정의해야 한다는 규칙이 나왔습니다. 예를 들어, 다음과 같은 제네릭 메서드가 있을 때,

static void Invoke<T>(T obj);

T 인자에 대해 다음과 같이 다양한 타입으로 호출을 하게 되면,

string text = "TEST";
Invoke(text); // 제네릭 매개변수에 string 타입 전달

object obj = new object();
Invoke(obj); // 제네릭 매개변수에 object 타입 전달

int n = 50;
Invoke(n); // 제네릭 매개변수에 Int32 타입 전달

Program pg = new Program();
Invoke(pg); // 제네릭 매개변수에 ConsoleApp2.Program 전달

저 호출마다 MethdoSpec 메타데이터가 개별적으로 추가가 되는 것을 볼 수 있습니다.

TypeDef (0x02):
======================================================================================================================================================================================
   Name              Namespace           EnclosingType  BaseType              Interfaces  Fields  Methods                Attributes                    ClassSize  PackingSize
======================================================================================================================================================================================
1: '<Module>' (#d)   nil                 nil (TypeDef)  nil (TypeDef)         nil         nil     nil                    0                             n/a        n/a
2: 'Program' (#1b5)  'ConsoleApp2' (#1)  nil (TypeDef)  0x0100000f (TypeRef)  nil         nil     0x06000001-0x06000003  0x00100000 (BeforeFieldInit)  n/a        n/a

Method (0x06, 0x1C):
====================================================================================================================================================================================================================================================
   Name            Signature              RVA         Parameters             GenericParameters      Attributes                                                                ImplAttributes  ImportAttributes  ImportName  ImportModule
====================================================================================================================================================================================================================================================
1: 'Main' (#1c4)   void (string[]) (#3c)  0x00002050  0x08000001-0x08000001  nil                    0x00000091 (PrivateScope, Private, Static, HideBySig)                     0               0                 nil         nil (ModuleRef)
2: 'Invoke' (#18)  void (!!0) (#42)       0x0000208F  0x08000002-0x08000002  0x2a000001-0x2a000001  0x00000091 (PrivateScope, Private, Static, HideBySig)                     0               0                 nil         nil (ModuleRef)
3: '.ctor' (#1db)  void () (#6)           0x00002092  nil                    nil                    0x00001886 (PrivateScope, Public, HideBySig, SpecialName, RTSpecialName)  0               0                 nil         nil (ModuleRef)


MethodSpec (0x2b):
========================================
   Method                  Signature
========================================
1: 0x06000002 (MethodDef)  string (#22)
2: 0x06000002 (MethodDef)  object (#26)
3: 0x06000002 (MethodDef)  int32 (#2a)
4: 0x06000002 (MethodDef)  ConsoleApp2.Program (#2e)

#Blob (size = 264):
  ...[생략]...
  22 (MethodSpec): 0A-01-0E
  26 (MethodSpec): 0A-01-1C
  2a (MethodSpec): 0A-01-08
  2e (MethodSpec): 0A-01-12-08
  ...[생략]...

추가된 MethodSpec의 #Blob 데이터는 다음과 같이 해석할 수 있습니다.

0A-01-0E
    // 0A == IMAGE_CEE_CS_CALLCONV_GENERICINST
    // 01 == # of generic args
    // 0E == ELEMENT_TYPE_STRING
0A-01-1C
    // 0A == IMAGE_CEE_CS_CALLCONV_GENERICINST
    // 01 == # of generic args
    // 1C == ELEMENT_TYPE_OBJECT    
0A-01-08
    // 0A == IMAGE_CEE_CS_CALLCONV_GENERICINST
    // 01 == # of generic args
    // 08 == ELEMENT_TYPE_I4  
0A-01-12-08
    // 0A == IMAGE_CEE_CS_CALLCONV_GENERICINST
    // 01 == # of generic args
    // 12 == ELEMENT_TYPE_CLASS 
    // 08 == ConsoleApp2.Program 타입인 0x02000002에 대한 compressed token 표현

그러니까, 제네릭 메서드의 호출에 대한 인자 대응을 signature로 표현해 MethodSpec으로 등록해 줘야 하는 것입니다.




MethodSpec의 등록은 Profiler에서 (당연히 제네릭을 지원하기 시작한) .NET Framework 2.0부터 제공하는 IMetaDataEmit2 인터페이스에 구현하고 있습니다.

IMetaDataEmit2 Interface
; https://learn.microsoft.com/en-us/dotnet/framework/unmanaged-api/metadata/imetadataemit2-interface

제공하는 함수 중 DefineMethodSpec이 바로 신규 MethodSpec을 등록하는 기능을 제공하는데요, 처음 우리가 작성했던 예제의 경우라면,

public class TestClass
{
    public static void InvokeLocalGeneric<T>(T obj)
    {
        ldarg.0
        call  void [ClassLibrary1]ClassLibrary1.Class1::InvokeMyGeneric(!!T)
        
        // ...[생략: 사용자 코드]...
    }
}

InvokeMyGeneric의 !!T에 호출 측의 메서드인 InvokeLocalGeneric 측에서 정의된 T 인자를 그대로 전달받는 것이기 때문에 MethodSpec에 연결할 호출 signature는 다음과 같이 정의할 수 있습니다.

0A-01-1E-00
    // 0A == IMAGE_CEE_CS_CALLCONV_GENERICINST
    // 01 == # of generic args
    // 1E == ELEMENT_TYPE_MVAR 
    // 00 == 메서드의 첫 번째 제네릭 인자

따라서 DefineMethodSpec을 호출할 때는 다음과 같이 signature와 함께 제네릭 메서드의 토큰 값을 함께 전달하면,

vector<BYTE> signatures;

signatures.push_back(IMAGE_CEE_CS_CALLCONV_GENERICINST);
signatures.push_back(1);
signatures.push_back(ELEMENT_TYPE_MVAR);
signatures.push_back(0);

tokenMethod = [...ClassLibrary1.Class1::InvokeMyGeneric의 메서드 토큰...]

mdMethodSpec methodSpec = mdTokenNil;
HRESULT hr = pMetaDataEmit2->DefineMethodSpec(tokenMethod, signatures.data(), (ULONG)signatures.size(), &methodSpec);
if (IsNilToken(methodSpec) == false)
{
     // ...[생략]...
}

MethodSpec에 신규, 또는 기존에 동일한 항목이 있다면 이미 등록된 토큰 값을 4번째 인자로 전달한 methodSpec 변수로 받을 수 있습니다. 그럼, 이제 우리가 원래 호출하려고 했던 코드에서 "call void [ClassLibrary1]ClassLibrary1.Class1::InvokeMyGeneric(!!T)" 대신 methodSpec을 넣도록 변경합니다.

public class TestClass
{
    public static void InvokeLocalGeneric<T>(T obj)
    {
        ldarg.0
        call  [...methodSepc...]

        // ...[생략: 사용자 코드]...
    }
}

이후 실행하면 잘 동작하는 것을 확인할 수 있습니다.




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







[최초 등록일: ]
[최종 수정일: 3/8/2024]

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

비밀번호

댓글 작성자
 




1  2  [3]  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13836정성태12/3/20243266디버깅 기술: 203. Windbg - x64 가상 주소를 물리 주소로 변환 (페이지 크기가 2MB인 경우)
13835정성태12/2/20243197오류 유형: 934. Azure - rm: cannot remove '...': Directory not empty
13834정성태11/29/20243199Windows: 275. C# - CUI 애플리케이션과 Console 윈도우 (Windows 10 미만의 Classic Console 모드인 경우) [1]파일 다운로드1
13833정성태11/29/20243023개발 환경 구성: 737. Azure Web App에서 Scale-out으로 늘어난 리눅스 인스턴스에 SSH 접속하는 방법
13832정성태11/27/20243171Windows: 274. Windows 7부터 도입한 conhost.exe
13831정성태11/27/20243061Linux: 111. eBPF - BPF_MAP_TYPE_PERF_EVENT_ARRAY, BPF_MAP_TYPE_RINGBUF에 대한 다양한 용어들
13830정성태11/25/20242989개발 환경 구성: 736. 파이썬 웹 앱을 Azure App Service에 배포하기
13829정성태11/25/20242941스크립트: 67. 파이썬 - Windows 버전에서 함께 설치되는 py.exe
13828정성태11/25/20242891개발 환경 구성: 735. Azure - 압축 파일을 이용한 web app 배포 시 디렉터리 구분이 안 되는 문제파일 다운로드1
13827정성태11/25/20243102Windows: 273. Windows 환경의 파일 압축 방법 (tar, Compress-Archive)
13826정성태11/21/20243305닷넷: 2313. C# - (비밀번호 등의) Console로부터 입력받을 때 문자열 출력 숨기기(echo 끄기)파일 다운로드1
13825정성태11/21/20243270Linux: 110. eBPF / bpf2go - BPF_RINGBUF_OUTPUT / BPF_MAP_TYPE_RINGBUF 사용법
13824정성태11/20/20243223Linux: 109. eBPF / bpf2go - BPF_PERF_OUTPUT / BPF_MAP_TYPE_PERF_EVENT_ARRAY 사용법
13823정성태11/20/20242960개발 환경 구성: 734. Ubuntu에 docker, kubernetes (k3s) 설치
13822정성태11/20/20242747개발 환경 구성: 733. Windbg - VirtualBox VM의 커널 디버거 연결 시 COM 포트가 없는 경우
13821정성태11/18/20242897Linux: 108. Linux와 Windows의 프로세스/스레드 ID 관리 방식
13820정성태11/18/20242907VS.NET IDE: 195. Visual C++ - C# 프로젝트처럼 CopyToOutputDirectory 항목을 추가하는 방법
13819정성태11/15/20243185Linux: 107. eBPF - libbpf CO-RE의 CONFIG_DEBUG_INFO_BTF 빌드 여부에 대한 의존성
13818정성태11/15/20243313Windows: 272. Windows 11 24H2 - sudo 추가
13817정성태11/14/20243176Linux: 106. eBPF / bpf2go - (BPF_MAP_TYPE_HASH) Map을 이용한 전역 변수 구현
13816정성태11/14/20243384닷넷: 2312. C#, C++ - Windows / Linux 환경의 Thread Name 설정파일 다운로드1
13815정성태11/13/20243283Linux: 105. eBPF - bpf2go에서 전역 변수 설정 방법
13814정성태11/13/20243376닷넷: 2311. C# - Windows / Linux 환경에서 Native Thread ID 가져오기파일 다운로드1
13813정성태11/12/20243278닷넷: 2310. .NET의 Rune 타입과 emoji 표현파일 다운로드1
13812정성태11/11/20243176오류 유형: 933. Active Directory - The forest functional level is not supported.
13811정성태11/11/20243036Linux: 104. Linux - COLUMNS 환경변수가 언제나 80으로 설정되는 환경
1  2  [3]  4  5  6  7  8  9  10  11  12  13  14  15  ...