.Net 7内容汇总(3)--反射优化
反射这玩意,一直以来都是慢的代名词。一说XXX系统大量的反射,好多人第一印象就是会慢。
但是呢,我们又不得不使用反射来做一些事情,毕竟这玩意可以说啥都能干了对吧。
It’s immensely powerful, providing the ability to query all of the metadata for code in your process and for arbitrary assemblies you might encounter, to invoke arbitrary functionality dynamically, and even to emit dynamically-generated IL at run-time.
当然.Net也提供了一些性能更高的方法。
比如SG,这玩意是性能最好的方案,它在编译的时候生成代码,运行的时候一点反射没有,同时也完美支持Native AOT。但是呢,它还不是真正的动态生成,只能说是开发时动态。所以更适合一些框架程序使用来提高执行效率。
还有比如Emit,这玩意是动态编织IL代码的,效率也比反射要快。但是呢,写起来极度复杂,10个人有8个都挠头。
所以,.Net 7里反射还是非常重要的一部分,也针对它做了一些比较牛逼的优化。
我们知道,给
MethodBase使用CreateDelegate<T>来创建一个委托,然后调用这个委托是最佳方法。但是呢,我们编译的时候经常是不知道这个方法签名的,也就是没法生成这个委托。部分库已经使用Emit来生成代码提高速度了。但是我们普通用户显然区写一堆Emit是不现实的。.Net 7优化后,会把我们的反射代码优化为DynamicMethod形式的委托,然后调用。我们来看一下数据
private MethodInfo _method;
[GlobalSetup]
public void Setup() => _method = typeof(Program).GetMethod("MyMethod", BindingFlags.NonPublic | BindingFlags.Static);
[Benchmark]
public void MethodInfoInvoke() => _method.Invoke(null, null);
private static void MyMethod() { }
|
Method |
Runtime |
Mean |
Ratio |
|---|---|---|---|
|
MethodInfoInvoke |
.NET 6.0 |
43.846 ns |
1.00 |
|
MethodInfoInvoke |
.NET 7.0 |
8.078 ns |
0.18 |
我们可以看到,这玩意速度提升了好几倍。
反射还有一个用处就是对类型、方法、属性等等这些东西进行获取。一些其他的改进也会影响到这一部分。比如.Net最近一直在做的把原生类型转换为托管类型的工作,就产生了这么一个东西。
[Benchmark]
public Type GetUnderlyingType() => Enum.GetUnderlyingType(typeof(DayOfWeek));
|
Method |
Runtime |
Mean |
Ratio |
|---|---|---|---|
|
GetUnderlyingType |
.NET 6.0 |
27.413 ns |
1.00 |
|
GetUnderlyingType |
.NET 7.0 |
5.115 ns |
0.19 |
是的,原生类型转换为托管类型,不但没有拖慢反射,反而让它快了好几倍。
同样的例子,有大量的AssemblyName的内容从原生转向了CoreLib,所以Activator.CreateInstance也跟着变快了。
private readonly string _assemblyName = typeof(MyClass).Assembly.FullName;
private readonly string _typeName = typeof(MyClass).FullName;
public class MyClass { }
[Benchmark]
public object CreateInstance() => Activator.CreateInstance(_assemblyName, _typeName);
|
Method |
Runtime |
Mean |
Ratio |
|---|---|---|---|
|
CreateInstance |
.NET 6.0 |
3.827 us |
1.00 |
|
CreateInstance |
.NET 7.0 |
2.276 us |
0.60 |
这玩意虽然没有那么夸张,但是提升可以说也是不小了。
RuntimeType.CreateInstanceImpl现在使用Type.EmptyTypes代替了new Type[0],所以节省了一部分开销。
[Benchmark]
public void CreateInstance() => Activator.CreateInstance(typeof(MyClass), BindingFlags.NonPublic | BindingFlags.Instance, null, Array.Empty<object>(), null);
internal class MyClass
{
internal MyClass() { }
}
|
Method |
Runtime |
Mean |
Ratio |
Allocated |
Alloc Ratio |
|---|---|---|---|---|---|
|
CreateInstance |
.NET 6.0 |
167.8 ns |
1.00 |
320 B |
1.00 |
|
CreateInstance |
.NET 7.0 |
143.4 ns |
0.85 |
200 B |
0.62 |
我们再回到AssemblyName来,AssemblyName里把AssemblyName.FullName的实现由StringBuilder改为了ArrayPool<char>,所以:
private AssemblyName[] _names = AppDomain.CurrentDomain.GetAssemblies().Select(a => new AssemblyName(a.FullName)).ToArray();
[Benchmark]
public int Names()
{
int sum = 0;
foreach (AssemblyName name in _names)
{
sum += name.FullName.Length;
}
return sum;
}
|
Method |
Runtime |
Mean |
Ratio |
Allocated |
Alloc Ratio |
|---|---|---|---|---|---|
|
Names |
.NET 6.0 |
3.423 us |
1.00 |
9.14 KB |
1.00 |
|
Names |
.NET 7.0 |
2.010 us |
0.59 |
2.43 KB |
0.27 |
另外由于JIT编译器又进化了,现在可以在编译过程中计算结果,所以:
[Benchmark]
public bool IsByRefLike() => typeof(ReadOnlySpan<char>).IsByRefLike;
|
Method |
Runtime |
Mean |
Ratio |
Code Size |
|---|---|---|---|---|
|
IsByRefLike |
.NET 6.0 |
2.1322 ns |
1.00 |
31 B |
|
IsByRefLike |
.NET 7.0 |
0.0000 ns |
0.00 |
6B |
是的,你没看错,时间是0,因为这里在运行的时候已经不需要计算了,直接就是个赋值操作,所以这个时间就。。。
我们来看一下生成的汇编
; Program.IsByRefLike()
mov eax,1
ret
; Total bytes of code 6
这就是反射优化的主要内容。反正就高喊666,知道反射又快了,用起来心里负担又小了就搞定了^ ^。
.Net 7内容汇总(3)--反射优化的更多相关文章
- 反射-优化及程序集等(用委托的方式调用需要反射调用的方法(或者属性、字段),而不去使用Invoke方法)
反射-优化及程序集等(用委托的方式调用需要反射调用的方法(或者属性.字段),而不去使用Invoke方法) 创建Delegate (1).Delegate.CreateDelegate(Type, ...
- Android开发环境内容汇总
Android开发环境将分为SDK相关内容.Eclipse ADT相关内容.模拟器AVD相关内容.调试器DDMS相关内容.日志LogCat相关内容.连接驱动ADB相关内容.内存泄露检测工具MAT相关 ...
- Android开发环境——模拟器AVD相关内容汇总
Android开发环境将分为SDK相关内容.Eclipse ADT相关内容.模拟器AVD相关内容.调试器DDMS相关内容.日志LogCat相关内容.连接驱动ADB相关内容.内存泄露检测工具MAT相关 ...
- Android开发环境——Eclipse ADT相关内容汇总
Android开发环境将分为SDK相关内容.Eclipse ADT相关内容.模拟器AVD相关内容.调试器DDMS相关内容.日志LogCat相关内容.连接驱动ADB相关内容.内存泄露检测工具MAT相关 ...
- Mysql查询优化汇总 order by优化例子,group by优化例子,limit优化例子,优化建议
Mysql查询优化汇总 order by优化例子,group by优化例子,limit优化例子,优化建议 索引 索引是一种存储引擎快速查询记录的一种数据结构. 注意 MYSQL一次查询只能使用一个索引 ...
- 在xadmin中自定义内容的变量及优化汇总
在网上找了很多有关xadmin的内容,发现都不太全 ,找到一篇总结不错的 http://www.lybbn.cn/data/bbsdatas.php?lybbs=62 1.list_display 指 ...
- 使用Java反射优化多个方法调用
有段时间没来写博客了,心里一直念叨空了来,今天有时间来记录一篇.前段时间领导提出优化部分系统模块,根据业务要求系统中有很多产品,产品下面有N个指标,一个指标就对应一个方法,所以系统代码中就是这样一个情 ...
- 快速傅里叶变换(FFT)相关内容汇总
(原稿:https://paste.ubuntu.com/p/yJNsn3xPt8/) 快速傅里叶变换,是求两个多项式卷积的算法,其时间复杂度为$O(n\log n)$,优于普通卷积求法,且根据有关证 ...
- 用简单的反射优化代码(动态web项目)
在动态web项目中,没有使用框架时,只是简单的jsp访问servlet实现增删改查, 无论是哪个方法都需要经过Servlet中的doGet()方法或doPost()方法,我们可以在链接中附带参数进行区 ...
随机推荐
- NOI / 2.1基本算法之枚举 1749:数字方格
描述: 如上图,有3个方格,每个方格里面都有一个整数a1,a2,a3.已知0 <= a1, a2, a3 <= n,而且a1 + a2是2的倍数,a2 + a3是3的倍数, a1 + a2 ...
- BZOJ1874 「一本通 6.7 练习 1」【一本通提高博弈论】取石子游戏
「一本通 6.7 练习 1」取石子游戏 题目描述 小H和小Z正在玩一个取石子游戏. 取石子游戏的规则是这样的,每个人每次可以从一堆石子中取出若干个石子,每次取石子的个数有限制,谁不能取石子时就会输掉游 ...
- 图论板子总结 / Graph Summary
Template List: 最短路问题:Dijkstra(朴素版.堆优化版),Bellman-Ford,SPFA,Floyd 最小生成树:Prim.Kruskal 二分图问题:染色法.匈牙利算法 朴 ...
- SkiaSharp 之 WPF 自绘 弹动小球(案例版)
没想到粉丝对界面效果这么喜欢,接下来就尽量多来点特效,当然,特效也算是动画的一部分了.WPF里面已经包含了很多动画特效的功能支持了,但是,还是得自己实现,我这边就来个自绘实现的. 弹动小球 弹动小球是 ...
- Jmix- 业务系统高效开发的新方式
企业在数字化转型的过程中,都面临将现有的业务流程进行"软件化"的过程.然而,在我们的印象中,通常会觉得针对业务系统的软件开发不是特别高效.这背后有很多原因,从开发角度看,有一个主要 ...
- MVCC多版本并发控制的理解
前置知识 当前读与快照读 当前读 什么是当前读:读取的是最新的数据,不会读到老数据. 何时触发:update.insert.delete.select lock in share mode.selec ...
- 为什么企业不愿意升级ERP系统
前段时间看到一篇文章讲企业为何不愿意升级内部系统的文章,觉得有意思,也想聊聊为何大部分企业不愿意升级ERP的事情. 老东家用的ERP是QAD系统,92年版本,没有图形界面,用户都是通过NetTerm等 ...
- Geometrics类定义
首先我的结构图是这样的,当然你自己喜欢怎么改都行.这个不影响,只要包含到正确的头文件就行. geometrics是几何类的基础,所有几何的碰撞都是从这个类继承下来的.书中也说的很清楚了,大家可以阅读对 ...
- [C#]使用 AltCover 获得代码覆盖率 - E2E Test 和 Unit Test
背景 在 CI/CD 流程当中,测试是 CI 中很重要的部分.跟开发人员关系最大的就是单元测试,单元测试编写完成之后,我们可以使用 IDE 或者 dot cover 等工具获得单元测试对于业务代码的覆 ...
- Luogu3398 仓鼠找sugar (LCA)
第一发lg[]没开够RE了,下了数据本地一直停止运行,还以为是dfs死了,绝望一交,A了... 判断\(x\)是否在路径\(s-t\)上,只需满足 \(dep_{x} >= dep_{LCA(s ...