.NET Core 2.1中的分层编译（预览）

如果您是.NET性能的粉丝，最近有很多好消息，例如.NET Core 2.1中的性能改进和宣布.NET Core 2.1，但我们还有更多的好消息。分层编译是一项重要的新特性功能，我们可以作为预览供任何人试用，从.NET Core 2.1开始。在我们测试的许多场景中，应用程序启动更快，并且在稳定状态下运行得更快。一个在.NET Core 2.1上运行的项目，以及对环境变量或项目文件进行微不足道的更改以启用它。在本文的其余部分，我们将介绍它是什么，如何使用它，以及为什么它是2.1版本的隐藏技能！

什么是分层编译？

从.NET Framework开始，代码中的每个方法通常都编译一次。但是，在决定如何进行会影响应用程序性能的编译时，需要进行权衡。例如，JIT可以进行非常积极的优化并获得很好的稳定性能，但是优化代码并不是一件容易的事情，因此您的应用程序启动速度非常慢。或者JIT可以使用非常简单的编译算法，这些算法可以快速运行，因此您的应用程序可以快速启动，但代码质量会更差，并且应用程序吞吐量会受到影响。.NET一直试图采用一种平衡的方法，在启动和稳定性能方面做得很合理，但使用单一编译意味着需要妥协。

分层编译功能通过允许运行时热交换技术对.NET进行多次编译同一个方法改变了以上前提。两套机制的分离以便我们可以选择最适合启动的技术，选择最稳定状态并且在两者上都表现出更好性能的第二种技术(分层编译)。在.NET Core 2.1中，这就是Tiered Compilation旨在为您的应用程序做的事情：

更快的应用程序启动时间 - 当应用程序启动时，它会等待一些MSIL代码到JIT。分层编译要求JIT快速生成初始编译，如果需要，牺牲代码质量优化。之后，如果频繁调用该方法，则在后台线程上生成更优化的代码，并替换初始代码以保持应用程序的稳定性能。
更快的稳定状态下的性能 - 对于典型的.NET Core应用程序，大多数框架代码将从预编译（ReadyToRun）映像加载。这对于启动非常有用，但预编译的映像具有版本控制约束和禁止某些类型优化的CPU指令约束。对于经常调用的这些镜像中的任何方法，分层编译请求JIT在后台线程上创建优化代码，以替换预编译版本。

更快？到底有多快？

我们将此作为预览版发布的部分原因是要了解它对您的应用程序的执行情况，但以下是我们对其进行测试的一些示例。虽然非常依赖于场景，但我们希望这些结果是您在类似工作场景上的典型代表，并且随着功能的成熟，结果将继续改进。基准测试是在默认配置下运行的.NET Core 2.1 RTM，并且所有数字都经过缩放，因此基准始终为1.0。在第一组中，我们有几个Tech Empower测试和MusicStore（用来专门测试的项目），这是我们常用的ASP.NET应用示例。

640?wx_fmt=png

虽然我们的一些ASP.NET基准测试得益于特别好（MvcPlaintext RPS超过60％ - 哇！），但分层编译并不特定于ASP.NET。以下是您在日常开发中可能遇到的一些示例.NET Core命令行应用程序：

640?wx_fmt=png

你的应用程序将如何运作？测量比预测要容易得多，但我们可以提供一些广泛的经验法则。

启动改进主要适用于减少管理托管代码的时间。您可以使用PerfView等工具来确定您的应用花费多少时间。在我们的测试中，jitting花费的时间通常会减少约35％。
稳定状态的改进主要适用于CPU绑定的应用程序，其中一些热代码来自.NET或ASP.NET预编译库。例如PerfView可以帮助您确定您的应用程序是这一类。

尝试一下

