.Net8顶级性能优化:类型转换
2023-11-06 17:19:51 软件 320观看
摘要1.前言.Net8通过各种骚操,把性能提升到了前所未有的高度。超越以往任何版本,也涵盖了后续版本,比如.NET9或许可能没有如此大的性能优化了。本篇来看下它其中的一个优化:类型转换的优化效果。2.示例通过类型检查的优化,优

1.前言

.Net8通过各种骚操,把性能提升到了前所未有的高度。超越以往任何版本,也涵盖了后续版本,比如.NET9或许可能没有如此大的性能优化了。本篇来看下它其中的一个优化:类型转换的优化效果。SXZ28资讯网——每日最新资讯28at.com

2.示例

通过类型检查的优化,优化掉某些情况下类型转换的时候JIT类型检查的函数。下面的代码是类型检查的典型应用。SXZ28资讯网——每日最新资讯28at.com

[HideColumns("Error", "StdDev", "Median", "RatioSD")][DisassemblyDiagnoser(maxDepth: 0)]public class Tests{  private readonly string[] _strings = new string[1];  [Benchmark]  public string Get1() => _strings[0];  [Benchmark]  public string Get2() => Volatile.Read(ref _strings[0]);}public partial class Program{   static void Main(string[] args)   {     BenchmarkSwitcher.FromAssembly(typeof(Tests).Assembly).Run(args);   }}

我们看到_strings是个私有数组,Get1函数中获取_strings数组的第一个值。所以它是直接用ldelem.ref IL执行即可SXZ28资讯网——每日最新资讯28at.com

ldelem.ref

但是Get2里面对数组元素进行了引用,所以Roslyn的指令是:SXZ28资讯网——每日最新资讯28at.com

ldelema [System.Runtime]System.String

如果ref类型的变量,被赋值为不同于这个变量的类型则会违反类型安全性。通常情况下ldelema需要进行类型检查,也就是用JIT辅助函数CORINFO_HELP_LDELEMA_REF来进行检查,以确保不会违反类型安全性。SXZ28资讯网——每日最新资讯28at.com

这个安全性的检查会极大损耗性能,.NET8的JIT进行了一个优化,思路是如果是sealed关键字标记的类型,就不会进行安全性检查,这样就会提高性能。为什么sealed不会呢?SXZ28资讯网——每日最新资讯28at.com

这其实是利用了它的一个特性,就是不会被继承。不会被继承,就不会被子类的类型所困扰,只有string一个类型,自然不会用以进行类型检查了。SXZ28资讯网——每日最新资讯28at.com

SXZ28资讯网——每日最新资讯28at.com

这是第一点优化,下面看下。SXZ28资讯网——每日最新资讯28at.com

3.第一阶优化

优化了类型安全检查,缩短了编译时间,提高了性能。来看下.Net7和.NET8的生成Get2函数的的不同点SXZ28资讯网——每日最新资讯28at.com

.Net7:SXZ28资讯网——每日最新资讯28at.com

Tests.Get2()       sub       rsp,28       mov       rcx,[rcx+8]       xor       edx,edx       mov       r8,offset MT_System.String       call      CORINFO_HELP_LDELEMA_REF       mov       rax,[rax]       add       rsp,28       ret; Total bytes of code 33

.Net7它这里有一个CORINFO_HELP_LDELEMA_REF进行安全性检查。SXZ28资讯网——每日最新资讯28at.com

.Net8:SXZ28资讯网——每日最新资讯28at.com

; Tests.Get2()       sub       rsp,28       mov       rax,[rcx+8]       cmp       dword ptr [rax+8],0       jbe       short M00_L00       mov       rax,[rax+10]       add       rsp,28       retM00_L00:       call      CORINFO_HELP_RNGCHKFAIL       int       3; Total bytes of code 29

.Net8里它没有了CORINFO_HELP_LDELEMA_REFSXZ28资讯网——每日最新资讯28at.com

因为string类型是sealed,它的原型如下:SXZ28资讯网——每日最新资讯28at.com

