Microsoft MVP성태의 닷넷 이야기
.NET Framework: 2016. C# - JIT 컴파일러의 인라인 메서드 처리 유무 [링크 복사], [링크+제목 복사],
조회: 15129
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 2개 있습니다.)
(시리즈 글이 11개 있습니다.)
.NET Framework: 202. CLR JIT 컴파일러가 생성한 기계어 코드 확인하는 방법
; https://www.sysnet.pe.kr/2/0/975

.NET Framework: 210. Windbg 환경에서 확인해 본 .NET 메서드 JIT 컴파일 전과 후
; https://www.sysnet.pe.kr/2/0/1023

.NET Framework: 395. C# - 프로퍼티로 정의하면 필드보다 느릴까요?
; https://www.sysnet.pe.kr/2/0/1545

.NET Framework: 396. C# - 프로퍼티로 정의하면 필드보다 느릴까요? - windbg / ollydbg
; https://www.sysnet.pe.kr/2/0/1546

.NET Framework: 542. 닷넷 - 특정 클래스가 로드되었는지 여부를 알 수 있을까?
; https://www.sysnet.pe.kr/2/0/10888

.NET Framework: 545. 닷넷 - 특정 클래스가 로드되었는지 여부를 알 수 있을까? - 두 번째 이야기
; https://www.sysnet.pe.kr/2/0/10893

.NET Framework: 763. .NET Core 2.1 - Tiered Compilation 도입
; https://www.sysnet.pe.kr/2/0/11539

디버깅 기술: 161. Windbg 환경에서 확인해 본 .NET 메서드 JIT 컴파일 전과 후 - 두 번째 이야기
; https://www.sysnet.pe.kr/2/0/12133

.NET Framework: 2015. C# - 인라인 메서드(inline methods)
; https://www.sysnet.pe.kr/2/0/13063

.NET Framework: 2016. C# - JIT 컴파일러의 인라인 메서드 처리 유무
; https://www.sysnet.pe.kr/2/0/13064

닷넷: 2132. C# - sealed 클래스의 메서드를 callback 호출했을 때 인라인 처리가 될까요?
; https://www.sysnet.pe.kr/2/0/13391




C# - JIT 컴파일러의 인라인 메서드 처리 유무

지난 글을 기준으로,

C# - 인라인 메서드(inline methods)
; https://www.sysnet.pe.kr/2/0/13063

실제로 인라인 여부를 확인해볼까요? ^^ 일반적인 Increment 메서드의 구현이라면,

static void Main(string[] args)
{
    int x = Increment(args.Length);
    Console.WriteLine(x);

    Console.ReadLine();
}

static int Increment(int x)
{
    if (x < 0)
    {
        ThrowArgumentException();
    }

    return (x + 1);
}

static int ThrowArgumentException()
{
    throw new ArgumentException();
}

(Release 빌드로 실행해 ReadLine에 걸렸을 때 debug attach 시킨 후) disassembly 창으로 보면 이렇게 JIT 컴파일링 된 것을 확인할 수 있습니다.

00007FFDC0E02990  push        rbp  
00007FFDC0E02991  sub         rsp,20h  
00007FFDC0E02995  lea         rbp,[rsp+20h]  
00007FFDC0E0299A  mov         qword ptr [rbp+10h],rcx  
00007FFDC0E0299E  mov         rcx,qword ptr [rbp+10h]  
            int x = Increment(args.Length);
00007FFDC0E029A2  mov         ecx,dword ptr [rcx+8]  
00007FFDC0E029A5  call        CLRStub[MethodDescPrestub]@7ffdc0dff118 (07FFDC0DFF118h)  
            Console.WriteLine(x);
00007FFDC0E029AA  mov         ecx,eax  
00007FFDC0E029AC  call        CLRStub[MethodDescPrestub]@7ffdc0e028e8 (07FFDC0E028E8h)

