.NET9 PreView6 循环优化和地址暴露
内容提要
本文介绍了.NET9 PreView6 JIT的第二个性能优化更新，包括循环和地址暴露方面的改进。循环优化根据架构选择递增或递减循环，减少指令集，提升性能。地址暴露方面减少局部变量地址暴露的可能性，避免抑制性能。
延伸解读
循环方向翻转的架构考量
文章指出，在Arm/Risc-V等架构上，递减循环可能比递增循环更具性能优势。RyuJIT现在能识别并翻转循环计数器方向，前提是不影响程序行为。这减少了指令生成，例如从递增循环的inc和cmp两条指令变为递减循环的dec和jne，虽然代码大小减少有限，但大量迭代时性能提升可能显著。
地址暴露如何抑制JIT优化
当方法中的变量地址传递给其他方法时，CLR/JIT需要额外机制确保值不被意外修改，但这会抑制一些JIT优化，导致性能下降。.NET9 PreView6通过减少局部变量地址暴露的可能性来避免这种抑制。例如，在已知参数值的情况下，JIT可以直接赋值，而不必保持地址有效性，从而简化代码并提升性能。
实际优化效果示例
文章通过一个Awaitable结构体的例子展示了地址暴露优化的效果。在x64上，优化前代码需要将值存储到栈上再读取，共21字节；优化后JIT直接返回常量2，仅需5字节。这体现了减少地址暴露后，JIT能更激进地优化，消除不必要的内存操作。
Q&A
.NET9 PreView6的主要性能优化更新包括哪些方面？
.NET9 PreView6的主要性能优化更新包括循环优化和地址暴露方面的改进。
循环优化是如何提升性能的？
循环优化通过根据架构选择递增或递减循环，减少指令集，从而提升性能。
RyuJIT如何处理循环计数器变量的方向？
RyuJIT可以识别并在不影响程序行为的情况下翻转循环计数器变量的方向，以减少指令生成。
什么是地址暴露问题，它如何影响性能？
地址暴露问题是指将方法中的变量地址传递给其他方法，可能导致性能抑制，因为需要额外功能来确保地址值不被修改。
如何减少局部变量的地址暴露？
减少局部变量地址暴露的可能性可以避免抑制JIT优化，从而提升性能。
.NET9 PreView6的优化与之前的版本有什么关系？
.NET9 PreView6的这两个优化与前一篇RyuJIT代码布局改进相辅相成，都是.NET9 PreView6的性能改进。