一个小免责声明，该功能仍然是一个预览。我们已对其进行了大量测试，但默认情况下未启用此功能，因为我们希望收集反馈并继续进行调整。打开它可能不会使你的应用程序更快，或者你可能遇到我们没有覆盖到的地方。如果遇到问题，微软随时为您提供帮助，您可以随时轻松将其禁用。如果您愿意，可以在生产中启用此功能，但我们强烈建议您事先进行测试。

有几种方式可以选择加入此功能，所有这些方法都具有相同的效果：

如果使用.NET 2.1 SDK 自行构建应用程序 - 将MSBuild属性<TieredCompilation> true </ TieredCompilation>添加到项目文件中的默认属性组。例如：

此GitHub 链接可找到以下代码

<Project Sdk="Microsoft.NET.Sdk"><PropertyGroup><OutputType>Exe</OutputType><TargetFramework>netcoreapp2.1</TargetFramework><TieredCompilation>true</TieredCompilation></PropertyGroup></Project>

如果运行已构建的应用程序，请编辑runtimeconfig.json以将System.Runtime.TieredCompilation = true添加到configProperties。例如：

  {      "runtimeOptions": {        "configProperties": {          "System.Runtime.TieredCompilation": true}},      "framework": {...}}

如果您想运行应用程序但不想修改任何文件，请设置环境变量

COMPlus_TieredCompilation=1

有关尝试和测量性能的更多详细信息，请查看分层编译演示

获得这个技术

好奇它是如何工作的？不要害怕，理解这些内部细节不是使用分层编译所必需的，如果您愿意，可以跳过本节。一目了然，该功能可分为四个不同的部分：

JIT编译器可以配置为生成不同质量的汇编代码 - 令许多人惊讶的是，到目前为止，这还不是该功能的重点。回到.NET的起始，JIT支持默认编译模式和用于调试的无优化编译模式。正常模式产生更好的代码质量并且编译需要更长时间，而“无优化”模式则相反。对于分层编译，我们创建了新的配置名称“Tier0”和“Tier1”，但这些配置生成的代码与我们一直使用的“无优化”和“正常”模式大致相同。到目前为止，大多数JIT更改都涉及在请求“Tier0”代码时使JIT生成代码更快。我们希望将来继续提高Tier0编译速度，
CodeVersionManager(代码版本管理)跟踪同一方法的不同代码编译（版本） - 最基本的是一个大内存字典，它存储应用程序中.NET方法之间的映射和不同程序集实现的列表运行时可以使用它来执行该方法。我们使用一些技巧来优化这种数据结构，但如果你想深入研究项目的这个方面，可以参考我们提供的非常好的规范。
相同方法的不同汇编代码汇编之间，在运行时状态下热更新的机制， - 当方法A调用方法B时，调用将依赖于jmp指令。通过调整运行时的jmp指令可以控制执行B的哪个实现。
决定要创建哪些代码版本以及何时在它们之间切换的策略 - 运行时始终首先创建Tier0，这是从ReadyToRun映像加载的代码，或者是使用最小化优化的代码。呼叫计数器用于确定频繁运行哪些方法，并使用计时器来避免在启动期间过早创建Tier1的工作。一旦计数器和计时器都满足，该方法就会排队，后台线程会编译Tier1版本。有关详细信息，请查看规范。

我们从哪里开始？

分层编译创造了各种可能性，我们可以继续充分利用未来的时间。既然运行时可以利用更极端的情况，那我们就有了扩展边界的动力和动力，既可以加快编译速度，又可以生成更高质量的代码。通过代码的运行时热更新，.NET可以进行更详细的分析，然后使用运行时反馈来进行更好的优化（配置文件引导优化）。这些技术可以允许代码生成器甚至超出无法访问配置文件数据的最佳静态优化器。或者还有其他选项，例如用于更好诊断的动态去优化，用于减少内存使用的可收集代码，以及用于性能检测或服务的热补丁。目前，我们最直接的目标仍然接近实际 - 确保预览中的功能运行良好，响应您的反馈，并完成工作的第一次迭代。