Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

OpCodes.Box와 관련해 IL 형식으로 직접 코딩 시 유의할 점

C# 코드에서 object에 값 형식을 전달하는 코드를 보면,

using System;

class Program
{
    static void Main(string[] args)
    {
        System.Threading.CancellationToken token = new System.Threading.CancellationToken();
        LogOutput(token); // boxing
        Console.WriteLine("End-of-Test4");
    }

    static void LogOutput(object instance)
    {
        Console.WriteLine(instance ?? "null");
    }
}
/* 출력 결과
System.Threading.CancellationToken
End-of-Test4
*/

token 인스턴스가 자연스럽게 object에 대입되는 것처럼 보이지만, 이 과정을 IL 코드로 보면 box 코드가 관여합니다.

.method private hidebysig static void  Main(string[] args) cil managed
{
    .entrypoint
    .maxstack  1
    .locals init ([0] valuetype [mscorlib]System.Threading.CancellationToken token)
    IL_0000:  nop
    IL_0001:  ldloca.s   token
    IL_0003:  initobj    [mscorlib]System.Threading.CancellationToken
    IL_0009:  ldloc.0
    IL_000a:  box        [mscorlib]System.Threading.CancellationToken
    IL_000f:  call       void Program::LogOutput(object)
    IL_0014:  nop
    IL_0015:  ldstr      "End-of-Test4"
    IL_001a:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_001f:  nop
    IL_0020:  ret
} // end of method Program::Main

.method private hidebysig static void  LogOutput(object 'instance') cil managed
{
    // ...[생략]...
}

위의 경우 box 연산자와 함께 "[mscorlib]System.Threading.CancellationToken" 문자열 형식을 전달하는데, 이것은 IL 언어에서 문법적으로 지원하기 때문에 가능한 것이고 만약 바이트를 직접 출력하는 경우라면 다음과 같이 코딩을 해야 합니다.

0x8c, 0x01000011

// box IL 코드 == 0x8c
//
// 0x01000011 == System.Threading.CancellationToken 타입에 대한 메타데이터의 토큰값




그런데, 여기서 실수를 해 box 연산자를 누락한다면 어떻게 될까요? 실제로 위의 IL 소스 코드에서 box 라인만 주석 처리해,

.method private hidebysig static void  Main(string[] args) cil managed
{
    // ...[생략]...
    IL_0009:  ldloc.0
    // IL_000a:  box        [mscorlib]System.Threading.CancellationToken
    IL_000f:  call       void Program::LogOutput(object)
    IL_0014:  nop
    IL_0015:  ldstr      "End-of-Test4"
    IL_001a:  call       void [mscorlib]System.Console::WriteLine(string)
    // ...[생략]...
}

ilasm.exe로 exe를 생성/실행하면 화면에는 "(null)"이라는 출력이 나옵니다. 그나마 동작을 하는 듯하지만, 이것은 사실 "예측할 수 없다"는 것이 맞습니다. 이번엔 의도와는 다르게 출력이 되었어도 운이 좋게 프로그램이 종료하지는 않았는데요, 이 코드에서 다음과 같이 직접 정의한 구조체로 바꿔보면,

using System;

class Program
{
    static void Main(string[] args)
    {
        MyStruct token = new MyStruct();
        LogOutput(token);
        Console.WriteLine("End-of-Test4");
    }

    static void LogOutput(object instance)
    {
        Console.WriteLine(instance ?? "null");
    }
}

public struct MyStruct
{
    public int Age;
    public string Name;
}

이번에는 프로그램이 비정상 종료하면서 이벤트 로그에 다음과 같은 유형의 오류들이 쌓이는 것을 볼 수 있습니다.

Log Name:      Application
Source:        .NET Runtime
Date:          2018-09-23 오전 11:22:53
Event ID:      1023
Task Category: None
Level:         Error
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Application: console.exe
Framework Version: v4.0.30319
Description: The process was terminated due to an internal error in the .NET Runtime at IP 00007FF83A503E30 (00007FF83A500000) with exit code 80131506.

Log Name:      Application
Source:        Application Error
Date:          2018-09-23 오전 11:22:53
Event ID:      1000
Task Category: (100)
Level:         Error
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Faulting application name: console.exe, version: 0.0.0.0, time stamp: 0x5f8660ca
Faulting module name: clr.dll, version: 4.8.4250.0, time stamp: 0x5f2a059c
Exception code: 0xc0000005
Fault offset: 0x0000000000003e30
Faulting process id: 0x6060
Faulting application start time: 0x01d6a1d0ebe4a979
Faulting application path: C:\temp\bin\Debug\console.exe
Faulting module path: C:\Windows\Microsoft.NET\Framework64\v4.0.30319\clr.dll
Report Id: a4412515-d89d-462a-9df6-1f428b6ad155
Faulting package full name: 
Faulting package-relative application ID: 

