博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
.NET Core中的去虚
阅读量:7086 次
发布时间:2019-06-28

本文共 1339 字,大约阅读时间需要 4 分钟。

在.NET最初被设计出来时,方法在默认情况下必须是非虚方法。这有几个原因,其中一个是,非虚方法通常比虚方法快很多。除了虚函数表查询本身的成本之外,虚函数通常还无法内联。由于.NET的发展趋势是倾向于使用大量的小方法,所以非内联方法的函数调用开销最终会超过方法本身的开销。我们在文章“”中介绍了这种内联的部分效果。

\\

在过去的几年中,我们习惯的C#一直在变化。以前,大接口并不常见,但现在,可以完全匹配所有类的“影子接口”都非常常见了。这始于WCF,它鼓励这种做法,虽然不是必须的。随着DI框架性能的提升,在项目中见到面向所有非DTO类的影子接口已经很平常了。

\\

方法去虚有多种方式,本质上讲,就是在特定的情况下把它们视为非虚方法。Java HotSpot就以具备这项特性而闻名。在Java中,所有方法在默认情况下都是虚方法,因此,在Java的历史中,解决这种性能问题的需求出现得早很多。

\\

在今年三月份,.NET Core悄悄地对“去虚(Devirtualization)”发起了挑战。特性处理了三种基本的场景:

\\
  • 在sealed类上调用虚方法; \\
  • 在sealed方法上调用虚方法; \\
  • 在明确知道类型的情况下调用虚方法(例如,紧挨着构造函数)。 \

也有一些基础的支持,但有限制。例如:

\\
\

如果方法是final的,而类不明确或者不是final的,则不允许接口去虚,因为派生类在实现接口时还可以重写final方法。

\
\\

需要注意的是,仅仅将类标记为“sealed”是不足以从去虚接口受益的。如果你正在使用DI框架隐藏运行时使用了哪个具体类,那么JIT编译器可能无法确定使用了什么类型。

\\

这在Java中之所以不是问题,是因为Java去虚技术的工作原理完全不同。它是根据运行时指标试探性地去虚接口调用,对最常调用的方法重新即时编译。其中还包含了专门的防卫语句,以防具体的类型修改和去虚需要解除。

\\

展望

\\

.NET Core 2.0提供了上述特性,但还有许多工作要做。下面是上的部分重点工作。

\\

众所周知,在涉及接口调用时,结构很糟糕,因为它们不仅是虚的,而且还需要对值进行装箱。因此,有几项工作是为了尽可能地减少虚调用和装箱。其中一个重要的部分是,这是一个高级JIT概念,超出了本报道的范围。

\\

JIT本身的类型跟踪改进。显然,在许多情况下,JIT在一个地方知道具体的类型,但无法将信息传递下去,因此,JIT不得不采用更通用的机器代码。

\\

试探性去虚也在考虑范围。根据概述,该特性不会和Java里的一样。更准确地说,它会根据JIT过程中已知的覆写清单做决定。(据推测,这会用在接口只有单个类实现的情况下,这在上文提到的DI场景下经常发生。)

\\

其中有一种特殊情况,就是EqualityComparer.Default。由于在绝大多数情况下,IEqualityComparer调用都会指向默认实现(视情况不同,要么是IEquatable,要么是Object.Equals),所以他们觉得,如果不减慢使用非默认IEqualityComparer的情况,那么提升使用默认实现场景的执行速度是值得的。

\\

查看英文原文

转载地址:http://pywql.baihongyu.com/

你可能感兴趣的文章
poj 2041 Unreliable Message 字符串处理
查看>>
有人3见解
查看>>
[python]decimal常用操作和需要注意的地方
查看>>
Ubuntu 网卡信息2
查看>>
android 没有main函数,怎么找到程序执行入口呢?以及activity主要生命周期的方法说明...
查看>>
java中处理字符编码(网页与数据库)(转)
查看>>
[leetcode]Path Sum II
查看>>
BZOJ 1806 IOI2007 Miners 矿工配餐 动态规划
查看>>
参考例子,学习Func<T, TResult>委托
查看>>
NTFS For Mac 如何简单操作
查看>>
django 生成复杂的 PDF 文件(数据较多时)
查看>>
CodeForces 300C 最短路
查看>>
睡觉被憋醒
查看>>
Java 7 Fork/Join 框架
查看>>
c++中冒号(:)和双冒号(::)的用法
查看>>
dubbo工作原理
查看>>
驱动开发利器Microsoft Windows Driver Kit 7.1.0下载
查看>>
[MongoDB]索引
查看>>
maven_项目的依赖、聚合、继承
查看>>
一个C++类的注释:
查看>>