Microsoft MVP성태의 닷넷 이야기
.NET Framework: 1132. C# - ref/out 매개변수의 IL 코드 처리 [링크 복사], [링크+제목 복사],
조회: 13133
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

C# - ref/out 매개변수의 IL 코드 처리

우선, ref와 out의 차이점은 C# 언어에서 구분한 것이지 IL 수준에서는 out도 결국 ref로 처리가 이뤄집니다.

그리고 그 "ref/out"으로 인한 차이점이 어떻게 발생하는지 다음과 같은 간단한 예제를 만들고,

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

        TestMethod1(pg);
        TestMethod2(ref pg);
    }

    private static void TestMethod1(Program pg)
    {
        Program pg1 = pg;
        pg1.ToString();
    }

    private static void TestMethod2(ref Program pg)
    {
        Program pg1 = pg;
        pg1.ToString();
    }
}

이에 대한 IL 코드 번역을 보면 알 수 있습니다. 아래는 일반적인 매개변수의 상황이고,

// Token: 0x06000002 RID: 2 RVA: 0x00002074 File Offset: 0x00000274
.method private hidebysig static 
    void TestMethod1 (
        class Program pg
    ) cil managed 
{
    // Header Size: 12 bytes
    // Code Size: 11 (0xB) bytes
    // LocalVarSig Token: 0x11000001 RID: 1
    .maxstack 1
    .locals init (
        [0] class Program pg1
    )

    /* 0x00000280 00           */ IL_0000: nop
    /* 0x00000281 02           */ IL_0001: ldarg.0
    /* 0x00000282 0A           */ IL_0002: stloc.0
    /* 0x00000283 06           */ IL_0003: ldloc.0
    /* 0x00000284 6F1100000A   */ IL_0004: callvirt  instance string [mscorlib]System.Object::ToString()
    /* 0x00000289 26           */ IL_0009: pop
    /* 0x0000028A 2A           */ IL_000A: ret
} // end of method Program::TestMethod1

여기에 ref/out 매개변수가 되면 "ldind.ref" IL 코드가 추가된다는 차이점이 발생합니다.

// Token: 0x06000003 RID: 3 RVA: 0x0000208C File Offset: 0x0000028C
.method private hidebysig static 
    void TestMethod2 (
        class Program& pg
    ) cil managed 
{
    // Header Size: 12 bytes
    // Code Size: 12 (0xC) bytes
    // LocalVarSig Token: 0x11000001 RID: 1
    .maxstack 1
    .locals init (
        [0] class Program pg1
    )

    /* 0x00000298 00           */ IL_0000: nop
    /* 0x00000299 02           */ IL_0001: ldarg.0
    /* 0x0000029A 50           */ IL_0002: ldind.ref
    /* 0x0000029B 0A           */ IL_0003: stloc.0
    /* 0x0000029C 06           */ IL_0004: ldloc.0
    /* 0x0000029D 6F1100000A   */ IL_0005: callvirt  instance string [mscorlib]System.Object::ToString()
    /* 0x000002A2 26           */ IL_000A: pop
    /* 0x000002A3 2A           */ IL_000B: ret
} // end of method Program::TestMethod2

사실 이러한 차이점은 메서드 내부에서만 이뤄지는 것이 아니고 호출 측에서도 변화가 있습니다. 일반적인 매개변수는 다음과 같이 해당 개체의 주소를 ecx 레지스터에 복사해 전달하지만,

     7:         TestMethod1(pg);
02A6088E 8B 4D C0             mov         ecx,dword ptr [ebp-40h]  
02A60891 E8 AA FB FF FF       call        Program.TestMethod1(Program) (02A60440h)  
02A60896 90                   nop  

ref/out 매개변수는 해당 개체가 위치한 스택의 주솟값을 ecx 레지스터에 복사해 전달합니다.

     8:         TestMethod2(ref pg);
02A60897 8D 4D C0             lea         ecx,[ebp-40h]  
02A6089A E8 A9 FB FF FF       call        Program.TestMethod2(Program ByRef) (02A60448h)  
02A6089F 90                   nop  

그리고 이를 받은 측에서 사용하는 경우 일반 매개변수는 개체가 위치한 GC Heap 주솟값을 그대로 사용하지만,

    13:         Program pg1 = pg;
02A60938 8B 45 C4             mov         eax,dword ptr [ebp-3Ch]  
02A6093B 89 45 C0             mov         dword ptr [ebp-40h],eax 

ref/out 매개변수는 스택의 주솟값이 담고 있는 GC Heap의 주솟값을 다시 조회해 사용하게 됩니다.

    19:         Program pg1 = pg;
02A60998 8B 45 C4             mov         eax,dword ptr [ebp-3Ch]  
02A6099B 8B 00                mov         eax,dword ptr [eax]  
02A6099D 89 45 C0             mov         dword ptr [ebp-40h],eax  




한 가지 재미있는 점은, JIT 컴파일러가 ldind.ref IL 코드가 없는 경우, VerificationException을 발생시키지는 않는다는 점입니다. 실제로 위의 TestMethod2를 dnSpy를 이용해 IL 코드를 직접 편집하는 방식으로 ldind.ref 명령어를 삭제하면,

