jit 编译是按需延迟编译:方法首次调用时才将 il 编译为本地代码,支持线程安全、分层编译(tier 0/tier 1)、运行时优化,并可通过环境变量或工具(如 complus_jitdisasm、dotnet-dump)调试分析。

CLR 加载 IL 后不会立刻编译,而是延迟到方法首次调用时才触发 JIT
这是 JIT 的核心机制:不是整个程序启动时一并编译,而是一个方法一个方法地“按需编译”。mscorlib.dll 或你自己的 MyApp.dll 被加载进进程后,其中的 IL(中间语言)只是被验证和元数据解析,真正生成本地机器码发生在第一次执行某个方法时。
比如调用 Console.WriteLine(),CLR 会检查该方法是否已被编译;若没有,就触发 JIT 编译器对这个方法的 IL 块做一次翻译,生成 x64 或 ARM64 指令,并缓存到内存中。后续再调用它就直接跳转到已编译的本地代码,跳过编译开销。
- JIT 编译是线程安全的,多个线程同时首次调用同一方法,只会有一个线程真正执行编译,其余等待
- 编译结果只在当前 AppDomain(.NET Framework)或 AssemblyLoadContext(.NET Core/5+)内有效,跨上下文不共享
- 方法内联、循环展开等优化由 JIT 在运行时决定,取决于当前 CPU 架构和运行时配置(如
DOTNET_JIT_OPTIMIZATIONTier)
不同 .NET 版本的 JIT 引擎差异明显,特别是 Tiered Compilation 的引入
.NET Core 3.0 起默认启用分层编译(Tiered Compilation),它让 JIT 不再“一次编译、终身使用”,而是分两级:
- Tier 0:快速生成低优化度代码(几乎无内联、无循环优化),目标是降低启动延迟;方法被调用几次后触发重编译
- Tier 1:完整优化编译(启用所有 JIT 优化策略),替换掉 Tier 0 的代码;触发条件通常是方法被热路径执行(如循环体、高频 API)
你可以用环境变量临时关闭它来观察行为差异:DOTNET_TieredCompilation=0。关闭后所有方法都走 Tier 1 流程,启动慢但稳态性能略高;开启后冷启动快,且长期运行下热点方法仍能获得最佳性能。
注意:.NET Native(UWP)和 AOT 编译(如 dotnet publish -r win-x64 --aot)完全绕过 JIT,IL 在构建时就被编译为原生代码,此时 System.Runtime.CompilerServices.JitHelpers 等类型不可用。
JIT 编译失败时常见错误是 MethodImplOptions.AggressiveOptimization 或泛型约束引发的验证失败
不是所有 IL 都能被 JIT 接受。典型失败场景包括:
本文档主要讲述的是OpenMP并行程序设计;OpenMP是一个编译器指令和库函数的集合,主要是为共享式存储计算机上的并行程序设计使用的。目前支持OpenMP的语言主要有Fortran,C/C++。 OpenMP在并行执行程序时,采用的是fork/join式并行模式,共享存储式并行程序就是使用fork/join式并行的。希望本文档会给有需要的朋友带来帮助;感兴趣的朋友可以过来看看
- 在
AggressiveOptimization方法里用了不支持的 IL 指令(如某些未验证的指针操作),JIT 会拒绝编译并抛出NotSupportedException - 泛型方法含复杂约束(如
where T : new(), IComparable<t>, IDisposable</t>)且实例化时类型不满足全部约束,可能在 JIT 时才发现——错误信息常是InvalidProgramException或VerificationException(.NET Framework) - 调试模式下启用了
DebuggableAttribute.DebuggingModes.DisableOptimizations,可能导致某些优化路径失效,间接影响 JIT 行为
这类问题往往只在 Release 模式、特定 CPU 架构(如 ARM64)、或 Tier 1 编译阶段暴露,开发阶段不易复现。建议用 dotnet trace 或 PerfView 抓取 JIT 日志(启用 Microsoft-Windows-DotNETRuntime/JIT/MethodJittedVerbose 事件)定位具体哪个方法卡住。
想看 JIT 实际干了什么?用 COMPLUS_JitDisasm 或 dotnet-dump 查看生成的汇编
最直接的方式是让 JIT 输出汇编指令。例如,在 Windows 上设置环境变量后运行程序:
set COMPLUS_JitDisasm=MyNamespace.MyClass::MyMethod dotnet run
控制台就会打印出该方法经 JIT 编译后的 x64 汇编(含寄存器分配、指令选择细节)。注意它只对首次调用生效,且仅限当前进程。
更通用的做法是用 dotnet-dump 分析运行中进程:
- 先
dotnet-dump collect -p <pid></pid>保存内存快照 - 再
dotnet-dump analyze <dumpfile></dumpfile>,然后输入clrstack -a找到目标线程和方法地址 - 最后用
dumpil <methodaddr></methodaddr>看 IL,dumpmt -md <methodaddr></methodaddr>查 JIT 状态,u <nativeaddr></nativeaddr>反汇编本地代码
这些输出里能看到 JIT 如何把 for (int i = 0; i 优化成无边界检查的循环,或如何把 <code>if (obj is string s) 编译成单条 test + je 指令——但前提是没被内联进调用方。
真正难调试的永远不是“JIT 没工作”,而是“它工作得太聪明”:比如把一个看似复杂的判断折叠成常量,或因内联导致堆栈无法映射回原始 C# 行号。这时候得关掉内联([MethodImpl(MethodImplOptions.NoInlining)])再对比。