Log Name:      Application
Source:        Windows Error Reporting
Date:          2018-09-23 오전 11:22:55
Event ID:      1001
Task Category: None
Level:         Information
Keywords:      Classic
User:          N/A
Computer:      TESTPC
Description:
Fault bucket 1335692000105475064, type 4
Event Name: APPCRASH
Response: Not available
Cab Id: 0

Problem signature:
P1: console.exe
P2: 0.0.0.0
P3: 5f8660ca
P4: clr.dll
P5: 4.8.4250.0
P6: 5f2a059c
P7: c0000005
P8: 0000000000003e30
P9: 
P10: 

Attached files:
\\?\C:\ProgramData\Microsoft\Windows\WER\Temp\WER4D67.tmp.WERInternalMetadata.xml

These files may be available here:
\\?\C:\ProgramData\Microsoft\Windows\WER\ReportArchive\AppCrash_console.exe_cc693ced9f02ff1fad4971022e1a719ec05145_c6eba193_bcbd42d7-ebe2-4c60-9a33-8dbc2d5cc5ee

Analysis symbol: 
Rechecking for solution: 0
Report Id: a4412515-d89d-462a-9df6-1f428b6ad155
Report Status: 268435456
Hashed bucket: eedc651829064f20028954cc1b9e2bf8
Cab Guid: 0

재현을 하진 못했지만, 어떤 때는 해당 코드를 가진 메서드의 실행 시 "System.Security.VerificationException" 예외가 발생하는 경우도 있습니다.

따라서, 값 형식을 object로 넘길 때는 box 연산을 반드시 잊지 않고 사용해야 합니다.




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



donaricano-btn



[최초 등록일: ]
[최종 수정일: 10/14/2020]

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)
12849정성태10/17/2021148스크립트: 33. JavaScript와 C#의 시간 변환
12848정성태10/17/2021106스크립트: 32. 파이썬 - sqlite3 기본 예제 코드
12847정성태10/14/202169스크립트: 31. 파이썬 gunicorn - WORKER TIMEOUT 오류 발생
12846정성태10/7/2021213스크립트: 30. 파이썬 __debug__ 플래그 변수에 따른 코드 실행 제어
12845정성태10/6/2021408.NET Framework: 1120. C# - BufferBlock<T> 사용 예제 [2]파일 다운로드1
12844정성태10/3/2021197오류 유형: 764. MSI 설치 시 "... is accessible and not read-only." 오류 메시지
12843정성태10/3/2021209스크립트: 29. 파이썬 - fork 시 기존 클라이언트 소켓 및 스레드의 동작파일 다운로드1
12842정성태10/1/2021209오류 유형: 763. 파이썬 오류 - AttributeError: type object '...' has no attribute '...'
12841정성태10/1/2021272스크립트: 28. 모든 파이썬 프로세스에 올라오는 특별한 파일 - sitecustomize.py
12840정성태9/30/2021301.NET Framework: 1119. Entity Framework의 Join 사용 시 다중 칼럼에 대한 OR 조건 쿼리파일 다운로드1
12839정성태9/15/2021517.NET Framework: 1118. C# 10 - (17) 제네릭 타입의 특성 적용파일 다운로드1
12838정성태9/13/2021501.NET Framework: 1117. C# - Task에 전달한 Action, Func 유형에 따라 달라지는 async/await 비동기 처리 [2]파일 다운로드1
12837정성태9/11/2021287VC++: 151. Golang - fmt.Errorf, errors.Is, errors.As 설명
12836정성태9/10/2021278Linux: 45. 리눅스 - 실행 중인 다른 프로그램의 출력을 확인하는 방법
12835정성태9/7/2021291.NET Framework: 1116. C# 10 - (16) CallerArgumentExpression 특성 추가파일 다운로드1
12834정성태9/7/2021231오류 유형: 762. Visual Studio 2019 Build Tools - 'C:\Program' is not recognized as an internal or external command, operable program or batch file.
12833정성태9/6/2021361VC++: 150. Golang - TCP client/server echo 예제 코드파일 다운로드1
12832정성태9/6/2021238VC++: 149. Golang - 인터페이스 포인터가 의미 있을까요?
12831정성태9/6/2021241VC++: 148. Golang - 채널에 따른 다중 작업 처리파일 다운로드1
12830정성태9/6/2021241오류 유형: 761. Internet Explorer에서 파일 다운로드 시 "Your current security settings do not allow this file to be downloaded." 오류
12829정성태9/5/2021328.NET Framework: 1115. C# 10 - (15) 구조체 타입에 기본 생성자 정의 가능파일 다운로드1
12828정성태9/4/2021309.NET Framework: 1114. C# 10 - (14) 단일 파일 내에 적용되는 namespace 선언파일 다운로드1
12827정성태9/4/2021237스크립트: 27. 파이썬 - 웹 페이지 데이터 수집을 위한 scrapy Crawler 사용법 요약
12826정성태9/3/2021319.NET Framework: 1113. C# 10 - (13) 문자열 보간 성능 개선파일 다운로드1
12825정성태9/3/2021218개발 환경 구성: 603. GoLand - WSL 환경과 연동
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...