Apa yang Anda lihat saat Anda menggunakan Debug + Windows + Disassembly saat men-debug program C # adalah panduan yang baik untuk istilah-istilah ini. Berikut adalah versi yang dianotasi ketika saya menyusun program 'hello world' yang ditulis dalam C # dalam konfigurasi Rilis dengan pengoptimalan JIT diaktifkan:
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
Klik kanan jendela dan centang "Show Code Bytes" untuk mendapatkan tampilan serupa.
Kolom di sebelah kiri adalah alamat kode mesin. Nilainya dipalsukan oleh debugger, kodenya sebenarnya terletak di tempat lain. Tapi itu bisa di mana saja, tergantung pada lokasi yang dipilih oleh compiler JIT, jadi debugger mulai menomori alamat dari 0 pada awal metode.
Kolom kedua adalah kode mesin . Angka 1 dan 0 aktual yang dijalankan CPU. Kode mesin, seperti di sini, biasanya ditampilkan dalam hex. Ilustratif mungkin adalah bahwa 0x8B memilih instruksi MOV, byte tambahan yang ada untuk memberi tahu CPU dengan tepat apa yang perlu dipindahkan. Perhatikan juga dua jenis instruksi CALL, 0xE8 adalah panggilan langsung, 0xFF adalah instruksi panggilan tidak langsung.
Kolom ketiga adalah kode assembly . Perakitan adalah bahasa sederhana, dirancang untuk memudahkan penulisan kode mesin. Ini dibandingkan dengan C # yang dikompilasi ke IL. Kompiler yang digunakan untuk menerjemahkan kode assembly disebut "assembler". Anda mungkin memiliki Microsoft assembler di komputer Anda, nama yang dapat dieksekusi adalah ml.exe, ml64.exe untuk versi 64-bit. Ada dua versi umum bahasa assembly yang digunakan. Yang Anda lihat adalah yang digunakan Intel dan AMD. Di dunia open source, perakitan dalam notasi AT&T adalah hal biasa. Sintaks bahasa sangat bergantung pada jenis CPU yang dibuat, bahasa assembly untuk PowerPC sangat berbeda.
Oke, itu menangani dua istilah dalam pertanyaan Anda. "Kode asli" adalah istilah fuzzy, ini tidak jarang digunakan untuk mendeskripsikan kode dalam bahasa yang tidak terkelola. Mungkin instruktif adalah untuk melihat jenis kode mesin apa yang dihasilkan oleh kompilator C. Ini adalah versi 'hello world' di C:
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
Saya tidak memberi anotasi, terutama karena sangat mirip dengan kode mesin yang dihasilkan oleh program C #. Pemanggilan fungsi printf () sangat berbeda dari pemanggilan Console.WriteLine () tetapi yang lainnya hampir sama. Juga perhatikan bahwa debugger sekarang membuat alamat kode mesin yang sebenarnya dan itu sedikit lebih pintar tentang simbol. Efek samping dari membuat info debug setelah membuat kode mesin seperti yang sering dilakukan oleh kompiler yang tidak dikelola. Saya juga harus menyebutkan bahwa saya mematikan beberapa opsi pengoptimalan kode mesin untuk membuat kode mesin terlihat serupa. Kompiler C / C ++ memiliki lebih banyak waktu yang tersedia untuk mengoptimalkan kode, seringkali hasilnya sulit untuk ditafsirkan. Dan sangat sulit untuk di-debug.
Poin utama di sini adalah ada sangat sedikit perbedaan antara kode mesin yang dihasilkan dari bahasa yang dikelola oleh kompilator JIT dan kode mesin yang dihasilkan oleh kompilator kode asli. Yang merupakan alasan utama mengapa bahasa C # dapat bersaing dengan kompilator kode asli. Satu-satunya perbedaan nyata di antara mereka adalah panggilan fungsi dukungan. Banyak di antaranya diimplementasikan di CLR. Dan yang utama berputar di sekitar pengumpul sampah.