public sealed class String : IEnumerable<char>, IEnumerable, ICloneable, IComparable, IComparable<String?>, IConvertible, IEquatable<String?>{  //这里代码省略}

JIT会判断类型是否是sealed标志,如果是则不进行安全性检查优化。SXZ28资讯网——每日最新资讯28at.com

虽然.Net8去掉了CORINFO_HELP_LDELEMA_REF,SXZ28资讯网——每日最新资讯28at.com

但是多了范围的检查CORINFO_HELP_RNGCHKFAIL,那它这个性能如何呢?SXZ28资讯网——每日最新资讯28at.com

我们来测试下:SXZ28资讯网——每日最新资讯28at.com

dotnet run -c Release -f net7.0 --filter "*" --runtimes net7.0 net8.0

结果是:SXZ28资讯网——每日最新资讯28at.com

Method
SXZ28资讯网——每日最新资讯28at.com

RuntimeSXZ28资讯网——每日最新资讯28at.com

Mean
SXZ28资讯网——每日最新资讯28at.com

Ratio
SXZ28资讯网——每日最新资讯28at.com

Code Size
SXZ28资讯网——每日最新资讯28at.com

Get2SXZ28资讯网——每日最新资讯28at.com

.NET 7.0SXZ28资讯网——每日最新资讯28at.com

1.0537 nsSXZ28资讯网——每日最新资讯28at.com

1.00SXZ28资讯网——每日最新资讯28at.com

33 BSXZ28资讯网——每日最新资讯28at.com

Get2SXZ28资讯网——每日最新资讯28at.com

.NET 8.0SXZ28资讯网——每日最新资讯28at.com

0.2423 nsSXZ28资讯网——每日最新资讯28at.com

0.23SXZ28资讯网——每日最新资讯28at.com

29 BSXZ28资讯网——每日最新资讯28at.com

我们看到同样代码,.Net8里面比.Net7的性能提升了5倍之多。SXZ28资讯网——每日最新资讯28at.com

4.第二阶优化

承接上面,上面sealed去掉了类型检查。SXZ28资讯网——每日最新资讯28at.com

然后在类型转换的时候,一般的类型转换JIT使用的是CastHelpers.ChkCastAny来进行。SXZ28资讯网——每日最新资讯28at.com

但是.Net8里面内联了一个方法SXZ28资讯网——每日最新资讯28at.com

用以缩短CastHelpers.ChkCastAny的编译时间,提高编译的时间和程序的性能。SXZ28资讯网——每日最新资讯28at.com

using BenchmarkDotNet.Attributes;using BenchmarkDotNet.Running;using System.Runtime.CompilerServices;BenchmarkSwitcher.FromAssembly(typeof(Tests).Assembly).Run(args);[HideColumns("Error", "StdDev", "Median", "RatioSD")]public class Tests{    private readonly object _o = "hello";    [Benchmark]    public string GetString() => Cast<string>(_o);    [MethodImpl(MethodImplOptions.NoInlining)]    public T Cast<T>(object o) => (T)o;}

同样的SXZ28资讯网——每日最新资讯28at.com

dotnet run -c Release -f net7.0 --filter "*" --runtimes net7.0 net8.0

结果如下:SXZ28资讯网——每日最新资讯28at.com

Method
SXZ28资讯网——每日最新资讯28at.com

Runtime
SXZ28资讯网——每日最新资讯28at.com

Mean
SXZ28资讯网——每日最新资讯28at.com

Ratio
SXZ28资讯网——每日最新资讯28at.com

GetStringSXZ28资讯网——每日最新资讯28at.com

.NET 7.0SXZ28资讯网——每日最新资讯28at.com

3.018 nsSXZ28资讯网——每日最新资讯28at.com

1.00SXZ28资讯网——每日最新资讯28at.com

GetStringSXZ28资讯网——每日最新资讯28at.com

.NET 8.0SXZ28资讯网——每日最新资讯28at.com

1.198 nsSXZ28资讯网——每日最新资讯28at.com

0.40SXZ28资讯网——每日最新资讯28at.com

.Net8是三倍于.Net7的运行速度。去掉类型检查+类型转换的内联,大幅度的提升效率,可见.Net8的性能优化确实不容小觑。SXZ28资讯网——每日最新资讯28at.com

参考如下:SXZ28资讯网——每日最新资讯28at.com

https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-8/

最后推荐下个人的CLR/JIT交流圈,里面有多篇个人编写的高质量的原创栏目和文章。学习心得,项目经验等。带你进入.Net核心技术阶层,脱离curd工程师范畴。SXZ28资讯网——每日最新资讯28at.com

SXZ28资讯网——每日最新资讯28at.com

本文链接:http://www.28at.com/showinfo-26-17278-0.html.Net8顶级性能优化:类型转换

声明:本网页内容旨在传播知识,不代表本站观点,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。

显示全文

上一篇:Go 与数据可视化:使用 Gonum 和 Plot 库探索数据之美

下一篇:携程后台低代码平台的探究与实践

最新热点