Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (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




CLR JIT 컴파일러가 생성한 기계어 코드 확인하는 방법

우선, 다음의 글을 보실까요?

언제부터 보이지 않는 키워드 for, foreach.
; http://illef.tistory.com/105

질문을 정리해 보면, 아래와 같은 C# 코드에 대해 JIT 컴파일러가 최적화를 했는지 안했는지를 알 수 없다는 것입니다. 즉 해당 코드들이 실행을 하는지 안하는지 모르겠다는 것인데요.

for(int i=0;i<10;i++){}

물론, 디버거를 이용하면 기계어 코드의 생성 여부를 알 수 있습니다. 테스트 삼아서 같이 해볼까요? ^^ 일단, 코드 구성을 다음고 같이 해주고,

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            MyFunc(); // JIT 컴파일이 릴리스 상태에서 최적화되어 
                                                 // 발생하도록 한 번 호출해 줍니다.

            Console.WriteLine("Press any key to continue...");
            Console.ReadLine();

            MyFunc();
        }

        private static void MyFunc()
        {
            Console.WriteLine("...");
            for (int i = 0; i < 10; i++) { }
        }
    }
}

"Control + F5" 키를 이용해서 디버깅 없이 그냥 실행시킵니다. 그럼, 콘솔 프로그램이 뜨게 되고 두 번째 MyFunc 메서드 실행 전에 멈추게 되는데, 이 때 Visual Studio의 "Debug" / "Attach to Process..." 메뉴를 실행시켜서 해당 EXE 파일을 "Managed (v4.0) code, Native code" 모드로 연결합니다. (왜 Native까지 필요할까요?)

닷넷 어셈블리가 정상적으로 Release 모드로 빌드되었고 JIT 컴파일러에 의해 최적화가 된 상태라면 다음과 같은 대화창이 뜹니다. (이 대화창이 나타나지 않았다면 Debug 모드로 구동되었거나, 최적화 진행이 안되고 있는 것입니다.)

how_to_check_clr_jit_1.png

현재 상황에서는 이것이 의도했던 바이기 때문에 무시하고 넘어갑니다. 디버거가 정상적으로 연결되었으면, "Ctrl + Alt + Break (Break All)" 키를 눌러 디버기(Debugee)의 실행을 멈춥니다.

이제, "Ctrl + D, I" 키를 눌러서 "Immediate Window"를 띄우고 다음과 같이 SOS 확장을 로드합니다. (Native 모드로 연결해야만 sos.dll 확장을 이용할 수 있습니다.)

.load sos
extension C:\Windows\Microsoft.NET\Framework\v4.0.30319\sos.dll loaded

SOS를 이용해서 다음과 같이 MyFunc을 찾고,

!name2ee ConsoleApplication1.exe ConsoleApplication1.Program.MyFunc
Module:      00192e9c
Assembly:    ConsoleApplication1.exe
Token:       395550f606000002
MethodDesc:  001933fc
Name:        ConsoleApplication1.Program.MyFunc()
JITTED Code Address: 002300c0

이렇게 기계어로 컴파일된 주소까지 얻었으니 게임 끝이군요.

!u 002300c0
Normal JIT generated code
ConsoleApplication1.Program.MyFunc()
Begin 002300c0, size 1a
>>> 002300C0 55               push        ebp
002300C1 8BEC             mov         ebp,esp
002300C3 E808704060       call        606370D0 (System.Console.get_Out(), mdToken: 060008cd)
002300C8 8BC8             mov         ecx,eax
002300CA 8B1534207F03     mov         edx,dword ptr ds:[037F2034h] ("...")
002300D0 8B01             mov         eax,dword ptr [ecx]
002300D2 8B403C           mov         eax,dword ptr [eax+3Ch]
002300D5 FF5010           call        dword ptr [eax+10h]
002300D8 5D               pop         ebp
002300D9 C3               ret

위에 보는 것처럼, System.Console.WriteLine 메서드에 대한 call을 제외하고 for 문에 대한 어떠한 기계어 코드도 생성되지 않았기 때문에 최적화 과정에서 쓸모없는 for 코드가 제거되었음을 알 수 있습니다.