/* 0x00000298 00           */ IL_0000: nop
/* 0x00000299 02           */ IL_0001: ldarg.0
/* 0x0000029A 00           */ IL_0002: nop
/* 0x0000029B 0A           */ IL_0003: stloc.0
/* 0x0000029C 06           */ IL_0004: ldloc.0
/* 0x0000029D 6F1100000A   */ IL_0005: callvirt  instance string [mscorlib]System.Object::ToString()
/* 0x000002A2 26           */ IL_000A: pop
/* 0x000002A3 2A           */ IL_000B: ret

실행 시 "Unhandled Exception: System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt." 예외가 발생합니다. 따라서 예외 메시지만 보고 추적하기에는 ldind.ref 유무에 따른 오류인지 판정하기가 힘들어 디버깅에 애를 먹을 수 있습니다. ^^




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







[최초 등록일: ]
[최종 수정일: 1/10/2022]

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

비밀번호

댓글 작성자
 




... 46  47  48  49  50  51  52  53  54  55  56  [57]  58  59  60  ...
NoWriterDateCnt.TitleFile(s)
12546정성태3/3/202118476개발 환경 구성: 545. github workflow/actions에서 빌드시 snk 파일 다루는 방법 - Encrypted secrets
12545정성태3/2/202121232.NET Framework: 1026. 닷넷 5에 추가된 POH (Pinned Object Heap) [10]
12544정성태2/26/202121596.NET Framework: 1025. C# - Control의 Invalidate, Update, Refresh 차이점 [2]
12543정성태2/26/202119262VS.NET IDE: 158. C# - 디자인 타임(design-time)과 런타임(runtime)의 코드 실행 구분
12542정성태2/20/202120911개발 환경 구성: 544. github repo의 Release 활성화 및 Actions를 이용한 자동화 방법 [1]
12541정성태2/18/202118444개발 환경 구성: 543. 애저듣보잡 - Github Workflow/Actions 소개
12540정성태2/17/202119880.NET Framework: 1024. C# - Win32 API에 대한 P/Invoke를 대신하는 Microsoft.Windows.CsWin32 패키지
12539정성태2/16/202119672Windows: 189. WM_TIMER의 동작 방식 개요파일 다운로드1
12538정성태2/15/202120229.NET Framework: 1023. C# - GC 힙이 아닌 Native 힙에 인스턴스 생성 - 0SuperComicLib.LowLevel 라이브러리 소개 [2]
12537정성태2/11/202120277.NET Framework: 1022. UI 요소의 접근은 반드시 그 UI를 만든 스레드에서! - 두 번째 이야기 [2]
12536정성태2/9/202119369개발 환경 구성: 542. BDP(Bandwidth-delay product)와 TCP Receive Window
12535정성태2/9/202118462개발 환경 구성: 541. Wireshark로 확인하는 LSO(Large Send Offload), RSC(Receive Segment Coalescing) 옵션
12534정성태2/8/202119192개발 환경 구성: 540. Wireshark + C/C++로 확인하는 TCP 연결에서의 closesocket 동작 [1]파일 다운로드1
12533정성태2/8/202117680개발 환경 구성: 539. Wireshark + C/C++로 확인하는 TCP 연결에서의 shutdown 동작파일 다운로드1
12532정성태2/6/202119474개발 환경 구성: 538. Wireshark + C#으로 확인하는 ReceiveBufferSize(SO_RCVBUF), SendBufferSize(SO_SNDBUF) [3]
12531정성태2/5/202117977개발 환경 구성: 537. Wireshark + C#으로 확인하는 PSH flag와 Nagle 알고리듬파일 다운로드1
12530정성태2/4/202121414개발 환경 구성: 536. Wireshark + C#으로 확인하는 TCP 통신의 Receive Window
12529정성태2/4/202119918개발 환경 구성: 535. Wireshark + C#으로 확인하는 TCP 통신의 MIN RTO [1]
12528정성태2/1/202119705개발 환경 구성: 534. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 윈도우 환경
12527정성태2/1/202119698개발 환경 구성: 533. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 리눅스 환경파일 다운로드1
12526정성태2/1/202116425개발 환경 구성: 532. Azure Devops의 파이프라인 빌드 시 snk 파일 다루는 방법 - Secure file
12525정성태2/1/202115287개발 환경 구성: 531. Azure Devops - 파이프라인 실행 시 빌드 이벤트를 생략하는 방법
12524정성태1/31/202115819개발 환경 구성: 530. 기존 github 프로젝트를 Azure Devops의 빌드 Pipeline에 연결하는 방법 [1]
12523정성태1/31/202117693개발 환경 구성: 529. 기존 github 프로젝트를 Azure Devops의 Board에 연결하는 방법
12522정성태1/31/202119907개발 환경 구성: 528. 오라클 클라우드의 리눅스 VM - 9000 MTU Jumbo Frame 테스트
12521정성태1/31/202118204개발 환경 구성: 527. 이더넷(Ethernet) 환경의 TCP 통신에서 MSS(Maximum Segment Size) 확인 [1]
... 46  47  48  49  50  51  52  53  54  55  56  [57]  58  59  60  ...