C# Debug构建JIT汇编中cmp+je指令的作用探究

示例代码及汇编输出 #

C# 源码 #

public sealed class C {
    public static void M() {
    }
}

Debug模式JIT汇编（含自定义注释） #

C.M()
    L0000: push ebp      /////////////////////
    L0001: mov ebp, esp  // function frame initialization
    L0003: push edi      /////////////////////
    L0004: cmp dword ptr [0x281dc19c], 0 // if (0 == ???)
    L000b: je short L0012  // then: jump to actual method body
    L000d: call 0x727a8790 // else: call ??? what ???
    L0012: nop           // the actual method body
    L0013: nop           // the actual method body
    L0014: pop edi       /////////////////////
    L0015: pop ebp       // function frame teardown/exit
    L0016: ret           /////////////////////

对应IL代码 #

.method public hidebysig static 
        void M () cil managed 
    {
        // Method begins at RVA 0x2069
        // Code size 2 (0x2)
        .maxstack 8

        IL_0000: nop
        IL_0001: ret
    }

疑问与补充信息 #

• 这段L0004至L000d的代码作用是什么？
• 被调用的函数是什么？
• 是否会终止进程？
• 为什么C# JIT会在每个方法中插入这段代码？

补充：切换至Release模式后这段代码会被移除，即使给方法添加System.Console.WriteLine(7)语句，Release模式的JIT汇编也无该cmp+je代码，且已通过密封类+静态方法排除继承相关因素。

解答 #

• 代码作用：这是Debug模式下CLR JIT插入的调试辅助检测代码，用于在调试器附加时触发调试通知逻辑，属于.NET调试基础设施的一部分。
• 被调用的函数：调用的是CLR内部的调试通知函数，对应上层托管代码的Debugger.NotifyOfCrossThreadDependency方法的底层实现，核心是向调试器传递当前方法的调试上下文信息，和代码完整性、错误检查无关。
• 是否终止进程：不会终止进程，该函数仅完成调试通知操作，执行后会回到原方法继续执行后续逻辑。
• 插入原因：Debug模式下，CLR需要为调试器提供完整的运行时追踪能力，这段分支代码用于检测调试器是否附加，若已附加则触发调试通知，帮助调试器处理跨线程调试等场景；而Release模式下，为了追求极致性能，所有非必要的调试辅助代码都会被JIT优化移除。

内容的提问来源于stack exchange，提问作者juwens