인라인이 안 되었죠? ^^ 아니... 인라인 시킨다면서요? 게다가 해당 메서드에 "[MethodImpl(MethodImplOptions.AggressiveInlining)]" 특성을 부여해도 결과는 마찬가지입니다.




왜냐하면, JIT 컴파일러는 위와 같은 상황에서 Increment 호출을 인라인 시킨다고 크게 성능상 장점이 없다고 판단하는 것 같습니다. 그래서 인라인을 위한 계산 비용보다는 그냥 함수 호출로 빠르게 JIT 번역해 버리는 것입니다.

오호~~~ 그렇다면, 성능 향상이 부각되는 상황으로 만들면 되겠군요. ^^ 그래서 임의로 다음과 같이 for 문을 구성해 봤습니다.

for (int i = 0; i < 100; i++)
{
    int x = Increment(args.Length);
    Console.WriteLine(x);
}

이렇게 만들면 이제 인라인이 됩니다.

            int x = Increment(args.Length);
00007FFDC0E229AB  mov         ecx,edi  
00007FFDC0E229AD  test        ecx,ecx  
00007FFDC0E229AF  jl          Program.Main(System.String[])+02Ch (07FFDC0E229CCh)  
00007FFDC0E229B1  inc         ecx  
            Console.WriteLine(x);
00007FFDC0E229B3  call        CLRStub[MethodDescPrestub]@7ffdc0e228e8 (07FFDC0E228E8h)  
...[생략]...
            ThrowArgumentException();
00007FFDC0E229CC  call        CLRStub[MethodDescPrestub]@7ffdc0e1f120 (07FFDC0E1F120h)

(참고로, 위의 경우 AggressiveInlining 옵션을 빼도 상관없습니다.)




그런데, 재미있는 점이 하나 있습니다. ^^; .NET 6 환경에서 위의 상황을, Increment에 throw를 포함하는 유형으로 테스트를 하면,

static int Increment(int x)
{
    if (x < 0)
    {
        throw new ArgumentException();
    }

    return (x + 1);
}

그래도 여전히 인라인이 되는 것을 확인할 수 있습니다. 아니... 이게 어떻게 된 일입니까? ^^; ".NET Core Best Practices" 글을 쓴 사람은 분명히 인라인이 안 된다고 했습니다. 어쩔 수 없습니다. 그냥 사실을 받아들여야 합니다. ^^ 어쨌든 (어느 버전인지는 일일이 테스트를 해보면 알겠지만) 적어도 .NET 6의 JIT 컴파일러는 throw 문을 포함해도 정상적으로 인라인 시킬 정도로 더 똑똑해진 것입니다.

그래서, 동일한 코드를 .NET Framework 4.8 런타임에서 실행해 보면 다시 이렇게 인라인이 안 되는 것을 볼 수 있습니다.

031E0848  push        ebp  
031E0849  mov         ebp,esp  
031E084B  push        edi  
031E084C  push        esi  
031E084D  xor         esi,esi  
031E084F  mov         edi,dword ptr [ecx+4]  
            int x = Increment(args.Length);
031E0852  mov         ecx,edi  
031E0854  call        dword ptr [Pointer to: Program.Increment(Int32) (03154D58h)]  
            Console.WriteLine(x);
031E085A  mov         ecx,eax  
031E085C  call        System.Console.WriteLine(Int32) (6F931938h) 

결국, 이런 내부적인 동작은 끊임없이 바뀔 것이고 특별한 경우가 아니라면 굳이 신경 쓸 필요는 없습니다. 단지, 우리는 그냥 free lunch를 즐기는 식으로 가볍게 지나가면 되겠습니다. ^^




