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

(시리즈 글이 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# - sealed 클래스의 메서드를 callback 호출했을 때 인라인 처리가 될까요?

닷넷 데브에 재미있는 글이 하나 떴군요, ^^

매우 작은 메서드의 주입
; https://forum.dotnetdev.kr/t/topic/7592

간단한 예를 들어, 우리는 보통 정렬 알고리즘을 호출할 때 값의 비교를 위한 delegate 또는 인터페이스를 전달하게 됩니다.

List<int> list = new List<int>() { 5, 4, 3, 2, 1 };

list.Sort((item1, item2) => item1.CompareTo(item2));
list.ForEach((elem) => Console.Write($"{elem} ")); // 출력 결과: 1, 2, 3, 4, 5

위에서 전달한 delegate 코드 조각은 사실 굉장히 간단한 코드인데요, 여기서 문제는? 저것이 List.Sort 메서드 내에서는 매번 메서드 호출로 처리하는 부하가 발생한다는 점입니다.

그런데, 사실 이게 문제일까요? 질문하신 분은, 이에 대한 해법으로 "다른 언어(C++)"을 쓴다"라고 했지만 이것은 약간 잘못된 인식입니다. C++이라고 해서 외부에서 전달한 함수 포인터를 call이 아닌 런타임 시에 inline 시켜 실행하는 재주는 없기 때문입니다.

오히려, 전달받은 함수 포인터를 call 대신 inline 시킬 수 있는 환경은 런타임에 JIT를 할 수 있는 VM 계열의 환경에서 가능할 수 있습니다. 하지만, 그게 가능하다고 해도 전달받은 코드 조각에 따라 내부 코드를 인라인시켜버리면 (그 부분만 다른) 동일한 메서드의 기계어 코드 묶음이 다중으로 만들어지는 것이기 때문에 아마도 닷넷 JIT 컴파일러가 거기까지 신경쓰지는 않았을 것으로 보입니다.




정말 그럴까요? 혹시나 그래도 만에 하나 닷넷 JIT 컴파일러가 sealed 유형의 메서드를 인라인시켜주지는 않을까요? 전에도 함수 인라인에 대해 설명한 적이 있는데요,

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

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

그런 의미에서 봤을 때, 함수가 인라인되었다는 사실을 확인하는 것이 약간 번거롭습니다. "매우 작은 메서드의 주입" 글에서 질문하신 분이 나중에 덧글로 sealed가 적용된 경우에는 인라인이 된다고 했는데... 음... 어떻게 확인해서 그런 결론을 낸 것인지는 모르겠지만 적어도 제가 위에서 설명한 글의 의미에 해당하는 인라인은 아닙니다.

아마도, 단순히 실행 속도가 근소하게 빨라진 것에서 인라인되었다고 판단한 것으로 보이지만, 그것은 순전히 sealed 메서드의 호출이 다른 호출보다 가벼워서 그런 것일 뿐 엄밀한 의미에서의 인라인은 아닙니다.

확인을 위해 다음과 같이 간단한 코드를 만들고,

// .NET 7 + x64 + Release 빌드

namespace ConsoleApp2;

public interface ITestType
{
    public int Increment(int x);
}

public sealed class TestType : ITestType
{
    public int Increment(int x)
    {
        return (x + 1);
    }
}

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

        Console.ReadLine(); // JIT 완료 후 디버거 연결을 위해!
    }

    public static void TestFuncPtr(ITestType test)
    {
        test.Increment(5);
    }
}

Release 빌드로 (실행 전이 아닌, 이미) 실행된 프로세스에 WinDbg를 연결한 다음 JIT 컴파일러가 생성해 놓은 기계어 코드를 봐야 합니다.

따라서 이렇게 TestFuncPtr의 JIT 코드 위치를 알아내고,

0:005> !name2ee ConsoleApp2!Program.TestFuncPtr
Module:      00007ffd1c42cf48
Assembly:    ConsoleApp2.dll
Token:       000000000600000A
MethodDesc:  00007ffd1c42ef30
Name:        ConsoleApp2.Program.TestFuncPtr(ConsoleApp2.ITestType)
JITTED Code Address: 00007ffd1c360750

최종적으로 기계어 코드에 call 메서드가 있는지 확인할 수 있습니다.