궁금해 하실 분이 계실 텐데, System.Console.WriteLine의 경우 제가 테스트 결과를 확연히 보기 위해 의도적으로 집어넣은 것입니다. 만약 그 코드를 빼면 MyFunc는 for 문만 포함하게 되고 결국 쓸모없는 메서드가 되어 JIT 컴파일 시에 메서드 자체가 날아가버립니다. 이 때문에, name2ee 명령을 내리면 아래와 같이 아예 JITTED 되지 않았다고 나옵니다. (메서드가 날아가버리는 또 다른 이유는 메서드 내부의 코드가 호출측에 in-line화 되는 경우입니다.)

!name2ee ConsoleApplication1.exe  ConsoleApplication1.Program.MyFunc
PDB symbol for clr.dll not loaded
Module:      00192e9c
Assembly:    ConsoleApplication1.exe
Token:       a86af99b06000002
MethodDesc:  001937fc
Name:        ConsoleApplication1.Program.MyFunc()
Not JITTED yet. Use !bpmd -md 001937fc to break on run.




끝마치기 전에!

재미있게도, for 문에 지정된 루프 수를 바꾸면 JIT 컴파일에 포함이 됩니다.

for(int i=0;i<1000;i++){}

.load sos
extension C:\Windows\Microsoft.NET\Framework\v4.0.30319\sos.dll loaded

!name2ee ConsoleApplication1.exe  ConsoleApplication1.Program.MyFunc
PDB symbol for clr.dll not loaded
Module:      001e2e9c
Assembly:    ConsoleApplication1.exe
Token:       1e71bfd206000002
MethodDesc:  001e37fc
Name:        ConsoleApplication1.Program.MyFunc()
JITTED Code Address: 002400c0

!u 002400c0
Normal JIT generated code
ConsoleApplication1.Program.MyFunc()
Begin 002400c0, size f
>>> 002400C0 55               push        ebp
002400C1 8BEC             mov         ebp,esp
002400C3 33C0             xor         eax,eax
002400C5 40               inc         eax
002400C6 3DE8030000       cmp         eax,3E8h
002400CB 7CF8             jl          002400C5
002400CD 5D               pop         ebp
002400CE C3               ret

마이크로소프트의 공식 입장은 알 수 없지만, 아마도 일정 루프 이상은 일부러 '지연(delay)'시키는 효과를 내기 위한 것이라고 판단하고 기계어 번역을 해주는 것이 아닌가 싶습니다.



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

[연관 글]






[최초 등록일: ]
[최종 수정일: 6/27/2021]

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

비밀번호

댓글 작성자
 



2011-01-10 09시40분
[사이] 정책임님 만세!!^^
[guest]
2011-01-10 09시52분
오랜만입니다. 블로그로는 항상 대면하지만. ^^

--------------------------------------------

(2024-04-04: 업데이트)

Hardware Intrinsics in .NET | .NET Conf 2023
; https://youtu.be/mSBsWBKh1-k?t=509

2014 - .NET 4.5.2
  * Vector<T>
  * Vector2, Vector3, Vector4
  * Matrix4x4
  * Quaternion and Plane
  * 64-bit only

2019 - .NET Core 3.0
  * Vector128<T>, Vector256<T>
  * x86/x64
    . Sse, Sse2, Sse3, Sse3, Sse41, Sse42
    . Avx, Avx2, Fma, Bmi1, Bmi2
    . Lzcnt, Popcnt
    . Aes and Pclmul
  * Introduces 32-bit support

2020 - .NET 5
  * Vector64<T>
  * Arm32/Arm64
    . AdvSimd, Dp, Rdm
    . Aes, Crc32, Sha1, and Sha256
    . ArmBase
  * x86/x64
    . X86Base

2021 - .NET 6
  * x86/x64
    . AvxVnni
  * Rewrite System.Numerics

2022 - .NET 7
  * Cross platform support
  * Vector<T> parity
  * x86/x64
    .X86Serialize

2023 - .NET 8
  * Vector512<T>
  * WebAssembly (Wasm)
    . PackedSimd
  * x86/x64
    . Avx512F
    . Avx512BW, Avx512CD, Avx512DQ
    . Avx512Vbmi
  * TensorPrimitives - Out of Band
정성태
2011-01-11 08시55분
[lancers] 맞아요.
루프 카운터가 일정 수 이상이면 다르게 처리를 하게 되어 있는데.. 기준이 몇이었더라..??
하도 옛날에 봐서 기억이.. -_-;;
[guest]