그나저나, (적어도 .NET 6 환경에서는) "[MethodImpl(MethodImplOptions.AggressiveInlining)]" 특성은 이젠 거의 무시하는 분위기인 듯합니다. 왜냐하면, 그 옵션의 유무에 따른 변화가 딱히 없습니다. 혹시, 이 옵션에 따라 달라지는 상황이 있다면 덧글 부탁드립니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 5/19/2022]

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)
13693정성태7/24/20247218개발 환경 구성: 717. Visual Studio - C# 프로젝트에서 레지스트리에 등록하지 않은 COM 개체 참조 및 사용 방법파일 다운로드1
13692정성태7/24/20247992디버깅 기술: 199. Windbg - 리눅스에서 뜬 닷넷 응용 프로그램 덤프 파일에 포함된 DLL의 Export Directory 탐색
13691정성태7/23/20247354디버깅 기술: 198. Windbg - 스레드의 Win32 Message Queue 정보 조회
13690정성태7/23/20246990오류 유형: 919. Visual C++ 리눅스 프로젝트 - error : ‘u8’ was not declared in this scope
13689정성태7/22/20248483디버깅 기술: 197. Windbg - PE 포맷의 Export Directory 탐색
13688정성태7/21/20247599닷넷: 2281. C# - Lock / Wait 상태에서도 일부 Win32 메시지 처리파일 다운로드1
13687정성태7/19/20248029닷넷: 2280. C# - PostThreadMessage로 보낸 메시지를 Windows Forms에서 수신하는 방법파일 다운로드1
13686정성태7/19/20247826오류 유형: 918. Visual Studio - ATL Simple Object 추가 시 error C2065: 'IDR_...': undeclared identifier
13685정성태7/19/20247975스크립트: 66. Windows 디렉터리 경로를 WSL의 /mnt 포맷으로 구하는 방법 - 두 번째 이야기
13684정성태7/19/20248144닷넷: 2279. C# - 문자열 보간식 사례 (예: 조건 연산자 사용)
13683정성태7/18/20247621오류 유형: 917. ClrMD - Linux 환경의 .NET 5 덤프 분석 시 hang 현상
13682정성태7/18/20247837닷넷: 2278. WPF - 스레드에 종속되는 DependencyObject파일 다운로드1
13681정성태7/17/20247442닷넷: 2277. C# 13 - (2) 메서드 그룹의 자연 타입 개선 (메서드 추론 개선)파일 다운로드1
13680정성태7/16/20247796닷넷: 2276. C# - Method Group, Natural Type, function_type파일 다운로드1
13679정성태7/16/20246909Linux: 76. Linux - C++ (getaddrinfo 등을 담고 있는) libnss 정적 링크
13678정성태7/15/20247036VS.NET IDE: 191. Visual Studio 2022 - .NET 5 프로젝트를 Docker Support로 실행했을 때 오류
13677정성태7/15/20247108오류 유형: 916. MSBuild - CheckEolTargetFramework (warning NETSDK1138)
13676정성태7/14/20247297Linux: 75. gdb에서 glibc의 함수에 Breakpoint 걸기
13675정성태7/13/20249081C/C++: 166. C/C++ - DLL에서 template 함수를 export하는 방법 [1]파일 다운로드1
13674정성태7/13/20247970오류 유형: 915. Unhandled Exception: Microsoft.Diagnostics.NETCore.Client.ServerNotAvailableException: Unable to connect to Process
13673정성태7/11/20248406닷넷: 2275. C# 13 - (1) 신규 이스케이프 시퀀스 '\e'파일 다운로드1
13672정성태7/10/20247128닷넷: 2274. IIS - (프로세스 종료 없는) AppDomain Recycle
13671정성태7/10/20247233오류 유형: 914. Package ca-certificates is not installed.
13669정성태7/9/20247351오류 유형: 913. C# - AOT StaticExecutable 정적 링킹 시 빌드 오류
13668정성태7/8/20247376개발 환경 구성: 716. Hyper-V - Ubuntu 22.04 Generation 2 유형의 VM 설치
13667정성태7/7/20246593닷넷: 2273. C# - 리눅스 환경에서의 Hyper-V Socket 연동 (AF_VSOCK)파일 다운로드1
1  2  3  4  5  6  7  8  9  [10]  11  12  13  14  15  ...