สิ่งที่คุณเห็นเมื่อคุณใช้ Debug + Windows + Disassembly เมื่อดีบักโปรแกรม C # คือคำแนะนำที่ดีสำหรับข้อกำหนดเหล่านี้ นี่เป็นเวอร์ชันที่มีคำอธิบายประกอบเมื่อฉันรวบรวมโปรแกรม 'hello world' ที่เขียนด้วย C # ในการกำหนดค่ารุ่นที่เปิดใช้งานการปรับให้เหมาะสม JIT:
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 เมื่อเริ่มต้นเมธอด
คอลัมน์ที่สองเป็นรหัสเครื่อง 1s และ 0s จริงที่ CPU รัน รหัสเครื่องเช่นที่นี่มักแสดงเป็นเลขฐานสิบหก ตัวอย่างอาจเป็นไปได้ว่า 0x8B เลือกคำสั่ง MOV ไบต์เพิ่มเติมจะอยู่ที่นั่นเพื่อบอก CPU ว่าต้องย้ายอะไร โปรดสังเกตสองรสชาติของคำสั่ง CALL, 0xE8 คือการโทรโดยตรง, 0xFF คือคำสั่งการโทรทางอ้อม
คอลัมน์ที่สามเป็นรหัสการชุมนุม แอสเซมบลีเป็นภาษาง่ายๆออกแบบมาเพื่อให้เขียนโค้ดเครื่องได้ง่ายขึ้น เปรียบเทียบกับ C # ที่คอมไพล์เป็น IL คอมไพเลอร์ที่ใช้ในการแปลรหัสแอสเซมบลีเรียกว่า "แอสเซมเบลอร์" คุณอาจมีแอสเซมเบลอร์ของ Microsoft ในเครื่องของคุณชื่อปฏิบัติการคือ ml.exe, ml64.exe สำหรับเวอร์ชัน 64 บิต มีภาษาแอสเซมบลีทั่วไปสองเวอร์ชันที่ใช้งานอยู่ สิ่งที่คุณเห็นคือ Intel และ AMD ใช้ ในโลกโอเพนซอร์สการประกอบในสัญกรณ์ AT&T เป็นเรื่องปกติ ไวยากรณ์ของภาษาขึ้นอยู่กับชนิดของ CPU ที่เขียนขึ้นเป็นอย่างมากภาษาแอสเซมบลีสำหรับ PowerPC แตกต่างกันมาก
โอเคนั่นจัดการกับสองคำในคำถามของคุณ "Native code" เป็นคำที่คลุมเครือซึ่งไม่ใช่เรื่องผิดปกติที่ใช้เพื่ออธิบายโค้ดในภาษาที่ไม่มีการจัดการ คำแนะนำอาจเป็นการดูว่าคอมไพเลอร์ C สร้างรหัสเครื่องชนิดใด นี่คือเวอร์ชัน 'สวัสดีชาวโลก' ใน 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
ฉันไม่ได้ใส่คำอธิบายประกอบส่วนใหญ่เป็นเพราะมันคล้ายกับรหัสเครื่องที่สร้างโดยโปรแกรม C # การเรียกใช้ฟังก์ชัน printf () ค่อนข้างแตกต่างจากการเรียก Console.WriteLine () แต่อย่างอื่นก็เหมือนกัน โปรดทราบว่าตอนนี้ดีบักเกอร์กำลังสร้างที่อยู่รหัสเครื่องจริงและมันก็ฉลาดขึ้นเล็กน้อยเกี่ยวกับสัญลักษณ์ ผลข้างเคียงของการสร้างข้อมูลการดีบักหลังจากสร้างรหัสเครื่องเช่นคอมไพเลอร์ที่ไม่มีการจัดการมักจะทำ ฉันควรพูดถึงว่าฉันปิดตัวเลือกการเพิ่มประสิทธิภาพรหัสเครื่องสองสามตัวเพื่อให้รหัสเครื่องดูคล้ายกัน คอมไพเลอร์ C / C ++ มีเวลามากขึ้นในการปรับโค้ดให้เหมาะสมผลลัพธ์มักจะตีความได้ยาก และยากมากที่จะแก้ไขข้อบกพร่อง
ประเด็นสำคัญคือมีความแตกต่างเล็กน้อยระหว่างรหัสเครื่องที่สร้างจากภาษาที่มีการจัดการโดยคอมไพเลอร์ JIT และรหัสเครื่องที่สร้างโดยคอมไพเลอร์โค้ดเนทีฟ ซึ่งเป็นสาเหตุหลักที่ทำให้ภาษา C # สามารถแข่งขันกับคอมไพเลอร์โค้ดเนทีฟได้ ความแตกต่างที่แท้จริงเพียงอย่างเดียวคือการเรียกใช้ฟังก์ชันสนับสนุน ซึ่งหลายอย่างถูกนำไปใช้ใน CLR และนั่นหมุนรอบตัวเก็บขยะเป็นหลัก