.NET 10 中的新增功能系列文章1——运行时中的新增功能

引言

随着 .NET 10 预览版6的发布，微软在运行时层面带来了一系列重要的性能改进和新功能。这些改进主要集中在JIT编译器优化、硬件指令集支持、内存管理等方面，旨在进一步提升应用程序的执行效率和资源利用率。本文将详细解析这些运行时增强功能，包括JIT编译器改进、AVX10.2支持、堆栈分配优化、NativeAOT类型预初始化器改进以及Arm64写入屏障改进等核心内容。

正文内容

JIT 编译器改进

.NET 10 中的JIT编译器引入了多项重要优化，显著提升了代码生成质量和执行效率。

结构参数代码生成优化

JIT编译器现在能够更好地处理共享寄存器的值存储。当需要将结构成员打包到单个寄存器中时，编译器可以直接将优化成员存储到共享寄存器，而无需先存储到内存再加载。以Point结构为例：

struct Point { public long X; public long Y; public Point(long x, long y) { X = x; Y = y; } } [MethodImpl(MethodImplOptions.NoInlining)] private static void Consume(Point p) { Console.WriteLine(p.X + p.Y); } private static void Main() { Point p = new Point(10, 20); Consume(p); }

在x64架构上，生成的汇编代码直接通过寄存器传递Point成员：

Program:Main() (FullOpts): mov edi, 10 mov esi, 20 tail.jmp [Program:Consume(Program+Point)]

当Point成员改为int类型时，编译器也能直接在共享寄存器中打包参数：

Program:Main() (FullOpts): mov rdi, 0x140000000A tail.jmp [Program:Consume(Program+Point)]

这种优化消除了不必要的内存操作，显著提升了性能。

循环反转优化

JIT编译器现在采用基于图形的循环识别实现，能够更准确地处理自然循环。它将while循环转换为do-while形式：

if (loopCondition) { do { // loop body } while (loopCondition); }

这种转换改善了代码布局，为后续的循环优化（如循环展开和克隆）创造了更好的条件。

数组接口方法反虚拟化

.NET 10扩展了JIT去虚拟化能力，现在可以处理数组接口方法。这使得以下两种代码形式能够获得相似的优化效果：

// 直接数组访问 static int Sum(int[] array) { int sum = 0; for (int i = 0; i < array.Length; i++) { sum += array[i]; } return sum; } // 通过IEnumerable接口访问 static int Sum(int[] array) { int sum = 0; IEnumerable<int> temp = array; foreach (var num in temp) { sum += num; } return sum; }

JIT现在能够识别数组接口实现，消除虚拟调用开销，并应用内联和堆栈分配等优化。

AVX10.2 支持

.NET 10为x64处理器引入了AVX10.2指令集支持。新硬件指令可通过System.Runtime.Intrinsics.X86.Avx10v2类访问。不过目前相关硬件尚未普及，因此该功能默认处于禁用状态。AVX10.2扩展了向量处理能力，为数值计算密集型应用提供了更强大的硬件加速支持。

堆栈分配

堆栈分配是减少GC压力的重要优化手段，.NET 10在此方面有多项改进。

值类型数组堆栈分配

对于小型固定大小的值类型数组，如果其生命周期不超过父方法，JIT现在会在堆栈上分配它们：

static void Sum() { int[] numbers = {1, 2, 3}; int sum = 0; for (int i = 0; i < numbers.Length; i++) { sum += numbers[i]; } Console.WriteLine(sum); }

编译器能识别numbers数组的固定大小和有限生命周期，直接在堆栈上分配。

引用类型数组堆栈分配

这一优化现在也扩展到引用类型的小型数组：

static void Print() { string[] words = {"Hello", "World!"}; foreach (var str in words) { Console.WriteLine(str); } }

当确定数组不会逃逸方法范围时，JIT会选择堆栈分配而非堆分配。

转义分析增强

.NET 10改进了转义分析，现在能正确处理结构字段引用：

public class Program { struct GCStruct { public int[] arr; } public static void Main() { int[] x = new int[10]; GCStruct y = new GCStruct() { arr = x }; return y.arr[0]; } }

只要结构体本身不逃逸，其字段引用的对象也不再被标记为逃逸，这使得更多对象可以堆栈分配。

委托堆栈分配

对于不会逃逸当前范围的委托，JIT现在也能进行堆栈分配：

public static int Main() { int local = 1; int[] arr = new int[100]; var func = (int x) => x + local; int sum = 0; foreach (int num in arr) { sum += func(num); } return sum; }

生成的汇编代码显示Func对象被分配在堆栈上，减少了堆分配开销。