... 106  107  108  109  110  111  [112]  113  114  115  116  117  118  119  120  ...
NoWriterDateCnt.TitleFile(s)
11125정성태1/7/201724456개발 환경 구성: 310. IIS - appcmd.exe를 이용해 특정 페이지에 클라이언트 측 인증서를 제출하도록 설정하는 방법
11124정성태1/4/201727845개발 환경 구성: 309. 3년짜리 유효 기간을 제공하는 StartSSL [2]
11123정성태1/3/201723356.NET Framework: 629. .NET Core의 dotnet.exe CLI 명령어 확장 방법 [1]
11122정성태1/3/201722818.NET Framework: 628. TransactionScope에 사용자 정의 트랜잭션을 참여시키는 방법 [2]파일 다운로드1
11121정성태1/1/201720708개발 환경 구성: 308. "ASP.NET Core Web Application (.NET Core)"와 "ASP.NET Core Web Application (.NET Framework)" 차이점
11120정성태12/25/201626589개발 환경 구성: 307. ASP.NET Core Web Application을 IIS에서 호스팅하는 방법
11119정성태12/23/201649287개발 환경 구성: 306. Visual Studio Code에서 Python 개발 환경 구성 [2]
11118정성태12/22/201636045오류 유형: 374. Python 64비트 설치 시 0x80070659 오류 발생 [3]
11117정성태12/21/201622328웹: 35. nopCommerce 예제 사이트 구성 방법
11116정성태12/21/201624297디버깅 기술: 84. NopCommerce의 Autofac 부하(CPU, Memory) [2]
11115정성태12/21/201627255Windows: 133. 윈도우 서버 2016에서 플래시가 동작하지 않는 경우 [2]
11114정성태12/19/201637299Windows: 132. 역슬래시(backslash) 문자가 왜 통화 표기 문자(한글인 경우 "\")로 보일까요? [2]
11113정성태12/6/201621143오류 유형: 373. ICOMAdminCatalog::GetCollection에서 CO_E_ISOLEVELMISMATCH(0x8004E02F) 오류 발생파일 다운로드1
11112정성태11/23/201626309오류 유형: 372. MySQL 서비스가 올라오지 않는 경우 - Error 1067
11111정성태11/23/201634797.NET Framework: 627. C++로 만든 DLL을 C#에서 사용하기 [2]
11110정성태11/17/201621516.NET Framework: 626. Commit 메모리가 낮은 상황에서도 메모리 부족(Out-of-memory) 예외 발생 [2]
11109정성태11/17/201621500.NET Framework: 625. ASP.NET에서 System.Web.HttpApplication 인스턴스는 다중으로 생성됩니다.
11108정성태11/13/201621324.NET Framework: 624. WPF - Line 요소를 Canvas에 위치시켰을 때 흐림(blur) 현상파일 다운로드1
11107정성태11/9/201625198오류 유형: 371. Post cache substitution is not compatible with modules in the IIS integrated pipeline that modify the response buffers.파일 다운로드1
11106정성태11/8/201625368.NET Framework: 623. C# - PeerFinder를 이용한 Wi-Fi Direct 데이터 통신 예제 [2]파일 다운로드1
11105정성태11/8/201619755.NET Framework: 622. PeerFinder Wi-Fi Direct 통신 시 Read/Write/Dispose 문제
11104정성태11/8/201619227개발 환경 구성: 305. PeerFinder로 Wi-Fi Direct 연결 시 방화벽 문제
11103정성태11/8/201619210오류 유형: 370. PeerFinder.ConnectAsync의 결과 값인 Task.Result를 호출할 때 System.AggregateException 예외 발생
11102정성태11/8/201619302오류 유형: 369. PeerFinder.FindAllPeersAsync 호출 시 System.UnauthorizedAccessException 예외 발생
11101정성태11/8/201622069.NET Framework: 621. 닷넷 프로파일러의 오류 코드 - 0x80131363
11100정성태11/7/201628888개발 환경 구성: 304. Wi-Fi Direct 지원 여부 확인 방법 [1]
... 106  107  108  109  110  111  [112]  113  114  115  116  117  118  119  120  ...