0:005> !U /d 00007ffd1c360750
Normal JIT generated code
ConsoleApp2.Program.TestFuncPtr(ConsoleApp2.ITestType)
ilAddr is 00000178D0ED20BC pImport is 0000025E7AC8C340
Begin 00007FFD1C360750, size 2b

C:\temp\ConsoleApp1\ConsoleApp2\Program.cs @ 28:
>>> 00007ffd`1c360750 55              push    rbp
00007ffd`1c360751 4883ec20        sub     rsp,20h
00007ffd`1c360755 488d6c2420      lea     rbp,[rsp+20h]
00007ffd`1c36075a 48894d10        mov     qword ptr [rbp+10h],rcx
00007ffd`1c36075e 488b4d10        mov     rcx,qword ptr [rbp+10h]
00007ffd`1c360762 49bb08001b1cfd7f0000 mov r11,7FFD1C1B0008h
00007ffd`1c36076c ba05000000      mov     edx,5
00007ffd`1c360771 41ff13          call    qword ptr [r11]

C:\temp\ConsoleApp1\ConsoleApp2\Program.cs @ 29:
00007ffd`1c360774 90              nop
00007ffd`1c360775 4883c420        add     rsp,20h
00007ffd`1c360779 5d              pop     rbp
00007ffd`1c36077a c3              ret

보다시피 인라인되지 않았습니다. ^^




[2023-07-15 업데이트] C/C++의 template을 잊고 있었군요. ^^ 아래는 트친의 의견입니다.




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







[최초 등록일: ]
[최종 수정일: 7/15/2023]

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)
13814정성태11/13/20243489닷넷: 2311. C# - Windows / Linux 환경에서 Native Thread ID 가져오기파일 다운로드1
13813정성태11/12/20243375닷넷: 2310. .NET의 Rune 타입과 emoji 표현파일 다운로드1
13812정성태11/11/20243306오류 유형: 933. Active Directory - The forest functional level is not supported.
13811정성태11/11/20243195Linux: 104. Linux - COLUMNS 환경변수가 언제나 80으로 설정되는 환경
13810정성태11/10/20243514Linux: 103. eBPF (bpf2go) - Tracepoint를 이용한 트레이스 (BPF_PROG_TYPE_TRACEPOINT)
13809정성태11/10/20243466Windows: 271. 윈도우 서버 2025 마이그레이션
13808정성태11/9/20243285오류 유형: 932. Linux - 커널 업그레이드 후 "error: bad shim signature" 오류 발생
13807정성태11/9/20243722Linux: 102. Linux - 커널 이미지 파일 서명 (Ubuntu 환경)
13806정성태11/8/20243464Windows: 270. 어댑터 상세 정보(Network Connection Details) 창의 내용이 비어 있는 경우
13805정성태11/8/20243287오류 유형: 931. Active Directory의 adprep 또는 복제가 안 되는 경우
13804정성태11/7/20243431Linux: 101. eBPF 함수의 인자를 다루는 방법
13803정성태11/7/20243627닷넷: 2309. C# - .NET Core에서 바뀐 DateTime.Ticks의 정밀도
13802정성태11/6/20243965Windows: 269. GetSystemTimeAsFileTime과 GetSystemTimePreciseAsFileTime의 차이점파일 다운로드1
13801정성태11/5/20243630Linux: 100. eBPF의 2가지 방식 - libbcc와 libbpf(CO-RE)
13800정성태11/3/20244629닷넷: 2308. C# - ICU 라이브러리를 활용한 문자열의 대소문자 변환 [2]파일 다운로드1
13799정성태11/2/20243615개발 환경 구성: 732. 모바일 웹 브라우저에서 유니코드 문자가 표시되지 않는 경우
13798정성태11/2/20243514개발 환경 구성: 731. 유니코드 - 출력 예시 및 폰트 찾기
13797정성태11/1/20243658C/C++: 185. C++ - 문자열의 대소문자를 변환하는 transform + std::tolower/toupper 방식의 문제점파일 다운로드1
13796정성태10/31/20243569C/C++: 184. C++ - ICU dll을 이용하는 예제 코드 (Windows)파일 다운로드1
13795정성태10/31/20243428Windows: 268. Windows - 리눅스 환경처럼 공백으로 끝나는 프롬프트 만들기
13794정성태10/30/20243467닷넷: 2307. C# - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13793정성태10/28/20243351C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20242910Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20243369Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20243238Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20243178Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...