[.net] 네이티브 코드, 기계어 코드 및 어셈블리 코드의 차이점은 무엇입니까?

C # 프로그램을 디버깅 할 때 Debug + Windows + Disassembly를 사용할 때 표시되는 내용은 이러한 용어에 대한 좋은 가이드입니다. 다음은 JIT 최적화가 활성화 된 릴리스 구성에서 C #으로 작성된 ‘hello world’프로그램을 컴파일 할 때 주석이 달린 버전입니다.

        static void Main(string[] args) {
            Console.WriteLine("Hello world");
00000000 55                push        ebp                           ; save stack frame pointer
00000001 8B EC             mov         ebp,esp                       ; setup current frame
00000003 E8 30 BE 03 6F    call        6F03BE38                      ; Console.Out property getter
00000008 8B C8             mov         ecx,eax                       ; setup "this"
0000000a 8B 15 88 20 BD 02 mov         edx,dword ptr ds:[02BD2088h]  ; arg = "Hello world"
00000010 8B 01             mov         eax,dword ptr [ecx]           ; TextWriter reference
00000012 FF 90 D8 00 00 00 call        dword ptr [eax+000000D8h]     ; TextWriter.WriteLine()
00000018 5D                pop         ebp                           ; restore stack frame pointer
        }
00000019 C3                ret                                       ; done, return

창을 마우스 오른쪽 버튼으로 클릭하고 “Show Code Bytes”를 선택하면 유사한 디스플레이가 표시됩니다.

왼쪽 열은 기계 코드 주소입니다. 그 값은 디버거에 의해 가짜이며 코드는 실제로 다른 곳에 있습니다. 그러나 JIT 컴파일러가 선택한 위치에 따라 어디든 될 수 있으므로 디버거는 메서드 시작시 0부터 주소 번호 지정을 시작합니다.

두 번째 열은 기계 코드 입니다. CPU가 실행하는 실제 1과 0. 여기와 같이 기계어 코드는 일반적으로 16 진수로 표시됩니다. 예를 들어 0x8B가 MOV 명령을 선택하면 추가 바이트가 CPU에 정확히 무엇을 이동해야하는지 알려주는 것입니다. 또한 CALL 명령어의 두 가지 특징 인 0xE8은 직접 호출이고 0xFF는 간접 호출 명령어입니다.

세 번째 열은 어셈블리 코드 입니다. 어셈블리는 기계어 코드를 더 쉽게 작성할 수 있도록 설계된 간단한 언어입니다. IL로 컴파일되는 C #과 비교됩니다. 어셈블리 코드를 번역하는 데 사용되는 컴파일러를 “어셈블러”라고합니다. 컴퓨터에 Microsoft 어셈블러가있을 수 있습니다. 실행 파일 이름은 ml.exe, 64 비트 버전의 경우 ml64.exe입니다. 사용중인 어셈블리 언어에는 두 가지 공통 버전이 있습니다. 당신이 보는 것은 Intel과 AMD가 사용하는 것입니다. 오픈 소스 세계에서는 AT & T 표기법의 어셈블리가 일반적입니다. 언어 구문은 작성된 CPU의 종류에 따라 크게 달라지며 PowerPC의 어셈블리 언어는 매우 다릅니다.

좋아요, 귀하의 질문에서 두 가지 용어를 다룹니다. “네이티브 코드”는 모호한 용어로, 관리되지 않는 언어로 코드를 설명하는 데 드물게 사용되지 않습니다. C 컴파일러가 생성하는 기계 코드의 종류를 확인하는 것이 좋습니다. 이것은 C의 ‘hello world’버전입니다.

int _tmain(int argc, _TCHAR* argv[])
{
00401010 55               push        ebp
00401011 8B EC            mov         ebp,esp
    printf("Hello world");
00401013 68 6C 6C 45 00   push        offset ___xt_z+128h (456C6Ch)
00401018 E8 13 00 00 00   call        printf (401030h)
0040101D 83 C4 04         add         esp,4
    return 0;
00401020 33 C0            xor         eax,eax
}
00401022 5D               pop         ebp
00401023 C3               ret   

저는 주석을 달지 않았습니다. 대부분 C # 프로그램에서 생성 된 기계어 코드 와 매우 유사 하기 때문입니다. printf () 함수 호출은 Console.WriteLine () 호출과는 상당히 다르지만 다른 모든 것은 거의 동일합니다. 또한 디버거가 이제 실제 기계 코드 주소를 생성하고 있으며 기호에 대해 조금 더 똑똑하다는 점에 유의하십시오. 관리되지 않는 컴파일러처럼 기계어 코드를 생성 한 후 디버그 정보를 생성하는 부작용이 자주 발생합니다. 또한 기계어 코드를 유사하게 보이게하기 위해 몇 가지 기계어 코드 최적화 옵션을 해제했음을 언급해야합니다. C / C ++ 컴파일러는 코드를 최적화하는 데 더 많은 시간을 사용할 수 있으며 결과를 해석하기 어려운 경우가 많습니다. 그리고 디버깅하기가 매우 어렵습니다.

여기에 요점이있다이다 매우 네이티브 코드 컴파일러에 의해 생성 된 JIT 컴파일러와 기계 코드에 의해 관리되는 언어에서 생성 된 기계어 코드 사이에 약간의 차이가. 이것이 C # 언어가 네이티브 코드 컴파일러와 경쟁 할 수있는 주된 이유입니다. 그들 사이의 유일한 차이점은 지원 함수 호출입니다. 대부분은 CLR에서 구현됩니다. 그리고 그것은 가비지 컬렉터를 중심으로 일차적으로 회전합니다.

답변