.NET9异常(CLR)原理(顶阶技术)

💡 原文中文,约8500字,阅读约需21分钟。
📝

内容提要

本文介绍了.NET9中异常处理模块的重写和优化。文章通过分析代码和调用链,解释了异常处理的原理和内存模型。通过系统函数抛出异常,然后通过RtlUnwind函数查找异常处理模块,最后通过RtlRestoreContext函数恢复到异常之后的代码。

🔎

延伸解读

异常处理重写的背景与回退机制

.NET9为提升性能重写了异常处理模块,但该模块在Preview3阶段尚未充分测试。若在极端情况下遇到问题,可通过DOTNET_LegacyExceptionHandling开关临时回退到旧有异常处理模块。该开关是临时性的,未来版本会移除,因此仅作为过渡方案,不应长期依赖。

异常处理调用链的关键环节

异常处理涉及从托管层到非托管层的多次跳转:IL_Throw调用RaiseException,经KiUserExceptionDispatch、RtlDispatchException等进入ProcessCLRException进行首次分析;随后RtlUnwind触发第二次ProcessCLRException,最终执行catch块。理解这一链条有助于定位异常处理中的性能瓶颈或行为差异。

异常内存模型与地址计算

异常处理程序地址通过函数头地址加上HandlerStartPC偏移获得。JIT编译时将catch块相对于方法头的偏移存入EE_ILEXCEPTION_CLAUSE结构的HandlerStartPC字段。ProcessCLRException利用该信息定位处理程序,并通过SetIP和ResumeExecution恢复执行,这解释了异常后代码如何继续运行。

RtlUnwind与恢复执行的细节

RtlUnwind扫描堆栈以查找合适的异常处理模块,其TargetFrame参数指定处理后的栈地址,而实际恢复的指令指针由CLR内部的dwResumePC决定,而非TargetIp。处理完成后,CLR通过SetIP设置RIP,再调用ResumeExecution将上下文切换至目标地址,从而跳转到异常之后的代码。

❓

Q&A

.NET9的异常处理模块有什么变化?

.NET9对异常处理模块进行了重写,以追求更高的性能。

如何在.NET9中回退到旧的异常处理模块?

可以通过设置DOTNET_LegacyExceptionHandling开关来回退到旧有的异常处理模块。

异常处理的基本原理是什么?

异常处理的基本原理是通过JIT编译将代码分为两段,第一段抛出异常,第二段处理异常。

在.NET9中,异常处理的调用链是怎样的?

异常处理的调用链包括从托管层到非托管层的多个系统函数调用,如IL_Throw、RaiseException等。

RtlUnwind函数在异常处理中的作用是什么?

RtlUnwind函数用于扫描堆栈并找到合适的异常处理模块进行处理。

CLR是如何恢复到异常处理后的代码的?

CLR通过SetIP和ResumeExecution函数实现异常处理后的代码恢复。

🏷️

标签

➡️

继续阅读