【翻譯】.NET 5中的性能改進

• 2020 年 7 月 15 日
• 筆記
• .NET, .NET 5, .NET Core, Asp.Net Core, ASP.NET Core 5.0, AspNet Core

【翻譯】.NET 5中的性能改進

在.NET Core之前的版本中，其實已經在博客中介紹了在該版本中發現的重大性能改進。 從.NET Core 2.0到.NET Core 2.1到.NET Core 3.0的每一篇文章，發現
談論越來越多的東西。 然而有趣的是，每次都想知道下一次是否有足夠的意義的改進以保證再發表一篇文章。 .NET 5已經實現了許多性能改進，儘管直到今年秋天才計劃發佈最終版本，並且到那時很有可能會有更多的改進，但是還要強調一下，現在已提供的改進。 在這篇文章中，重點介紹約250個PR，這些請求為整個.NET 5的性能提升做出了巨大貢獻。

安裝

Benchmark.NET現在是衡量.NET代碼性能的規範工具，可輕鬆分析代碼段的吞吐量和分配。 因此，本文中大部分示例都是使用使用該工具編寫的微基準來衡量的。首先創建了一個目錄，然後使用dotnet工具對其進行了擴展：

mkdir Benchmarks
cd Benchmarks
dotnet new console

生成的Benchmarks.csproj的內容擴展為如下所示：

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
    <ServerGarbageCollection>true</ServerGarbageCollection>
    <TargetFrameworks>net5.0;netcoreapp3.1;net48</TargetFrameworks>
  </PropertyGroup>

  <ItemGroup>
    <PackageReference Include="benchmarkdotnet" Version="0.12.1" />
  </ItemGroup>

  <ItemGroup Condition=" '$(TargetFramework)' == 'net48' ">
    <PackageReference Include="System.Memory" Version="4.5.4" />
    <PackageReference Include="System.Text.Json" Version="4.7.2" />
    <Reference Include="System.Net.Http" />
  </ItemGroup>

</Project>

這樣，就可以針對.NET Framework 4.8，.NET Core 3.1和.NET 5執行基準測試（目前已為Preview 8安裝了每晚生成的版本）。.csproj還引用Benchmark.NET NuGet軟件包（其最新版本為12.1版），以便能夠使用其功能，然後引用其他幾個庫和軟件包，特別是為了支持能夠在其上運行測試 .NET Framework 4.8。
然後，將生成的Program.cs文件更新到同一文件夾中，如下所示：

using BenchmarkDotNet.Attributes;
using BenchmarkDotNet.Diagnosers;
using BenchmarkDotNet.Running;
using System;
using System.Buffers.Text;
using System.Collections;
using System.Collections.Concurrent;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.IO;
using System.Linq;
using System.Net;
using System.Net.Http;
using System.Net.Security;
using System.Net.Sockets;
using System.Runtime.CompilerServices;
using System.Threading;
using System.Threading.Tasks;
using System.Text;
using System.Text.Json;
using System.Text.RegularExpressions;

[MemoryDiagnoser]
public class Program
{
    static void Main(string[] args) => BenchmarkSwitcher.FromAssemblies(new[] { typeof(Program).Assembly }).Run(args);

    // BENCHMARKS GO HERE
}

對於每次測試，每個示例中顯示的基準代碼複製/粘貼將顯示"// BENCHMARKS GO HERE"的位置。
為了運行基準測試，然後做：

dotnet run -c Release -f net48 --runtimes net48 netcoreapp31 netcoreapp50 --filter ** --join

這告訴Benchmark.NET：

• 使用.NET Framework 4.8 來建立基準。
• 針對.NET Framework 4.8，.NET Core 3.1和.NET 5分別運行基準測試。
• 在程序集中包含所有基準測試（不要過濾掉任何基準測試）。
• 將所有基準測試的輸出結果合併在一起，並在運行結束時顯示（而不是貫穿整個過程）。

在某些情況下，針對特定目標的API並不存在，我只是省略了命令行的這一部分。

最後，請注意以下幾點：

• 從運行時和核心庫的角度來看，它與幾個月前發佈的前身相比沒有多少改進。 但是，還進行了一些改進，在某些情況下，目前已經將.NET 5的改進移植回了.NET Core 3.1，在這些改進中，這些更改被認為具有足夠的影響力，可以保證可以添加到長期支持中（LTS）版本。 因此，我在這裡所做的所有比較都是針對最新的.NET Core 3.1服務版本（3.1.5），而不是針對.NET Core 3.0。
• 由於比較是關於.NET 5與.NET Core 3.1的，而且.NET Core 3.1不包括mono運行時，因此不討論對mono所做的改進，也沒有專門針對「Blazor」。 因此，當指的是「runtime」時，指的是coreclr，即使從.NET 5開始，它也包含多個運行時，並且所有這些都已得到改進。
• 大多數示例都在Windows上運行，因為也希望能夠與.NET Framework 4.8進行比較。 但是，除非另有說明，否則所有顯示的示例均適用於Windows，Linux和macOS。
• 需要注意的是: 這裡的所有測量數據都是在的台式機上進行的，測量結果可能會有所不同。微基準測試對許多因素都非常敏感，包括處理器數量、處理器架構、內存和緩存速度等等。但是，一般來說，我關注的是性能改進，並包含了通常能夠承受此類差異的示例。

讓我們開始吧…

GC

對於所有對.NET和性能感興趣的人來說，垃圾收集通常是他們最關心的。在減少分配上花費了大量的精力，不是因為分配行為本身特別昂貴，而是因為通過垃圾收集器(GC)清理這些分配之後的後續成本。然而，無論減少分配需要做多少工作，絕大多數工作負載都會導致這種情況發生，因此，重要的是要不斷提高GC能夠完成的任務和速度。

這個版本在改進GC方面做了很多工作。例如， dotnet/coreclr#25986 為GC的「mark」階段實現了一種形式的工作竊取。.NET GC是一個「tracing」收集器，這意味着(在非常高的級別上)當它運行時，它從一組「roots」(已知的固有可訪問的位置，比如靜態字段)開始，從一個對象遍歷到另一個對象，將每個對象「mark」為可訪問;在所有這些遍歷之後，任何沒有標記的對象都是不可訪問的，可以收集。此標記代表了執行集合所花費的大部分時間，並且此PR通過更好地平衡集合中涉及的每個線程執行的工作來改進標記性能。當使用「Server GC」運行時，每個核都有一個線程參與收集，當線程完成分配給它們的標記工作時，它們現在能夠從其他線程「steal」 未完成的工作，以幫助更快地完成整個收集。

另一個例子是，dotnet/runtime#35896 「ephemeral」段的解壓進行了優化(gen0和gen1被稱為 「ephemeral」，因為它們是預期只持續很短時間的對象)。在段的最後一個活動對象之後，將內存頁返回給操作系統。那麼GC的問題就變成了，這種解解應該在什麼時候發生，以及在任何時候應該解解多少，因為在不久的將來，它可能需要為額外的分配分配額外的頁面。

或者以dotnet/runtime#32795,為例，它通過減少在GC靜態掃描中涉及的鎖爭用，提高了在具有較高核心計數的機器上的GC可伸縮性。或者dotnet/runtime#37894，它避免了代價高昂的內存重置(本質上是告訴操作系統相關的內存不再感興趣)，除非GC看到它處於低內存的情況。或者dotnet/runtime#37159，它(雖然還沒有合併，預計將用於.NET5 )構建在@damageboy的工作之上，用於向量化GC中使用的排序。或者 dotnet/coreclr#27729，它減少了GC掛起線程所花費的時間，這對於它獲得一個穩定的視圖，從而準確地確定正在使用的線程是必要的。

這只是改進GC本身所做的部分更改，但最後一點給我帶來了一個特別吸引我的話題，因為它涉及到近年來我們在.NET中所做的許多工作。在這個版本中，我們繼續，甚至加快了從C/C++移植coreclr運行時中的本地實現，以取代System.Private.Corelib中的普通c#託管代碼。此舉有大量的好處,包括讓我們更容易共享一個實現跨多個運行時(如coreclr和mono),甚至對我們來說更容易進化API表面積,如通過重用相同的邏輯來處理數組和跨越。但讓一些人吃驚的是，這些好處還包括多方面的性能。其中一種方法回溯到使用託管運行時的最初動機:安全性。默認情況下，用c#編寫的代碼是「safe」，因為運行時確保所有內存訪問都檢查了邊界，只有通過代碼中可見的顯式操作(例如使用unsafe關鍵字，Marshal類，unsafe類等)，開發者才能刪除這種驗證。結果,作為一個開源項目的維護人員,我們的工作的航運安全系統在很大程度上使當貢獻託管代碼的形式:雖然這樣的代碼可以當然包含錯誤,可能會通過代碼審查和自動化測試,我們可以晚上睡得更好知道這些bug引入安全問題的幾率大大降低。這反過來意味着我們更有可能接受託管代碼的改進，並且速度更快，貢獻者提供的更快，我們幫助驗證的更快。我們還發現，當使用c#而不是C時，有更多的貢獻者對探索性能改進感興趣，而且更多的人以更快的速度進行實驗，從而獲得更好的性能。

然而，我們從移植中看到了更直接的性能改進。託管代碼調用運行時所需的開銷相對較小，但是如果調用頻率很高，那麼開銷就會增加。考慮dotnet/coreclr#27700，它將原始類型數組排序的實現從coreclr的本地代碼移到了Corelib的c#中。除了這些代碼之外，它還為新的公共api提供了對跨度進行排序的支持，它還降低了對較小數組進行排序的成本，因為排序的成本主要來自於從託管代碼的轉換。我們可以在一個小的基準測試中看到這一點，它只是使用數組。對包含10個元素的int[]， double[]和string[]數組進行排序:

public class DoubleSorting : Sorting<double> { protected override double GetNext() => _random.Next(); }
public class Int32Sorting : Sorting<int> { protected override int GetNext() => _random.Next(); }
public class StringSorting : Sorting<string>
{
    protected override string GetNext()
    {
        var dest = new char[_random.Next(1, 5)];
        for (int i = 0; i < dest.Length; i++) dest[i] = (char)('a' + _random.Next(26));
        return new string(dest);
    }
}

public abstract class Sorting<T>
{
    protected Random _random;
    private T[] _orig, _array;

    [Params(10)]
    public int Size { get; set; }

    protected abstract T GetNext();

    [GlobalSetup]
    public void Setup()
    {
        _random = new Random(42);
        _orig = Enumerable.Range(0, Size).Select(_ => GetNext()).ToArray();
        _array = (T[])_orig.Clone();
        Array.Sort(_array);
    }

    [Benchmark]
    public void Random()
    {
        _orig.AsSpan().CopyTo(_array);
        Array.Sort(_array);
    }
}

這本身就是這次遷移的一個很好的好處，因為我們在.NET5中通過dotnet/runtime#37630 添加了System.Half，一個新的原始16位浮點，並且在託管代碼中，這個排序實現的優化幾乎立即應用到它，而以前的本地實現需要大量的額外工作，因為沒有c++標準類型的一半。但是，這裡還有一個更有影響的性能優勢，這讓我們回到我開始討論的地方:GC。

GC的一個有趣指標是「pause time」，這實際上意味着GC必須暫停運行時多長時間才能執行其工作。更長的暫停時間對延遲有直接的影響，而延遲是所有工作負載方式的關鍵指標。正如前面提到的,GC可能需要暫停線程為了得到一個一致的世界觀,並確保它能安全地移動對象,但是如果一個線程正在執行C/c++代碼在運行時,GC可能需要等到調用完成之前暫停的線程。因此，我們在託管代碼而不是本機代碼中做的工作越多，GC暫停時間就越好。我們可以使用相同的數組。排序的例子，看看這個。考慮一下這個程序:

using System;
using System.Diagnostics;
using System.Threading;

class Program
{
    public static void Main()
    {
        new Thread(() =>
        {
            var a = new int[20];
            while (true) Array.Sort(a);
        }) { IsBackground = true }.Start();

        var sw = new Stopwatch();
        while (true)
        {
            sw.Restart();
            for (int i = 0; i < 10; i++)
            {
                GC.Collect();
                Thread.Sleep(15);
            }
            Console.WriteLine(sw.Elapsed.TotalSeconds);
        }
    }
}

這是讓一個線程在一個緊密循環中不斷地對一個小數組排序，而在主線程上，它執行10次GCs，每次GCs之間大約有15毫秒。我們預計這個循環會花費150毫秒多一點的時間。但當我在.NET Core 3.1上運行時，我得到的秒數是這樣的

6.6419048
5.5663149
5.7430339
6.032052
7.8892468

在這裡，GC很難中斷執行排序的線程，導致GC暫停時間遠遠高於預期。幸運的是，當我在 .NET5 上運行這個時，我得到了這樣的數字:

0.159311
0.159453
0.1594669
0.1593328
0.1586566

這正是我們預測的結果。通過移動數組。將實現排序到託管代碼中，這樣運行時就可以在需要時更容易地掛起實現，我們使GC能夠更好地完成其工作。

當然，這不僅限於Array.Sort。 一堆PR進行了這樣的移植，例如dotnet/runtime#32722將stdelemref和ldelemaref JIT helper 移動到C＃，dotnet/runtime#32353 將unbox helpers的一部分移動到C＃（並使用適當的GC輪詢位置來檢測其餘部分） GC在其餘位置適當地暫停），dotnet/coreclr#27603 / dotnet/coreclr#27634 / dotnet/coreclr#27123 / dotnet/coreclr#27776 移動更多的數組實現，如Array.Clear和Array.Copy到C＃， dotnet/coreclr#27216 將更多Buffer移至C＃，而dotnet/coreclr#27792將Enum.CompareTo移至C＃。 這些更改中的一些然後啟用了後續增益，例如 dotnet/runtime#32342和dotnet/runtime#35733，它們利用Buffer.Memmove的改進來在各種字符串和數組方法中獲得額外的收益。

關於這組更改的最後一個想法是，需要注意的另一件有趣的事情是，在一個版本中所做的微優化是如何基於後來被證明無效的假設的，並且當使用這種微優化時，需要準備並願意適應。在我的.NET Core 3.0博客中，我提到了像dotnet/coreclr#21756這樣的「peanut butter」式的改變，它改變了很多使用數組的調用站點。複製(源，目標，長度)，而不是使用數組。複製(source, sourceOffset, destination, destinationOffset, length)，因為前者獲取源數組和目標數組的下限的開銷是可測量的。但是通過前面提到的將數組處理代碼移動到c#的一系列更改，更簡單的重載的開銷消失了，使其成為這些操作更簡單、更快的選擇。這樣，.NET5 PRs dotnet/coreclr#27641和dotnet/corefx#42343切換了所有這些呼叫站點，更多地回到使用更簡單的過載。dotnet/runtime#36304是另一個取消之前優化的例子，因為更改使它們過時或實際上有害。你總是能夠傳遞一個字符到字符串。分裂,如version.Split (‘ . ‘)。然而，問題是，這個綁定到Split的唯一重載是Split(params char[] separator)，這意味着每次這樣的調用都會導致c#編譯器生成一個char[]分配。為了解決這個問題，以前的版本添加了緩存，提前分配數組並將它們存儲到靜態中，然後可以被分割調用使用，以避免每個調用都使用char[]。既然.NET中有一個Split(char separator, StringSplitOptions options = StringSplitOptions. none)重載，我們就不再需要數組了。
作為最後一個示例，我展示了將代碼移出運行時並轉移到託管代碼中如何幫助GC暫停，但是當然還有其他方式可以使運行時中剩餘的代碼對此有所幫助。dotnet/runtime#36179通過確保運行時處於代碼爭搶模式下（例如獲取「Watson」存儲桶參數（基本上是一組用於唯一標識此特定異常和調用堆棧以用於報告目的的數據）），從而減少了由於異常處理而導致的GC暫停。 。暫停。

JIT

.NET5 也是即時(JIT)編譯器的一個令人興奮的版本，該版本中包含了各種各樣的改進。與任何編譯器一樣，對JIT的改進可以產生廣泛的影響。通常，單獨的更改對單獨的代碼段的影響很小，但是這樣的更改會被它們應用的地方的數量放大。
可以向JIT添加的優化的數量幾乎是無限的，如果給JIT無限的時間來運行這種優化，JIT就可以為任何給定的場景創建最優代碼。但是JIT的時間並不是無限的。JIT的「即時」特性意味着它在應用程序運行時執行編譯:當調用尚未編譯的方法時，JIT需要按需為其提供彙編代碼。這意味着在編譯完成之前線程不能向前推進，這反過來意味着JIT需要在應用什麼優化以及如何選擇使用有限的時間預算方面有策略。各種技術用於給JIT更多的時間,比如使用「提前」(AOT)編譯應用程序的一些部分做儘可能多的編譯工作前儘可能執行應用程序(例如,AOT編譯核心庫都使用一個叫「ReadyToRun」的技術,你可能會聽到稱為「R2R」甚至「crossgen」,是產生這些圖像的工具),或使用「tiered compilation」,它允許JIT在最初編譯一個應用了從少到少優化的方法，因此速度非常快，只有在它被認為有價值的時候(即該方法被重複使用的時候)，才會花更多的時間使用更多優化來重新編譯它。然而，更普遍的情況是，參與JIT的開發人員只是選擇使用分配的時間預算進行優化，根據開發人員編寫的代碼和他們使用的代碼模式，這些優化被證明是有價值的。這意味着，隨着.NET的發展並獲得新的功能、新的語言特性和新的庫特性，JIT也會隨着適合於編寫的較新的代碼風格的優化而發展。
一個很好的例子是@benaadams的dotnet/runtime#32538。 Span 一直滲透到.NET堆棧的所有層，因為從事運行時，核心庫，ASP.NET Core的開發人員以及其他人在編寫安全有效的代碼（也統一了字符串處理）時認識到了它的強大功能 ，託管數組，本機分配的內存和其他形式的數據。 類似地，值類型（結構）被越來越普遍地用作通過堆棧分配避免對象分配開銷的一種方式。 但是，對此類類型的嚴重依賴也給運行時帶來了更多麻煩。 coreclr運行時使用「precise」 garbage collector，這意味着GC能夠100％準確地跟蹤哪些值引用託管對象，哪些值不引用託管對象； 這樣做有好處，但也有代價（相反，mono運行時使用「conservative」垃圾收集器，這具有一些性能上的好處，但也意味着它可以解釋堆棧上的任意值，而該值恰好與 被管理對象的地址作為對該對象的實時引用）。 這樣的代價之一是，JIT需要通過確保在GC注意之前將任何可以解釋為對象引用的局部都清零來幫助GC。 否則，GC可能最終會在尚未設置的本地中看到一個垃圾值，並假定它引用的是有效對象，這時可能會發生「bad things」。 參考當地人越多，需要進行的清理越多。 如果您只清理一些當地人，那可能不會引起注意。 但是隨着數量的增加，清除這些本地對象所花費的時間可能加起來，尤其是在非常熱的代碼路徑中使用的一種小方法中。 這種情況在跨度和結構中變得更加普遍，在這種情況下，編碼模式通常會導致需要為零的更多引用（Span 包含引用）。 前面提到的PR通過更新JIT生成的序號塊的代碼來解決此問題，這些序號塊使用xmm寄存器而不是rep stosd指令來執行該清零操作。 有效地，它對歸零進行矢量化處理。 您可以通過以下基準測試看到此影響：

[Benchmark]
public int Zeroing()
{
    ReadOnlySpan<char> s1 = "hello world";
    ReadOnlySpan<char> s2 = Nop(s1);
    ReadOnlySpan<char> s3 = Nop(s2);
    ReadOnlySpan<char> s4 = Nop(s3);
    ReadOnlySpan<char> s5 = Nop(s4);
    ReadOnlySpan<char> s6 = Nop(s5);
    ReadOnlySpan<char> s7 = Nop(s6);
    ReadOnlySpan<char> s8 = Nop(s7);
    ReadOnlySpan<char> s9 = Nop(s8);
    ReadOnlySpan<char> s10 = Nop(s9);
    return s1.Length + s2.Length + s3.Length + s4.Length + s5.Length + s6.Length + s7.Length + s8.Length + s9.Length + s10.Length;
}

[MethodImpl(MethodImplOptions.NoInlining)]
private static ReadOnlySpan<char> Nop(ReadOnlySpan<char> span) => default;

在我的機器上，我得到如下結果:

請注意，這種零實際上需要在比我提到的更多的情況下。特別是，默認情況下，c#規範要求在執行開發人員的代碼之前，將所有本地變量初始化為默認值。你可以通過這樣一個例子來了解這一點:

using System;
using System.Runtime.CompilerServices;
using System.Threading;

unsafe class Program
{
    static void Main()
    {
        while (true)
        {
            Example();
            Thread.Sleep(1);
        }
    }

    [MethodImpl(MethodImplOptions.NoInlining)]
    static void Example()
    {
        Guid g;
        Console.WriteLine(*&g);
    }
}

運行它，您應該只看到所有0輸出的guid。這是因為c#編譯器在編譯的示例方法的IL中發出一個.locals init標誌，而.locals init告訴JIT它需要將所有的局部變量歸零，而不僅僅是那些包含引用的局部變量。然而，在.NET 5中，運行時中有一個新屬性(dotnet/runtime#454):

namespace System.Runtime.CompilerServices
{
    [AttributeUsage(AttributeTargets.Module | AttributeTargets.Class | AttributeTargets.Struct | AttributeTargets.Constructor | AttributeTargets.Method | AttributeTargets.Property | AttributeTargets.Event | AttributeTargets.Interface, Inherited = false)]
    public sealed class SkipLocalsInitAttribute : Attribute { }
}

c#編譯器可以識別這個屬性，它用來告訴編譯器在其他情況下不發出.locals init。如果我們對前面的示例稍加修改，就可以將屬性添加到整個模塊中：

using System;
using System.Runtime.CompilerServices;
using System.Threading;

[module: SkipLocalsInit]

unsafe class Program
{
    static void Main()
    {
        while (true)
        {
            Example();
            Thread.Sleep(1);
        }
    }

    [MethodImpl(MethodImplOptions.NoInlining)]
    static void Example()
    {
        Guid g;
        Console.WriteLine(*&g);
    }
}

現在應該會看到不同的結果，特別是很可能會看到非零的guid。在dotnet/runtime#37541中，.NET5 中的核心庫現在都使用這個屬性來禁用.locals init(在以前的版本中，.locals init在構建核心庫時通過編譯後的一個步驟刪除)。請注意，c#編譯器只允許在不安全的上下文中使用SkipLocalsInit，因為它很容易導致未經過適當驗證的代碼損壞(因此，如果/當您應用它時，請三思)。

除了使零的速度更快，也有改變，以消除零完全。例如，dotnet/runtime#31960, dotnet/runtime#36918, dotnet/runtime#37786,和dotnet/runtime#38314 都有助於消除零，當JIT可以證明它是重複的。
這樣的零是託管代碼的一個例子，運行時需要它來保證其模型和上面語言的需求。另一種此類稅收是邊界檢查。使用託管代碼的最大優勢之一是，在默認情況下，整個類的潛在安全漏洞都變得無關緊要。運行時確保數組、字符串和span的索引被檢查，這意味着運行時注入檢查以確保被請求的索引在被索引的數據的範圍內(即greather大於或等於0，小於數據的長度)。這裡有一個簡單的例子:

public static char Get(string s, int i) => s[i];

為了保證這段代碼的安全，運行時需要生成一個檢查，檢查i是否在字符串s的範圍內，這是JIT通過如下程序集完成的:

; Program.Get(System.String, Int32)
       sub       rsp,28
       cmp       edx,[rcx+8]
       jae       short M01_L00
       movsxd    rax,edx
       movzx     eax,word ptr [rcx+rax*2+0C]
       add       rsp,28
       ret
M01_L00:
       call      CORINFO_HELP_RNGCHKFAIL
       int       3
; Total bytes of code 28

這個程序集是通過Benchmark的一個方便特性生成的。將[DisassemblyDiagnoser]添加到包含基準測試的類中，它就會吐出被分解的彙編代碼。我們可以看到,大會將字符串(通過rcx寄存器)和加載字符串的長度(8個位元組存儲到對象,因此,[rcx + 8]),與我經過比較,edx登記,如果與一個無符號的比較(無符號,這樣任何負環繞大於長度)我是長度大於或等於,跳到一個輔助COREINFO_HELP_RNGCHKFAIL拋出一個異常。只有幾條指令，但是某些類型的代碼可能會花費大量的循環索引，因此，當JIT可以消除儘可能多的不必要的邊界檢查時，這是很有幫助的。
JIT已經能夠在各種情況下刪除邊界檢查。例如，當你寫循環:

int[] arr = ...;
for (int i = 0; i < arr.Length; i++)
    Use(arr[i]);

JIT可以證明我永遠不會超出數組的邊界，因此它可以省略它將生成的邊界檢查。在.NET5 中，它可以在更多的地方刪除邊界檢查。例如，考慮這個函數，它將一個整數的位元組作為字符寫入一個span:

private static bool TryToHex(int value, Span<char> span)
{
    if ((uint)span.Length <= 7)
        return false;

    ReadOnlySpan<byte> map = new byte[] { (byte)'0', (byte)'1', (byte)'2', (byte)'3', (byte)'4', (byte)'5', (byte)'6', (byte)'7', (byte)'8', (byte)'9', (byte)'A', (byte)'B', (byte)'C', (byte)'D', (byte)'E', (byte)'F' }; ;
    span[0] = (char)map[(value >> 28) & 0xF];
    span[1] = (char)map[(value >> 24) & 0xF];
    span[2] = (char)map[(value >> 20) & 0xF];
    span[3] = (char)map[(value >> 16) & 0xF];
    span[4] = (char)map[(value >> 12) & 0xF];
    span[5] = (char)map[(value >> 8) & 0xF];
    span[6] = (char)map[(value >> 4) & 0xF];
    span[7] = (char)map[value & 0xF];
    return true;
}

private char[] _buffer = new char[100];

[Benchmark]
public bool BoundsChecking() => TryToHex(int.MaxValue, _buffer);

首先，在這個例子中，值得注意的是我們依賴於c#編譯器的優化。注意:

ReadOnlySpan<byte> map = new byte[] { (byte)'0', (byte)'1', (byte)'2', (byte)'3', (byte)'4', (byte)'5', (byte)'6', (byte)'7', (byte)'8', (byte)'9', (byte)'A', (byte)'B', (byte)'C', (byte)'D', (byte)'E', (byte)'F' };

這看起來非常昂貴，就像我們在每次調用TryToHex時都要分配一個位元組數組。事實上，它並不是這樣的，它實際上比我們做的更好:

private static readonly byte[] s_map = new byte[] { (byte)'0', (byte)'1', (byte)'2', (byte)'3', (byte)'4', (byte)'5', (byte)'6', (byte)'7', (byte)'8', (byte)'9', (byte)'A', (byte)'B', (byte)'C', (byte)'D', (byte)'E', (byte)'F' };
...
ReadOnlySpan<byte> map = s_map;

C#編譯器可以識別直接分配給ReadOnlySpan的新位元組數組的模式(它也可以識別sbyte和bool，但由於位元組關係，沒有比位元組大的)。因為數組的性質被span完全隱藏了，C#編譯器通過將位元組實際存儲到程序集的數據部分而發出這些位元組，而span只是通過將靜態數據和長度的指針包裝起來而創建的:

IL_000c: ldsflda valuetype '<PrivateImplementationDetails>'/'__StaticArrayInitTypeSize=16' '<PrivateImplementationDetails>'::'2125B2C332B1113AAE9BFC5E9F7E3B4C91D828CB942C2DF1EEB02502ECCAE9E9'
IL_0011: ldc.i4.s 16
IL_0013: newobj instance void valuetype [System.Runtime]System.ReadOnlySpan'1<uint8>::.ctor(void*, int32)

由於ldc.i4，這對於本次JIT討論很重要。s16在上面。這就是IL加載16的長度來創建跨度，JIT可以看到這一點。它知道跨度的長度是16，這意味着如果它可以證明訪問總是大於或等於0且小於16的值，它就不需要對訪問進行邊界檢查。dotnet/runtime#1644 就是這樣做的，它可以識別像array[index % const]這樣的模式，並在const小於或等於長度時省略邊界檢查。在前面的TryToHex示例中,JIT可以看到地圖跨長度16,和它可以看到所有的索引到完成& 0 xf,意義最終將所有值在範圍內,因此它可以消除所有的邊界檢查地圖。結合的事實可能已經看到,沒有邊界檢查需要寫進跨度(因為它可以看到前面長度檢查的方法保護所有索引到跨度),和整個方法是在.NET bounds-check-free 5。在我的機器上，這個基準測試的結果如下:

注意.NET5的運行速度不僅比.NET Core 3.1快15%，我們還可以看到它的彙編代碼大小小了22%(額外的「Code Size」一欄來自於我在benchmark類中添加了[DisassemblyDiagnoser])。
另一個很好的邊界檢查移除來自dotnet/runtime#36263中的@nathan-moore。我提到過，JIT已經能夠刪除非常常見的從0迭代到數組、字符串或span長度的模式的邊界檢查，但是在此基礎上還有一些比較常見的變化，但以前沒有認識到。例如，考慮這個微基準測試，它調用一個方法來檢測一段整數是否被排序:

private int[] _array = Enumerable.Range(0, 1000).ToArray();

[Benchmark]
public bool IsSorted() => IsSorted(_array);

private static bool IsSorted(ReadOnlySpan<int> span)
{
    for (int i = 0; i < span.Length - 1; i++)
        if (span[i] > span[i + 1])
            return false;

    return true;
}

這種與以前識別的模式的微小變化足以防止JIT忽略邊界檢查。現在不是了.NET5在我的機器上可以快20%的執行:

JIT確保對某個錯誤類別進行檢查的另一種情況是空檢查。JIT與運行時協同完成這一任務，JIT確保有適當的指令來引發硬件異常，然後與運行時一起將這些錯誤轉換為.NET異常(這裡))。但有時指令只用於null檢查，而不是完成其他必要的功能，而且只要需要的null檢查是由於某些指令發生的，不必要的重複指令可以被刪除。考慮這段代碼:

private (int i, int j) _value;

[Benchmark]
public int NullCheck() => _value.j++;

作為一個可運行的基準測試，它所做的工作太少，無法用基準測試進行準確的度量.NET，但這是查看生成的彙編代碼的好方法。在.NET Core 3.1中，此方法產生如下assembly:

; Program.NullCheck()
       nop       dword ptr [rax+rax]
       cmp       [rcx],ecx
       add       rcx,8
       add       rcx,4
       mov       eax,[rcx]
       lea       edx,[rax+1]
       mov       [rcx],edx
       ret
; Total bytes of code 23

cmp [rcx]，ecx指令在計算j的地址時執行null檢查，然後mov eax，[rcx]指令執行另一個null檢查，作為取消引用j的位置的一部分。因此，第一個null檢查實際上是不必要的，因為該指令沒有提供任何其他好處。所以，多虧了像dotnet/runtime#1735和dotnet/runtime#32641這樣的PRs，這樣的重複被JIT比以前更多地識別，對於.NET 5，我們現在得到了:

; Program.NullCheck()
       add       rcx,0C
       mov       eax,[rcx]
       lea       edx,[rax+1]
       mov       [rcx],edx
       ret
; Total bytes of code 12

協方差是JIT需要注入檢查以確保開發人員不會意外地破壞類型或內存安全性的另一種情況。考慮一下代碼

class A { }
class B { }
object[] arr = ...;
arr[0] = new A();

這個代碼有效嗎?視情況而定。.NET中的數組是「協變」的，這意味着我可以傳遞一個數組派生類型[]作為BaseType[]，其中派生類型派生自BaseType。這意味着在本例中，arr可以被構造為新A[1]或新對象[1]或新B[1]。這段代碼應該在前兩個中運行良好，但如果arr實際上是一個B[]，試圖存儲一個實例到其中必須失敗;否則，使用數組作為B[]的代碼可能嘗試使用B[0]作為B，事情可能很快就會變得很糟糕。因此，運行時需要通過協方差檢查來防止這種情況發生，這實際上意味着當引用類型實例存儲到數組中時，運行時需要檢查所分配的類型實際上與數組的具體類型兼容。使用dotnet/runtime#189, JIT現在能夠消除更多的協方差檢查，特別是在數組的元素類型是密封的情況下，比如string。因此，像這樣的微基準現在運行得更快了:

private string[] _array = new string[1000];

[Benchmark]
public void CovariantChecking()
{
    string[] array = _array;
    for (int i = 0; i < array.Length; i++)
        array[i] = "default";
}

與此相關的是類型檢查。我之前提到過Span解決了很多問題，但也引入了新的模式，從而推動了系統其他領域的改進;對於Span本身的實現也是這樣。 Span 構造函數做協方差檢查，要求T[]實際上是T[]而不是U[]，其中U源自T，例如:

using System;

class Program
{
    static void Main() => new Span<A>(new B[42]);
}

class A { }
class B : A { }

將導致異常:

System.ArrayTypeMismatchException: Attempted to access an element as a type incompatible with the array

該異常源於對Span 的構造函數的檢查：

if (!typeof(T).IsValueType && array.GetType() != typeof(T[]))
    ThrowHelper.ThrowArrayTypeMismatchException();

PR dotnet/runtime#32790就是這樣優化數組的.GetType()！= typeof(T [])檢查何時密封T，而dotnet/runtime#1157識別typeof(T).IsValueType模式並將其替換為常量 值（PR dotnet/runtime#1195對於typeof(T1).IsAssignableFrom(typeof(T2))進行了相同的操作）。 這樣做的最終結果是極大地改善了微基準，例如：

class A { }
sealed class B : A { }

private B[] _array = new B[42];

[Benchmark]
public int Ctor() => new Span<B>(_array).Length;

我得到的結果如下:

當查看生成的程序集時，差異的解釋就很明顯了，即使不是完全精通程序集代碼。以下是[DisassemblyDiagnoser]在.NET Core 3.1上生成的內容:

; Program.Ctor()
       push      rdi
       push      rsi
       sub       rsp,28
       mov       rsi,[rcx+8]
       test      rsi,rsi
       jne       short M00_L00
       xor       eax,eax
       jmp       short M00_L01
M00_L00:
       mov       rcx,rsi
       call      System.Object.GetType()
       mov       rdi,rax
       mov       rcx,7FFE4B2D18AA
       call      CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
       cmp       rdi,rax
       jne       short M00_L02
       mov       eax,[rsi+8]
M00_L01:
       add       rsp,28
       pop       rsi
       pop       rdi
       ret
M00_L02:
       call      System.ThrowHelper.ThrowArrayTypeMismatchException()
       int       3
; Total bytes of code 66

下面是.NET5的內容:

; Program.Ctor()
       mov       rax,[rcx+8]
       test      rax,rax
       jne       short M00_L00
       xor       eax,eax
       jmp       short M00_L01
M00_L00:
       mov       eax,[rax+8]
M00_L01:
       ret
; Total bytes of code 17

另一個例子是，在前面的GC討論中，我提到了將本地運行時代碼移植到c#代碼中所帶來的一些好處。有一點我之前沒有提到，但現在將會提到，那就是它導致了我們對系統進行了其他改進，解決了移植的關鍵阻滯劑，但也改善了許多其他情況。一個很好的例子是dotnet/runtime#38229。當我們第一次將本機數組排序實現移動到managed時，我們無意中導致了浮點值的回歸，這個回歸被@nietras 發現，隨後在dotnet/runtime#37941中修復。回歸是由於本機實現使用一個特殊的優化,我們失蹤的管理端口(浮點數組,將所有NaN值數組的開始,後續的比較操作可以忽略NaN)的可能性,我們成功了。然而,問題是這個的方式表達並沒有導致大量的代碼重複:本機實現模板,使用和管理實現使用泛型,但限制與泛型等,內聯 helpers介紹,以避免大量的代碼重複導致non-inlineable在每個比較採用那種方法調用。PR dotnet/runtime#38229通過允許JIT在同一類型內嵌共享泛型代碼解決了這個問題。考慮一下這個微基準測試:

private C c1 = new C() { Value = 1 }, c2 = new C() { Value = 2 }, c3 = new C() { Value = 3 };

[Benchmark]
public int Compare() => Comparer<C>.Smallest(c1, c2, c3);

class Comparer<T> where T : IComparable<T>
{
    public static int Smallest(T t1, T t2, T t3) =>
        Compare(t1, t2) <= 0 ?
            (Compare(t1, t3) <= 0 ? 0 : 2) :
            (Compare(t2, t3) <= 0 ? 1 : 2);

    [MethodImpl(MethodImplOptions.AggressiveInlining)]
    private static int Compare(T t1, T t2) => t1.CompareTo(t2);
}

class C : IComparable<C>
{
    public int Value;
    public int CompareTo(C other) => other is null ? 1 : Value.CompareTo(other.Value);
}

最小的方法比較提供的三個值並返回最小值的索引。它是泛型類型上的一個方法，它調用同一類型上的另一個方法，這個方法反過來調用泛型類型參數實例上的方法。由於基準使用C作為泛型類型，而且C是引用類型，所以JIT不會專門為C專門化此方法的代碼，而是使用它生成的用於所有引用類型的「shared」實現。為了讓Compare方法隨後調用到CompareTo的正確接口實現，共享泛型實現使用了一個從泛型類型映射到正確目標的字典。在. net的早期版本中，包含那些通用字典查找的方法是不可行的，這意味着這個最小的方法不能內聯它所做的三個比較調用，即使Compare被歸為methodimploptions .侵略化的內聯。前面提到的PR消除了這個限制，在這個例子中產生了一個非常可測量的加速(並使數組排序回歸修復可行):

這裡提到的大多數改進都集中在吞吐量上，JIT產生的代碼執行得更快，而更快的代碼通常(儘管不總是)更小。從事JIT工作的人們實際上非常關注代碼大小，在許多情況下，將其作為判斷更改是否有益的主要指標。更小的代碼並不總是更快的代碼(可以是相同大小的指令，但開銷不同)，但從高層次上來說，這是一個合理的度量，更小的代碼確實有直接的好處，比如對指令緩存的影響更小，需要加載的代碼更少，等等。在某些情況下，更改完全集中在減少代碼大小上，比如在出現不必要的重複的情況下。考慮一下這個簡單的基準:

private int _offset = 0;

[Benchmark]
public int Throw helpers()
{
    var arr = new int[10];
    var s0 = new Span<int>(arr, _offset, 1);
    var s1 = new Span<int>(arr, _offset + 1, 1);
    var s2 = new Span<int>(arr, _offset + 2, 1);
    var s3 = new Span<int>(arr, _offset + 3, 1);
    var s4 = new Span<int>(arr, _offset + 4, 1);
    var s5 = new Span<int>(arr, _offset + 5, 1);
    return s0[0] + s1[0] + s2[0] + s3[0] + s4[0] + s5[0];
}

Span構造函數參數驗證,,T是一個值類型時,結果有兩個叫網站ThrowHelper類上的方法,一個扔一個失敗的null檢查時拋出的輸入數組和一個偏移量和計數的範圍(像ThrowArgumentNullException ThrowHelper包含non-inlinable方法,其中包含實際的扔,避免了相關代碼大小在每個調用網站;JIT目前還不能「outlining」(與「inlining」相反)，因此需要在重要的情況下手工完成)。在上面的示例中，我們創建了6個Span，這意味着對Span構造函數的6次調用，所有這些調用都將內聯。JIT數組為空,所以它可以消除零檢查和ThrowArgumentNullException內聯代碼,但是它不知道是否偏移量和計算範圍內,因此它需要保留ThrowHelper範圍檢查和調用站點。ThrowArgumentOutOfRangeException方法。在.NET Core 3.1中，這個Throw helpers方法生成了如下代碼:

M00_L00:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3
M00_L01:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3
M00_L02:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3
M00_L03:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3
M00_L04:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3
M00_L05:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3

在.NET 5中，感謝dotnet/coreclr#27113, JIT能夠識別這種重複，而不是所有的6個呼叫站點，它將最終合併成一個:

M00_L00:
       call      System.ThrowHelper.ThrowArgumentOutOfRangeException()
       int       3

所有失敗的檢查都跳到這個共享位置，而不是每個都有自己的副本

這些只是.NET 5中對JIT進行的眾多改進中的一部分。還有許多其他改進。dotnet/runtime#32368導致JIT將數組的長度視為無符號，這使得JIT能夠對在長度上執行的某些數學運算（例如除法）使用更好的指令。 dotnet/runtime#25458 使JIT可以對某些無符號整數運算使用更快的基於0的比較。 當開發人員實際編寫> = 1時，使用等於！= 0的值。dotnet/runtime#1378允許JIT將「 constantString」 .Length識別為常量值。 dotnet/runtime#26740 通過刪除nop填充來減小ReadyToRun圖像的大小。 dotnet/runtime#330234使用加法而不是乘法來優化當x為浮點數或雙精度數時執行x * 2時生成的指令。dotnet/runtime#27060改進了為Math.FusedMultiplyAdd內部函數生成的代碼。 dotnet/runtime#27384通過使用比以前更好的籬笆指令使ARM64上的易失性操作便宜，並且dotnet/runtime#38179在ARM64上執行窺視孔優化以刪除大量冗餘mov指令。 等等。

JIT中還有一些默認禁用的重要更改，目的是獲得關於它們的真實反饋，並能夠在默認情況下post-啟用它們。凈5。例如，dotnet/runtime#32969提供了「On Stack Replacement」(OSR)的初始實現。我在前面提到了分層編譯，它使JIT能夠首先為一個方法生成優化最少的代碼，然後當該方法被證明是重要的時，用更多的優化重新編譯該方法。這允許代碼運行得更快，並且只有在運行時才升級有效的方法，從而實現更快的啟動時間。但是，分層編譯依賴於替換實現的能力，下次調用它時，將調用新的實現。但是長時間運行的方法呢?對於包含循環(或者，更具體地說，向後分支)的方法，分層編譯在默認情況下是禁用的，因為它們可能會運行很長時間，以至於無法及時使用替換。OSR允許方法在執行代碼時被更新，而它們是「在堆棧上」的;PR中包含的設計文檔中有很多細節(也與分層編譯有關，dotnet/runtime#1457改進了調用計數機制，分層編譯通過這種機制決定哪些方法應該重新編譯以及何時重新編譯)。您可以通過將COMPlus_TC_QuickJitForLoops和COMPlus_TC_OnStackReplacement環境變量設置為1來試驗OSR。另一個例子是，dotnet/runtime#1180 改進了try塊內代碼的生成代碼質量，使JIT能夠在寄存器中保存以前不能保存的值。您可以通過將COMPlus_EnableEHWriteThr環境變量設置為1來進行試驗。

還有一堆等待拉請求JIT尚未合併,但很可能在.NET 5發佈(除此之外，我預計還有更多在.NET 5發佈之前還沒有發佈的內容)。例如，dotnet/runtime#32716允許JIT替換一些分支比較，如a == 42 ?3: 2無分支實現，當硬件無法正確預測將採用哪個分支時，可以幫助提高性能。或dotnet/runtime#37226，它允許JIT採用像「hello」[0]這樣的模式並將其替換為h;雖然開發人員通常不編寫這樣的代碼，但在涉及內聯時，這可以提供幫助，通過將常量字符串傳遞給內聯的方法，並將其索引到常量位置(通常在長度檢查之後，由於dotnet/runtime#1378，長度檢查也可以成為常量)。或dotnet/runtime#1224，它改進了Bmi2的代碼生成。MultiplyNoFlags內在。或者dotnet/runtime#37836，它將轉換位操作。將PopCount轉換為一個內因，使JIT能夠識別何時使用常量參數調用它，並將整個操作替換為一個預先計算的常量。或dotnet/runtime#37254，它刪除使用const字符串時發出的空檢查。或者來自@damageboy的dotnet/runtime#32000 ，它優化了雙重否定。

Intrinsics

在.NET Core 3.0中，超過1000種新的硬件內置方法被添加並被JIT識別，從而使c#代碼能夠直接針對指令集，如SSE4和AVX2(docs)。然後，在核心庫中的一組api中使用了這些工具。但是，intrinsic僅限於x86/x64架構。在.NET 5中，我們投入了大量的精力來增加數千個組件，特別是針對ARM64，這要感謝眾多貢獻者，特別是來自Arm Holdings的@TamarChristinaArm。與對應的x86/x64一樣，這些內含物在核心庫功能中得到了很好的利用。例如，BitOperations.PopCount()方法之前被優化為使用x86 POPCNT內在的，對於.NET 5,  dotnet/runtime#35636 增強了它，使它也能夠使用ARM VCNT或等價的ARM64 CNT。類似地，dotnet/runtime#34486修改了位操作。LeadingZeroCount, TrailingZeroCount和Log2利用相應的instrincs。在更高的級別上，來自@Gnbrkm41的dotnet/runtime#33749增強了位數組中的多個方法，以使用ARM64內含物來配合之前添加的對SSE2和AVX2的支持。為了確保Vector api在ARM64上也能很好地執行，我們做了很多工作，比如dotnet/runtime#33749和dotnet/runtime#36156。

除ARM64之外，還進行了其他工作以向量化更多操作。 例如，@Gnbrkm41還提交了dotnet/runtime#31993，該文件利用x64上的ROUNDPS / ROUNDPD和ARM64上的FRINPT / FRINTM來改進為新Vector.Ceiling和Vector.Floor方法生成的代碼。 BitOperations（這是一種相對低級的類型，針對大多數操作以最合適的硬件內部函數的1：1包裝器的形式實現），不僅在@saucecontrol 的dotnet/runtime#35650中得到了改進，而且在Corelib中的使用也得到了改進 更有效率。

最後，JIT進行了大量的修改，以更好地處理硬件內部特性和向量化，比如dotnet/runtime#35421, dotnet/runtime#31834, dotnet/runtime#1280, dotnet/runtime#35857, dotnet/runtime#36267和 dotnet/runtime#35525。

Runtime helpers

GC和JIT代表了運行時的大部分，但是在運行時中這些組件之外仍然有相當一部分功能，並且這些功能也有類似的改進。
有趣的是，JIT不會為所有東西從頭生成代碼。JIT在很多地方調用了預先存在的 helpers函數，運行時提供這些 helpers，對這些 helpers的改進可以對程序產生有意義的影響。dotnet/runtime#23548 是一個很好的例子。在像System這樣的圖書館中。Linq，我們避免為協變接口添加額外的類型檢查，因為它們的開銷比普通接口高得多。本質上，dotnet/runtime#23548 (隨後在dotnet/runtime#34427中進行了調整)增加了一個緩存，這樣這些數據轉換的代價被平攤，最終總體上更快了。這從一個簡單的微基準測試中就可以明顯看出:

private List<string> _list = new List<string>();

// IReadOnlyCollection<out T> is covariant
[Benchmark] public bool IsIReadOnlyCollection() => IsIReadOnlyCollection(_list);
[MethodImpl(MethodImplOptions.NoInlining)]  private static bool IsIReadOnlyCollection(object o) => o is IReadOnlyCollection<int>;

另一組有影響的更改出現在dotnet/runtime#32270中(在dotnet/runtime#31957中支持JIT)。在過去，泛型方法只維護了幾個專用的字典槽，可以用於快速查找與泛型方法相關的類型;一旦這些槽用完，它就會回到一個較慢的查找表。這種限制不再存在，這些更改使快速查找槽可用於所有通用查找。

[Benchmark]
public void GenericDictionaries()
{
    for (int i = 0; i < 14; i++)
        GenericMethod<string>(i);
}

[MethodImpl(MethodImplOptions.NoInlining)]
private static object GenericMethod<T>(int level)
{
    switch (level)
    {
        case 0: return typeof(T);
        case 1: return typeof(List<T>);
        case 2: return typeof(List<List<T>>);
        case 3: return typeof(List<List<List<T>>>);
        case 4: return typeof(List<List<List<List<T>>>>);
        case 5: return typeof(List<List<List<List<List<T>>>>>);
        case 6: return typeof(List<List<List<List<List<List<T>>>>>>);
        case 7: return typeof(List<List<List<List<List<List<List<T>>>>>>>);
        case 8: return typeof(List<List<List<List<List<List<List<List<T>>>>>>>>);
        case 9: return typeof(List<List<List<List<List<List<List<List<List<T>>>>>>>>>);
        case 10: return typeof(List<List<List<List<List<List<List<List<List<List<T>>>>>>>>>>);
        case 11: return typeof(List<List<List<List<List<List<List<List<List<List<List<T>>>>>>>>>>>);
        case 12: return typeof(List<List<List<List<List<List<List<List<List<List<List<List<T>>>>>>>>>>>>);
        default: return typeof(List<List<List<List<List<List<List<List<List<List<List<List<List<T>>>>>>>>>>>>>);
    }
}

Text Processing

基於文本的處理是許多應用程序的基礎，並且在每個版本中都花費了大量的精力來改進基礎構建塊，其他所有內容都構建在這些基礎構建塊之上。這些變化從 helpers處理單個字符的微優化一直延伸到整個文本處理庫的大修。
系統。Char在NET 5中得到了一些不錯的改進。例如，dotnet/coreclr#26848提高了char的性能。通過調整實現來要求更少的指令和更少的分支。改善char。IsWhiteSpace隨後在一系列依賴於它的其他方法中出現，比如string.IsEmptyOrWhiteSpace和調整:

[Benchmark]
public int Trim() => " test ".AsSpan().Trim().Length;

另一個很好的例子，dotnet/runtime#35194改進了char的性能。ToUpperInvariant和char。通過改進各種方法的內聯性，將調用路徑從公共api簡化到核心功能，並進一步調整實現以確保JIT生成最佳代碼，從而實現owerinvariant。

[Benchmark]
[Arguments("It's exciting to see great performance!")]
public int ToUpperInvariant(string s)
{
    int sum = 0;

    for (int i = 0; i < s.Length; i++)
        sum += char.ToUpperInvariant(s[i]);

    return sum;
}

除了單個字符之外，實際上在.NET Core的每個版本中，我們都在努力提高現有格式化api的速度。這次發佈也沒有什麼不同。儘管之前的版本取得了巨大的成功，但這一版本將門檻進一步提高。
Int32.ToString() 是一個非常常見的操作，重要的是它要快。來自@ts2do的dotnet/runtime#32528 通過為該方法使用的關鍵格式化例程添加不可鏈接的快速路徑，並通過簡化各種公共api到達這些例程的路徑，使其更快。其他原始ToString操作也得到了改進。例如，dotnet/runtime#27056簡化了一些代碼路徑，以減少從公共API到實際將位寫入內存的位置的冗餘。

[Benchmark] public string ToString12345() => 12345.ToString();
[Benchmark] public string ToString123() => ((byte)123).ToString();

類似的，在之前的版本中，我們對DateTime和DateTimeOffset做了大量的優化，但這些改進主要集中在日/月/年/等等的轉換速度上。將數據轉換為正確的字符或位元組，並將其寫入目的地。在dotnet/runtime#1944中，@ts2do專註於之前的步驟，優化提取日/月/年/等等。DateTime{Offset}從原始滴答計數中存儲。最終非常富有成果,導致能夠輸出格式如「o」(「往返日期/時間模式」)比以前快了30%(變化也應用同樣的分解優化在其他地方在這些組件的代碼庫需要從一個DateTime,但改進是最容易顯示在一個標準格式):

private byte[] _bytes = new byte[100];
private char[] _chars = new char[100];
private DateTime _dt = DateTime.Now;

[Benchmark] public bool FormatChars() => _dt.TryFormat(_chars, out _, "o");
[Benchmark] public bool FormatBytes() => Utf8Formatter.TryFormat(_dt, _bytes, out _, 'O');

對字符串的操作也有很多改進，比如dotnet/coreclr#26621和dotnet/coreclr#26962，在某些情況下顯著提高了區域性感知的Linux上的起始和結束操作的性能。
當然，低級處理是很好的，但是現在的應用程序花費了大量的時間來執行高級操作，比如以特定格式編碼數據，比如之前的.NET Core版本是對Encoding.UTF8進行了優化，但在.NET 5中仍有進一步的改進。dotnet/runtime#27268優化它,特別是對於較小的投入,以更好地利用堆棧分配和改進了JIT devirtualization (JIT是能夠避免虛擬調度由於能夠發現實際的具體類型實例的處理)。

[Benchmark]
public string Roundtrip()
{
    byte[] bytes = Encoding.UTF8.GetBytes("this is a test");
    return Encoding.UTF8.GetString(bytes);
}

與UTF8同樣重要的是「ISO-8859-1」編碼，也被稱為「Latin1」(現在公開表示為編碼)。Encoding.Latin1通過dotnet/runtime#37550)，也非常重要，特別是對於像HTTP這樣的網絡協議。dotnet/runtime#32994對其實現進行了向量化，這在很大程度上是基於以前對Encoding.ASCII進行的類似優化。這將產生非常好的性能提升，這可以顯着地影響諸如HttpClient這樣的客戶機和諸如Kestrel這樣的服務器中的高層使用。

private static readonly Encoding s_latin1 = Encoding.GetEncoding("iso-8859-1");

[Benchmark]
public string Roundtrip()
{
    byte[] bytes = s_latin1.GetBytes("this is a test. this is only a test. did it work?");
    return s_latin1.GetString(bytes);
}

編碼性能的改進也擴展到了System.Text.Encodings中的編碼器。來自@gfoidl的PRs dotnet/corefx#42073和dotnet/runtime#284改進了各種TextEncoder類型。這包括使用SSSE3指令向量化FindFirstCharacterToEncodeUtf8以及JavaScriptEncoder中的FindFirstCharToEncode。默認實現。

private char[] _dest = new char[1000];

[Benchmark]
public void Encode() => JavaScriptEncoder.Default.Encode("This is a test to see how fast we can encode something that does not actually need encoding", _dest, out _, out _);

Regular Expressions

一種非常特殊但非常常見的解析形式是通過正則表達式。早在4月初，我就分享了一篇關於。net 5中System.Text.RegularExpressions大量性能改進的詳細博客文章。我不打算在這裡重複所有這些內容，但是如果你還沒有讀過，我鼓勵你去讀它，因為它代表了圖書館的重大進步。然而，我還在那篇文章中指出，我們將繼續改進正則表達式，特別是增加了對特殊但常見情況的更多支持。
其中一個改進是在指定RegexOptions時的換行處理。Multiline，它改變^和$錨點的含義，使其在任何行的開始和結束處匹配，而不僅僅是整個輸入字符串的開始和結束處。之前我們沒有對起始行錨做任何特殊的處理(當Multiline被指定時^)，這意味着作為FindFirstChar操作的一部分(請參閱前面提到的博客文章，了解它指的是什麼)，我們不會儘可能地跳過它。dotnet/runtime#34566教會FindFirstChar如何使用矢量化的索引向前跳轉到下一個相關位置。這一影響在這個基準中得到了強調，它處理從Project Gutenberg下載的「羅密歐與朱麗葉」文本:

private readonly string _input = new HttpClient().GetStringAsync("//www.gutenberg.org/cache/epub/1112/pg1112.txt").Result;
private Regex _regex;

[Params(false, true)]
public bool Compiled { get; set; }

[GlobalSetup]
public void Setup() => _regex = new Regex(@"^.*\blove\b.*$", RegexOptions.Multiline | (Compiled ? RegexOptions.Compiled : RegexOptions.None));

[Benchmark]
public int Count() => _regex.Matches(_input).Count;

另一個改進是在處理RegexOptions.IgnoreCase方面。IgnoreCase的實現使用char.ToLower{Invariant}以獲得要比較的相關字符，但由於區域性特定的映射，這樣做會帶來一些開銷。dotnet/runtime#35185允許在唯一可能與被比較字符小寫的字符是該字符本身時避免這些開銷。

private readonly Regex _regex = new Regex("hello.*world", RegexOptions.Compiled | RegexOptions.IgnoreCase);
private readonly string _input = "abcdHELLO" + new string('a', 128) + "WORLD123";

[Benchmark] public bool IsMatch() => _regex.IsMatch(_input);

與此相關的改進是dotnet/runtime#35203，它也服務於RegexOptions。IgnoreCase減少了實現對CultureInfo進行的虛擬調用的數量。緩存TextInfo，而不是CultureInfo從它來。

private readonly Regex _regex = new Regex("Hello, \\w+.", RegexOptions.Compiled | RegexOptions.IgnoreCase);
private readonly string _input = "This is a test to see how well this does.  Hello, world.";

[Benchmark] public bool IsMatch() => _regex.IsMatch(_input);

最近我最喜歡的優化之一是dotnet/runtime#35824(隨後在dotnet/runtime#35936中進一步增強)。regex的承認變化,從一個原子環(一個明確的書面或更常見的一個原子的升級到自動的分析表達式),我們可以更新掃描循環中的下一個起始位置(再一次,詳見博客)基於循環的結束,而不是開始。對於許多輸入，這可以大大減少開銷。使用基準測試和來自//github.com/mariomka/regex benchmark的數據:

private Regex _email = new Regex(@"[\w\.+-]+@[\w\.-]+\.[\w\.-]+", RegexOptions.Compiled);
private Regex _uri = new Regex(@"[\w]+://[^/\s?#]+[^\s?#]+(?:\?[^\s#]*)?(?:#[^\s]*)?", RegexOptions.Compiled);
private Regex _ip = new Regex(@"(?:(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9])\.){3}(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9])", RegexOptions.Compiled);

private string _input = new HttpClient().GetStringAsync("//raw.githubusercontent.com/mariomka/regex-benchmark/652d55810691ad88e1c2292a2646d301d3928903/input-text.txt").Result;

[Benchmark] public int Email() => _email.Matches(_input).Count;
[Benchmark] public int Uri() => _uri.Matches(_input).Count;
[Benchmark] public int IP() => _ip.Matches(_input).Count;

最後，並不是所有的焦點都集中在實際執行正則表達式的原始吞吐量上。開發人員使用Regex獲得最佳吞吐量的方法之一是指定RegexOptions。編譯，它使用反射發射在運行時生成IL，反過來需要JIT編譯。根據所使用的表達式，Regex可能會輸出大量IL，然後需要大量的JIT處理才能生成彙編代碼。dotnet/runtime#35352改進了JIT本身來幫助解決這種情況，修復了regex生成的IL觸發的一些可能的二次執行時代碼路徑。而dotnet/runtime#35321對Regex引擎使用的IL操作進行了調整，使其使用的模式更接近於c#編譯器發出的模式，這一點很重要，因為JIT對這些模式進行了更多的優化。在一些具有數百個複雜正則表達式的實際工作負載上，將它們組合起來可以將JIT表達式所花的時間減少20%以上。

Threading and Async

net 5中關於異步的最大變化之一實際上是默認不啟用的，但這是另一個獲得反饋的實驗。net 5中的異步ValueTask池博客更詳細地解釋,但本質上dotnet/coreclr#26310介紹了異步ValueTask能力和異步ValueTask隱式創建的緩存和重用對象代表一個異步操作完成,使得這些方法amortized-allocation-free的開銷。優化目前是可選的，這意味着您需要將DOTNET_SYSTEM_THREADING_POOLASYNCVALUETASKS環境變量設置為1才能啟用它。啟用這一功能的困難之一是，對於可能要執行比等待SomeValueTaskReturningMethod()更複雜的操作的代碼，因為valuetask比任務有更多關於如何使用它們的約束。為了幫助解決這個問題，一種新的UseValueTasksCorrectly分析儀發佈了，它將標記大多數此類誤用。

[Benchmark]
public async Task ValueTaskCost()
{
    for (int i = 0; i < 1_000; i++)
        await YieldOnce();
}

private static async ValueTask YieldOnce() => await Task.Yield();

c#編譯器中的一些變化為.NET 5中的異步方法帶來了額外的好處(在 .NET5中的核心庫是用更新的編譯器編譯的)。每個異步方法都有一個負責生成和完成返回任務的「生成器」，而c#編譯器將生成代碼作為異步方法的一部分來使用。避免作為代碼的一部分生成結構副本，這可以幫助減少開銷，特別是對於async ValueTask方法，其中構建器相對較大(並隨着T的增長而增長)。同樣來自@benaadams的dotnet/roslyn#45262也調整了相同的生成代碼，以更好地發揮前面討論的JIT的零改進。
在特定的api中也有一些改進。dotnet/runtime#35575誕生於一些特定的任務使用Task.ContinueWith，其中延續純粹用於記錄「先行」任務continue from中的異常。通常情況下，任務不會出錯，而PR在這種情況下會做得更好。

const int Iters = 1_000_000;

private AsyncTaskMethodBuilder[] tasks = new AsyncTaskMethodBuilder[Iters];

[IterationSetup]
public void Setup()
{
    Array.Clear(tasks, 0, tasks.Length);
    for (int i = 0; i < tasks.Length; i++)
        _ = tasks[i].Task;
}

[Benchmark(OperationsPerInvoke = Iters)]
public void Cancel()
{
    for (int i = 0; i < tasks.Length; i++)
    {
        tasks[i].Task.ContinueWith(_ => { }, CancellationToken.None, TaskContinuationOptions.OnlyOnFaulted | TaskContinuationOptions.ExecuteSynchronously, TaskScheduler.Default);
        tasks[i].SetResult();
    }
}

也有一些調整，以幫助特定的架構。由於x86/x64架構採用了強內存模型，當針對x86/x64時，volatile在JIT時基本上就消失了。ARM/ARM64的情況不是這樣，它的內存模型較弱，並且volatile會導致JIT發出圍欄。dotnet/runtime#36697刪除了每個排隊到線程池的工作項的幾個volatile訪問，使ARM上的線程池更快。dotnet/runtime#34225將ConcurrentDictionary中的volatile訪問從一個循環中拋出，這反過來提高了ARM上ConcurrentDictionary的一些成員的吞吐量高達30%。而dotnet/runtime#36976則完全從另一個ConcurrentDictionary字段中刪除了volatile。

Collections

多年來，c#已經獲得了大量有價值的特性。這些特性中的許多都是為了讓開發人員能夠更簡潔地編寫代碼，而語言/編譯器負責所有樣板文件，比如c# 9中的記錄。然而，有一些特性更注重性能而不是生產力，這些特性對核心庫來說是一個巨大的恩惠，它們可以經常使用它們來提高每個人的程序的效率。來自@benaadams的dotnet/runtime#27195就是一個很好的例子。PR改進了Dictionary<TKey, TValue>，利用了c# 7中引入的ref返回和ref局部變量。>的實現是由字典中的數組條目支持的，字典有一個核心例程用於在其條目數組中查找鍵的索引;然後在多個函數中使用該例程，如indexer、TryGetValue、ContainsKey等。但是，這種共享是有代價的:通過返回索引並將其留給調用者根據需要從槽中獲取數據，調用者將需要重新索引到數組中，從而導致第二次邊界檢查。有了ref返回，共享例程就可以把一個ref遞迴給槽，而不是原始索引，這樣調用者就可以避免第二次邊界檢查，同時也避免複製整個條目。PR還包括對生成的程序集進行一些低級調優、重新組織字段和用於更新這些字段的操作，以便JIT能夠更好地調優生成的程序集。
字典<TKey,TValue>的性能進一步提高了幾個PRs。像許多哈希表一樣，Dictionary<TKey,TValue>被劃分為「bucket」，每個bucket本質上是一個條目鏈表(存儲在數組中，而不是每個項都有單獨的節點對象)。對於給定的鍵，一個哈希函數(TKey ‘ s GetHashCode或提供的IComparer ‘ s GetHashCode)用於計算提供的鍵的哈希碼，然後該哈希碼確定地映射到一個bucket;找到bucket之後，實現將遍歷該bucket中的條目鏈，查找目標鍵。該實現試圖保持每個bucket中的條目數較小，並在必要時進行增長和重新平衡以維護該條件。因此，查找的很大一部分開銷是計算hashcode到bucket的映射。為了幫助在bucket之間保持良好的分佈，特別是當提供的TKey或比較器使用不太理想的哈希代碼生成器時，字典使用質數的bucket，而bucket映射由hashcode % numBuckets完成。但是在這裡重要的速度，%操作符採用的除法是相對昂貴的。基於Daniel Lemire的工作，dotnet/coreclr#27299(來自@benaadams)和dotnet/runtime#406改變了64位進程中%的使用，而不是使用一對乘法和移位來實現相同的結果，但更快。

private Dictionary<int, int> _dictionary = Enumerable.Range(0, 10_000).ToDictionary(i => i);

[Benchmark]
public int Sum()
{
    Dictionary<int, int> dictionary = _dictionary;
    int sum = 0;

    for (int i = 0; i < 10_000; i++)
        if (dictionary.TryGetValue(i, out int value))
            sum += value;

    return sum;
}

HashSet非常類似於Dictionary<TKey, TValue>。雖然它公開了一組不同的操作(沒有雙關的意思)，除了只存儲一個鍵而不是一個鍵和一個值之外，它的數據結構基本上是相同的……或者至少過去是一樣的。多年來，考慮到使用Dictionary<TKey,TValue>比HashSet多多少，我們花費了更多的努力來優化Dictionary<TKey,TValue>的實現，這兩種實現已經漂移了。dotnet/corefx#40106 @JeffreyZhao移植的一些改進詞典散列集,然後dotnet/runtime#37180有效地改寫HashSet的實施通過re-syncing字典的(連同低堆棧移動,一些地方字典被用於一組被妥善取代)。最終的結果是HashSet最終獲得了類似的收益(甚至更多，因為它是從一個更糟糕的地方開始的)。

private HashSet<int> _set = Enumerable.Range(0, 10_000).ToHashSet();

[Benchmark]
public int Sum()
{
    HashSet<int> set = _set;
    int sum = 0;

    for (int i = 0; i < 10_000; i++)
        if (set.Contains(i))
            sum += i;

    return sum;
}

類似地，dotnet/runtime#37081移植了類似的改進，從Dictionary<TKey, TValue>到ConcurrentDictionary<TKey, TValue>。

private ConcurrentDictionary<int, int> _dictionary = new ConcurrentDictionary<int, int>(Enumerable.Range(0, 10_000).Select(i => new KeyValuePair<int, int>(i, i)));

[Benchmark]
public int Sum()
{
    ConcurrentDictionary<int, int> dictionary = _dictionary;
    int sum = 0;

    for (int i = 0; i < 10_000; i++)
        if (dictionary.TryGetValue(i, out int value))
            sum += value;

    return sum;
}

System.Collections。不可變的版本也有改進。dotnet/runtime#1183是@hnrqbaggio通過添加[MethodImpl(methodimploptions.ancsiveinlining)]到ImmutableArray的GetEnumerator方法來提高對ImmutableArray的GetEnumerator方法的foreach性能。我們通常非常謹慎灑AggressiveInlining:它可以使微基準測試看起來很好,因為它最終消除調用相關方法的開銷,但它也可以大大提高代碼的大小,然後一大堆事情產生負面影響,如導致指令緩存變得不那麼有效了。然而，在這種情況下，它不僅提高了吞吐量，而且實際上還減少了代碼的大小。內聯是一種強大的優化，不僅因為它消除了調用的開銷，還因為它向調用者公開了被調用者的內容。JIT通常不做過程間分析，這是由於JIT用於優化的時間預算有限，但是內聯通過合併調用者和被調用者克服了這一點，在這一點上調用者因素的JIT優化被調用者因素。假設一個方法public static int GetValue() => 42;調用者執行if (GetValue() * 2 > 100){…很多代碼…}。如果GetValue()沒有內聯，那麼比較和「大量代碼」將會被JIT處理，但是如果GetValue()內聯，JIT將會看到這就像(84 > 100){…很多代碼…}，則整個塊將被刪除。幸運的是，這樣一個簡單的方法幾乎總是會自動內聯，但是ImmutableArray的GetEnumerator足夠大，JIT無法自動識別它的好處。在實踐中，當內聯GetEnumerator時，JIT最終能夠更好地識別出foreach在遍曆數組，而不是為Sum生成代碼:

; Program.Sum()
       push      rsi
       sub       rsp,30
       xor       eax,eax
       mov       [rsp+20],rax
       mov       [rsp+28],rax
       xor       esi,esi
       cmp       [rcx],ecx
       add       rcx,8
       lea       rdx,[rsp+20]
       call      System.Collections.Immutable.ImmutableArray'1[[System.Int32, System.Private.CoreLib]].GetEnumerator()
       jmp       short M00_L01
M00_L00:
       cmp       [rsp+28],edx
       jae       short M00_L02
       mov       rax,[rsp+20]
       mov       edx,[rsp+28]
       movsxd    rdx,edx
       mov       eax,[rax+rdx*4+10]
       add       esi,eax
M00_L01:
       mov       eax,[rsp+28]
       inc       eax
       mov       [rsp+28],eax
       mov       rdx,[rsp+20]
       mov       edx,[rdx+8]
       cmp       edx,eax
       jg        short M00_L00
       mov       eax,esi
       add       rsp,30
       pop       rsi
       ret
M00_L02:
       call      CORINFO_HELP_RNGCHKFAIL
       int       3
; Total bytes of code 97

就像在.NET Core 3.1中一樣，在.NET 5中也是如此

; Program.Sum()
       sub       rsp,28
       xor       eax,eax
       add       rcx,8
       mov       rdx,[rcx]
       mov       ecx,[rdx+8]
       mov       r8d,0FFFFFFFF
       jmp       short M00_L01
M00_L00:
       cmp       r8d,ecx
       jae       short M00_L02
       movsxd    r9,r8d
       mov       r9d,[rdx+r9*4+10]
       add       eax,r9d
M00_L01:
       inc       r8d
       cmp       ecx,r8d
       jg        short M00_L00
       add       rsp,28
       ret
M00_L02:
       call      CORINFO_HELP_RNGCHKFAIL
       int       3
; Total bytes of code 59

因此，更小的代碼和更快的執行:

private ImmutableArray<int> _array = ImmutableArray.Create(Enumerable.Range(0, 100_000).ToArray());

[Benchmark]
public int Sum()
{
    int sum = 0;

    foreach (int i in _array)
        sum += i;

    return sum;
}

ImmutableList。包含也看到了顯著的改進，由於來自@shortspider的dotnet/corefx#40540。Contains是使用ImmutableList的IndexOf方法實現的，這個方法是在它的枚舉器上實現的。在幕後ImmutableList今天AVL樹,實現自平衡的二叉查找樹的一種形式,為了走這樣的樹,它需要保持一個非平凡的狀態,和ImmutableList的枚舉器去煞費苦心每個枚舉為了避免分配存儲。這導致了不小的開銷。但是，Contains並不關心列表中元素的確切索引(也不關心找到了可能的多個副本中的哪個副本)，只關心它的存在，因此，它可以使用簡單的遞歸樹搜索。(因為樹是平衡的，所以我們不關心堆棧溢出條件。)

private ImmutableList<int> _list = ImmutableList.Create(Enumerable.Range(0, 1_000).ToArray());

[Benchmark]
public int Sum()
{
    int sum = 0;

    for (int i = 0; i < 1_000; i++)
        if (_list.Contains(i))
            sum += i;

    return sum;
}

前面強調的集合改進都是針對通用集合的，即用於開發人員需要存儲的任何數據。但並不是所有的集合類型都是這樣的:有些更專門用於特定的數據類型，而這樣的集合在。net 5中也可以看到性能的改進。位數組就是這樣的一個例子，與幾個PRs這個釋放作出重大改進，以其性能。特別地，來自@Gnbrkm41的dotnet/corefx#41896使用了AVX2和SSE2特性來對BitArray的許多操作進行矢量化(dotnet/runtime#33749隨後也添加了ARM64特性):

private bool[] _array;

[GlobalSetup]
public void Setup()
{
    var r = new Random(42);
    _array = Enumerable.Range(0, 1000).Select(_ => r.Next(0, 2) == 0).ToArray();
}

[Benchmark]
public BitArray Create() => new BitArray(_array);

LINQ

在.NET Core之前的版本中，系統出現了大量的變動。Linq代碼基，特別是提高性能。這個流程已經放緩了，但是.NET 5仍然可以看到LINQ的性能改進。
OrderBy有一個值得注意的改進。正如前面所討論的，將coreclr的本地排序實現轉換為託管代碼有多種動機，其中一個就是能夠輕鬆地將其作為基於spanc的排序方法的一部分進行重用。這樣的api是公開的，並且通過dotnet/runtime#1888，我們能夠在System.Linq中利用基於spane的排序。這特別有好處，因為它支持利用基於Comparison的排序例程，這反過來又支持避免在每個比較操作上的多層間接。

[GlobalSetup]
public void Setup()
{
    var r = new Random(42);
    _array = Enumerable.Range(0, 1_000).Select(_ => r.Next()).ToArray();
}

private int[] _array;

[Benchmark]
public void Sort()
{
    foreach (int i in _array.OrderBy(i => i)) { }
}

對於一行更改來說，這還不錯。
另一個改進是來自@timandy的dotnet/corefx#41342。PR可擴充的枚舉。SkipLast到特殊情況IList以及內部IPartition接口(這是各種操作符相互之間進行優化的方式)，以便在可以廉價確定源長度時將SkipLast重新表示為Take操作。

private IEnumerable<int> data = Enumerable.Range(0, 100).ToList();

[Benchmark]
public int SkipLast() => data.SkipLast(5).Sum();

最後一個例子，dotnet/corefx#40377是一個漫長的過程。這是一個有趣的例子。一段時間以來，我看到開發人員認為Enumerable.Any()比Enumerable.Count() != 0更有效;畢竟，Any()只需要確定源中是否有東西，而Count()需要確定源中有多少東西。因此，對於任何合理的集合，any()在最壞情況下應該是O(1)，而Count()在最壞情況下可能是O(N)，那麼any()不是總是更好的嗎?甚至有Roslyn分析程序推薦這種轉換。不幸的是，情況並不總是這樣。在。net 5之前，Any()的實現基本如下:

using (IEnumerator<T> e = source.GetEnumerator)
    return e.MoveNext();

這意味着在通常情況下，即使可能是O(1)操作，也會導致分配一個枚舉器對象以及兩個接口分派。相比之下，自從. net Framework 3.0中LINQ的初始版本發佈以來，Count()已經優化了特殊情況下ICollection使用它的Count屬性的代碼路徑，在這種情況下，它通常是O(1)和分配自由，只有一個接口分派。因此，對於非常常見的情況(比如源是List)，使用Count() != 0實際上比使用Any()更有效。雖然添加接口檢查會帶來一些開銷，但值得添加它以使Any()實現具有可預測性並與Count()保持一致，這樣就可以更容易地對其進行推理，並使有關其成本的主流觀點變得正確。

Networking

如今，網絡是幾乎所有應用程序的關鍵組件，而良好的網絡性能至關重要。因此，.NET的每一個版本都在提高網絡性能上投入了大量的精力.NET 5也不例外。
讓我們先看看一些原語，然後繼續往下看。系統。大多數應用程序都使用Uri來表示url，它的速度要快，這一點很重要。許多PRs已經開始在。.NET 5中使Uri更快。可以說，Uri最重要的操作是構造一個Uri，而dotnet/runtime#36915使所有Uri的構造速度更快，主要是通過關注開銷和避免不必要的開銷:

[Benchmark]
public Uri Ctor() => new Uri("//github.com/dotnet/runtime/pull/36915");

在構造之後，應用程序經常訪問Uri的各種組件，這一點也得到了改進。特別是，像HttpClient這樣的類型通常有一個重複用於發出請求的Uri。HttpClient實現將訪問Uri。屬性的路徑和查詢，以發送作為HTTP請求的一部分(例如，GET /dotnet/runtime HTTP/1.1)，在過去，這意味着為每個請求重新創建Uri的部分字符串。感謝dotnet/runtime#36460，它現在被緩存(就像IdnHost一樣):

private Uri _uri = new Uri("//github.com/dotnet/runtime");

[Benchmark]
public string PathAndQuery() => _uri.PathAndQuery;

除此之外，還有許多代碼與uri交互的方式，其中許多都得到了改進。例如，dotnet/corefx#41772改進了Uri。EscapeDataString和Uri。EscapeUriString，它根據RFC 3986和RFC 3987對字符串進行轉義。這兩種方法都依賴於使用不安全代碼的共享 helpers，通過char[]來回切換，並且在Unicode處理方面有很多複雜性。這個PR重寫了這個 helpers來利用.NET的新特性，比如span和符文，以使escape操作既安全又快速。對於某些輸入，增益不大，但是對於涉及Unicode的輸入，甚至對於長ASCII輸入，增益就很大了。

[Params(false, true)]
public bool ASCII { get; set; }

[GlobalSetup]
public void Setup()
{
    _input = ASCII ?
        new string('s', 20_000) :
        string.Concat(Enumerable.Repeat("\xD83D\xDE00", 10_000));
}

private string _input;

[Benchmark] public string Escape() => Uri.EscapeDataString(_input);

為Uri.UnescapeDataString提供了相應的改進。這一改變包括使用已經向量化的IndexOf而不是手動的基於指針的循環，以確定需要進行非轉義的字符的第一個位置，然後避免一些不必要的代碼，並在可行的情況下使用堆棧分配而不是堆分配。雖然使所有操作更快,最大的收益是字符串unescape無關,這意味着EscapeDataString操作沒有逃避,只是返回其輸入(這種情況也隨後幫助進一步dotnet/corefx#41684,使原來的字符串返回時不需要改變):

private string _value = string.Concat(Enumerable.Repeat("abcdefghijklmnopqrstuvwxyz", 20));

[Benchmark]
public string Unescape() => Uri.UnescapeDataString(_value);

dotnet/runtime#36444和dotnet/runtime#32713使比較uri和執行相關操作(比如將它們放入字典)變得更快，尤其是相對uri。

private Uri[] _uris = Enumerable.Range(0, 1000).Select(i => new Uri($"/some/relative/path?ID={i}", UriKind.Relative)).ToArray();

[Benchmark]
public int Sum()
{
    int sum = 0;

    foreach (Uri uri in _uris)
        sum += uri.GetHashCode();
        
    return sum;
}

向上移動堆棧，讓我們看看System.Net.Sockets。自從.NET Core誕生以來，TechEmpower基準就被用作衡量進展的一種方式。以前我們主要關注「明文」基準,非常低級的一組特定的性能特徵,但對於這個版本,我們希望專註於改善兩個基準,「JSON序列化」和「財富」(後者涉及數據庫訪問,儘管它的名字,前者的成本主要是由於網絡速度非常小的JSON載荷有關)。我們的工作主要集中在Linux上。當我說「我們的」時，我不僅僅是指那些在.NET團隊工作的人;我們通過一個超越核心團隊的工作小組進行了富有成效的合作，例如紅帽的@tmds和Illyriad Games的@benaadams的偉大想法和貢獻。

在Linux上，socket實現是基於epoll的。為了實現對許多服務的巨大需求，我們不能僅僅為每個套接字分配一個線程，如果對套接字上的所有操作都使用阻塞I/O，我們就會這樣做。相反,使用非阻塞I/O,當操作系統還沒有準備好來滿足一個請求(例如當ReadAsync用於套接字但沒有數據可供閱讀,或使用非同步套接字但是沒有可用空間在內核的發送緩衝區),epoll用於通知套接字實現的套接字狀態的變化,這樣操作可以再次嘗試。epoll是一種使用一個線程有效地阻塞任何數量套接字的更改等待的方法，因此實現維護了一個專用的線程，等待更改的所有套接字註冊的epoll。該實現維護了多個epoll線程，這些線程的數量通常等於系統中內核數量的一半。當多個套接字都復用到同一個epoll和epoll線程時，實現需要非常小心，不要在響應套接字通知時運行任意的工作;這樣做會發生在epoll線程本身，因此epoll線程將無法處理進一步的通知，直到該工作完成。更糟糕的是，如果該工作被阻塞，等待與同一epoll關聯的任何套接字上的另一個通知，系統將死鎖。因此，處理epoll的線程試圖在響應套接字通知時做儘可能少的工作，提取足夠的信息將實際處理排隊到線程池中。

事實證明，在這些epoll線程和線程池之間發生了一個有趣的反饋循環。來自epoll線程的工作項排隊的開銷剛好足夠支持多個epoll線程，但是多個epoll線程會導致隊列發生一些爭用，以至於每個額外的線程所增加的開銷都超過了它的公平份額。最重要的是,排隊的速度只是足夠低,線程池將很難保持它的所有線程飽和的情況下會發生少量的工作在一個套接字操作(這是JSON序列化基準的情況);這將反過來導致線程池花費更多的時間來隔離和釋放線程，從而使其變慢，從而創建一個反饋循環。長話短說，不理想的排隊會導致較慢的處理速度和比實際需要更多的epoll線程。這被糾正與兩個PRs, dotnet/runtime#35330和dotnet/runtime#35800。#35330改變了從epoll線程排隊模型,而不是排隊一個工作項/事件(當epoll醒來通知,可能會有多個通知所有的套接字註冊它,和它將提供所有的通知在一批),它將整個批處理隊列的一個工作項。處理它的池線程然後使用一個非常類似於並行的模型。For/ForEach已經工作多年，也就是說，排隊的工作項可以為自己保留一個項，然後將自己的副本排隊以幫助處理剩餘的項。這改變了微積分,最合理大小的機器,它實際上成為有利於減少epoll線程而不是更多(並非巧合的是,我們希望有更少的),那麼# 35800 epoll線程的數量變化,通常使用最終只是一個(在機器與更大的核心方面,還會有更多)。我們還通過通過DOTNET_SYSTEM_NET_SOCKETS_THREAD_COUNT epoll數可配置環境變量,可以設置為所需的計算以覆蓋系統的默認值,如果開發人員想要實驗與其他數量和提供反饋結果給定的工作負載。

作為一個實驗,從@tmds dotnet/runtime#37974我們還添加了一個實驗模式(由DOTNET_SYSTEM_NET_SOCKETS_INLINE_COMPLETIONS環境變量設置為1在Linux上)我們避免排隊的工作線程池,而不是僅僅運行所有套接字延續(如工作()等待socket.ReadAsync ();工作()😉;在epoll線程上。嗝是我德拉古!如果套接字延續停止，則不會處理與該epoll線程關聯的其他工作。更糟糕的是，如果延續實際上同步阻塞等待與該epoll關聯的其他工作，系統將死鎖。但是，在這種模式下，一個精心設計的程序可能會獲得更好的性能，因為處理的位置可以更好，並且可以避免排隊到線程池的開銷。因為所有套接字工作都在epoll線程上運行，所以默認為1不再有意義;默認情況下，它的線程數等於處理器數。再說一次，這是一個實驗，我們歡迎你看到任何積極或消極的結果。

這些改進都大規模地集中在Linux上的套接字性能上，這使得它們很難在單機上的微基準測試中進行演示。不過，還有其他更容易看到的改進dotnet/runtime#32271從套接字刪除了幾個分配。連接,插座。為了支持不再相關的舊代碼訪問安全(CAS)檢查，對某些狀態進行了不必要的複製:CAS檢查在很久以前就被刪除了，但是克隆仍然存在，所以這也只是清理了它們。dotnet/runtime#32275也從SafeSocketHandle的Windows實現中刪除了一個分配。dotnet/runtime#787重構插座。ConnectAsync，以便它可以共享相同的內部SocketAsyncEventArgs實例，該實例最終被隨後用於執行ReceiveAsync操作，從而避免額外的連接分配。dotnet /運行時# 34175利用.NET 5中引入的新的固定對象堆使用pre-pinned緩衝區SocketAsyncEventArgs實現的各部分在Windows上而不是用GCHandle銷(在Linux上不需要把相應的功能,所以它是不習慣)。在dotnet/runtime#37583中，@tmds通過在適當的地方使用堆棧分配，減少了作為向生I/O SendAsync/ReceivedAsync實現的一部分的分配。

private Socket _listener, _client, _server;
private byte[] _buffer = new byte[8];
private List<ArraySegment<byte>> _buffers = new List<ArraySegment<byte>>();

[GlobalSetup]
public void Setup()
{
    _listener = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    _listener.Bind(new IPEndPoint(IPAddress.Loopback, 0));
    _listener.Listen(1);

    _client = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    _client.ConnectAsync(_listener.LocalEndPoint).GetAwaiter().GetResult();

    _server = _listener.AcceptAsync().GetAwaiter().GetResult();

    for (int i = 0; i < _buffer.Length; i++)
        _buffers.Add(new ArraySegment<byte>(_buffer, i, 1));
}

[Benchmark]
public async Task SendReceive()
{
    await _client.SendAsync(_buffers, SocketFlags.None);
    int total = 0;
    while (total < _buffer.Length)
        total += await _server.ReceiveAsync(_buffers, SocketFlags.None);
}

在此之上，我們來到System.Net.Http。SocketsHttpHandler在兩個方面做了大量改進。第一個是頭的處理，它代表了與類型相關的分配和處理的很大一部分。通過創建HttpHeaders, dotnet/corefx#41640啟動了事情。TryAddWithoutValidation的名稱為真:由於SocketsHttpHandler枚舉請求頭並將它們寫入連線的方式，即使開發人員指定了「WithoutValidation」，它最終還是會對頭執行驗證，PR修復了這個問題。多個PRs，包括dotnet/runtime#35003, dotnet/runtime#34922, dotnet/runtime#32989和dotnet/runtime#34974改進了在SocketHttpHandler的已知標頭列表中的查找(當這些標頭出現時，這有助於避免分配)，並增強了該列表以更加全面。dotnet/runtime#34902更新內部各強類型集合類型使用頭少分配集合,和dotnet/runtime#34724做了一些相關的分配頭到手只有當他們實際上訪問(以及特殊情況的日期和服務器響應標頭以避免為他們分配在最常見的情況下)。最終的結果是吞吐量得到了小的改善，但分配得到了顯著的改善:

private static readonly Socket s_listener = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
private static readonly HttpClient s_client = new HttpClient();
private static Uri s_uri;

[Benchmark]
public async Task HttpGet()
{
    var m = new HttpRequestMessage(HttpMethod.Get, s_uri);
    m.Headers.TryAddWithoutValidation("Authorization", "ANYTHING SOMEKEY");
    m.Headers.TryAddWithoutValidation("Referer", "//someuri.com");
    m.Headers.TryAddWithoutValidation("User-Agent", "Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/77.0.3865.90 Safari/537.36");
    m.Headers.TryAddWithoutValidation("Host", "www.somehost.com");
    using (HttpResponseMessage r = await s_client.SendAsync(m, HttpCompletionOption.ResponseHeadersRead))
    using (Stream s = await r.Content.ReadAsStreamAsync())
        await s.CopyToAsync(Stream.Null);
}

[GlobalSetup]
public void CreateSocketServer()
{
    s_listener.Bind(new IPEndPoint(IPAddress.Loopback, 0));
    s_listener.Listen(int.MaxValue);
    var ep = (IPEndPoint)s_listener.LocalEndPoint;
    s_uri = new Uri($"//{ep.Address}:{ep.Port}/");
    byte[] response = Encoding.UTF8.GetBytes("HTTP/1.1 200 OK\r\nDate: Sun, 05 Jul 2020 12:00:00 GMT \r\nServer: Example\r\nContent-Length: 5\r\n\r\nHello");
    byte[] endSequence = new byte[] { (byte)'\r', (byte)'\n', (byte)'\r', (byte)'\n' };

    Task.Run(async () =>
    {
        while (true)
        {
            Socket s = await s_listener.AcceptAsync();
            _ = Task.Run(() =>
            {
                using (var ns = new NetworkStream(s, true))
                {
                    byte[] buffer = new byte[1024];
                    int totalRead = 0;
                    while (true)
                    {
                        int read =  ns.Read(buffer, totalRead, buffer.Length - totalRead);
                        if (read == 0) return;
                        totalRead += read;
                        if (buffer.AsSpan(0, totalRead).IndexOf(endSequence) == -1)
                        {
                            if (totalRead == buffer.Length) Array.Resize(ref buffer, buffer.Length * 2);
                            continue;
                        }

                        ns.Write(response, 0, response.Length);

                        totalRead = 0;
                    }
                }
            });
        }
    });
}

其他一些與主管有關的PRs更為專業化。例如，dotnet/runtime#34860通過更仔細地考慮方法改進了日期頭的解析。前面的實現使用的是DateTime。一長串可行格式的TryParseExact;這就使實現失去了它的快速路徑，並且導致即使輸入與列表中的第一種格式匹配時，解析它的速度也要慢得多。在今天的日期標題中，絕大多數標題將遵循RFC 1123中列出的格式，也就是「r」。由於之前版本的改進，DateTime對「r」格式的解析非常快，所以我們可以先直接使用TryParseExact對單一格式進行解析，如果它失敗了，就使用TryParseExact對其餘格式進行解析。

[Benchmark]
public DateTimeOffset? DatePreferred()
{
    var m = new HttpResponseMessage();
    m.Headers.TryAddWithoutValidation("Date", "Sun, 06 Nov 1994 08:49:37 GMT");
    return m.Headers.Date;
}

然而，最大的改進來自於一般的HTTP/2。在.NET Core 3.1中，HTTP/2實現是功能性的，但沒有進行特別的調優，所以在.NET5上做了一些努力，使HTTP/2實現更好，特別是更具有可伸縮性。dotnet/runtime#32406和dotnet/runtime#32624顯著降低分配參與HTTP/2 GET請求通過使用一個自定義CopyToAsync覆蓋在響應流用於HTTP/2響應,被更小心在如何訪問請求頭寫請求的一部分(為了避免迫使lazily-initialized狀態存在的時候沒有必要),和刪除async-related分配。而dotnet/runtime#32557減少了HTTP/2中的分配，通過更好地處理取消和減少與異步操作相關的分配。之上,dotnet/runtime#35694包括一堆HTTP /兩個相關的變化,包括減少鎖的數量涉及(HTTP/2涉及更多的同步比HTTP/1.1 c#實現,因為在HTTP / 2多個請求多路復用到相同的套接字連接),減少工作的數量,而持有鎖,一個關鍵的情況下改變使用的鎖定機制,增加標題的標題優化,以及其他一些減少管理費用的調整。作為後續，dotnet/runtime#36246刪除了一些由於取消和尾部標頭(這在gRPC流量中很常見)而造成的分配。為了演示這一點，我創建了一個簡單的ASP.NET Core localhost服務器(使用空模板，刪除少量代碼，本例不需要):

using Microsoft.AspNetCore.Builder;
using Microsoft.AspNetCore.Hosting;
using Microsoft.AspNetCore.Http;
using Microsoft.Extensions.Hosting;

public class Program
{
    public static void Main(string[] args) =>
        Host.CreateDefaultBuilder(args).ConfigureWebHostDefaults(b => b.UseStartup<Startup>()).Build().Run();
}

public class Startup
{
    public void Configure(IApplicationBuilder app, IWebHostEnvironment env)
    {
        app.UseRouting();
        app.UseEndpoints(endpoints =>
        {
            endpoints.MapGet("/", context => context.Response.WriteAsync("Hello"));
            endpoints.MapPost("/", context => context.Response.WriteAsync("Hello"));
        });
    }
}

然後我使用這個客戶端基準:

private HttpMessageInvoker _client = new HttpMessageInvoker(new SocketsHttpHandler() { UseCookies = false, UseProxy = false, AllowAutoRedirect = false });
private HttpRequestMessage _get = new HttpRequestMessage(HttpMethod.Get, new Uri("//localhost:5001/")) { Version = HttpVersion.Version20 };
private HttpRequestMessage _post = new HttpRequestMessage(HttpMethod.Post, new Uri("//localhost:5001/")) { Version = HttpVersion.Version20, Content = new ByteArrayContent(Encoding.UTF8.GetBytes("Hello")) };

[Benchmark] public Task Get() => MakeRequest(_get);

[Benchmark] public Task Post() => MakeRequest(_post);

private Task MakeRequest(HttpRequestMessage request) => Task.WhenAll(Enumerable.Range(0, 100).Select(async _ =>
{
    for (int i = 0; i < 500; i++)
    {
        using (HttpResponseMessage r = await _client.SendAsync(request, default))
        using (Stream s = await r.Content.ReadAsStreamAsync())
            await s.CopyToAsync(Stream.Null);
    }
}));

還要注意的是，對於.NET 5，在這方面還有很多工作要做。dotnet/runtime#38774改變了在HTTP/2實現中處理寫的方式，預計將在已有改進的基礎上帶來實質性的可伸縮性提高，特別是針對基於grpc的工作負載。
其他網絡組件也有顯著的改進。例如，Dns類型上的XxAsync api是在相應的Begin/EndXx方法上實現的。對於.NET 5中的dotnet/corefx#41061，這是反向的，例如Begin/EndXx方法是在XxAsync方法的基礎上實現的;這使得代碼更簡單、更快，同時對分配也有很好的影響(注意.NET Framework 4.8的結果稍微快一些，因為它實際上沒有使用異步I/O，而只是一個排隊的工作項到執行同步I/O的線程池;這樣會減少一些開銷，但也會減少可伸縮性):

private string _hostname = Dns.GetHostName();

[Benchmark] public Task<IPAddress[]> Lookup() => Dns.GetHostAddressesAsync(_hostname);

雖然是一種很少有人(儘管它使用WCF), NegotiateStream也同樣更新dotnet/runtime#36583,與所有XxAsync方法被使用異步/等待,然後在dotnet/runtime#37772復用緩衝區,而不是為每個操作創建新的。最終結果是在典型的讀/寫使用中顯著減少分配:

private byte[] _buffer = new byte[1];
private NegotiateStream _client, _server;

[GlobalSetup]
public void Setup()
{
    using var listener = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    listener.Bind(new IPEndPoint(IPAddress.Loopback, 0));
    listener.Listen(1);

    var client = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    client.ConnectAsync(listener.LocalEndPoint).GetAwaiter().GetResult();

    Socket server = listener.AcceptAsync().GetAwaiter().GetResult();

    _client = new NegotiateStream(new NetworkStream(client, true));
    _server = new NegotiateStream(new NetworkStream(server, true));

    Task.WaitAll(
        _client.AuthenticateAsClientAsync(),
        _server.AuthenticateAsServerAsync());
}

[Benchmark]
public async Task WriteRead()
{
    for (int i = 0; i < 100; i++)
    {
        await _client.WriteAsync(_buffer);
        await _server.ReadAsync(_buffer);
    }
}

[Benchmark]
public async Task ReadWrite()
{
    for (int i = 0; i < 100; i++)
    {
        var r = _server.ReadAsync(_buffer);
        await _client.WriteAsync(_buffer);
        await r;
    }
}

JSON

這個系統有了顯著的改進.NET 5的Json庫，特別是JsonSerializer，但是很多這些改進實際上都被移植回了.NET Core 3.1，並作為服務修復的一部分發佈(參見dotnet/corefx#41771)。即便如此，在.NET 5中也出現了一些不錯的改進。
dotnet/runtime#2259重構了JsonSerializer中的轉換器如何處理集合的模型，導致了可測量的改進，特別是對於更大的集合:

private MemoryStream _stream = new MemoryStream();
private DateTime[] _array = Enumerable.Range(0, 1000).Select(_ => DateTime.UtcNow).ToArray();

[Benchmark]
public Task LargeArray()
{
    _stream.Position = 0;
    return JsonSerializer.SerializeAsync(_stream, _array);
}

但即使是較小的，例如。

private MemoryStream _stream = new MemoryStream();
private JsonSerializerOptions _options = new JsonSerializerOptions();
private Dictionary<string, int> _instance = new Dictionary<string, int>()
{
    { "One", 1 }, { "Two", 2 }, { "Three", 3 }, { "Four", 4 }, { "Five", 5 },
    { "Six", 6 }, { "Seven", 7 }, { "Eight", 8 }, { "Nine", 9 }, { "Ten", 10 },
};

[Benchmark]
public async Task Dictionary()
{
    _stream.Position = 0;
    await JsonSerializer.SerializeAsync(_stream, _instance, _options);
}

dotnet/runtime#37976還通過添加緩存層來幫助檢索被序列化和反序列化的類型內部使用的元數據，從而幫助提高小型類型的性能。

private MemoryStream _stream = new MemoryStream();
private MyAwesomeType _instance = new MyAwesomeType() { SomeString = "Hello", SomeInt = 42, SomeByte = 1, SomeDouble = 1.234 };

[Benchmark]
public Task SimpleType()
{
    _stream.Position = 0;
    return JsonSerializer.SerializeAsync(_stream, _instance);
}

public struct MyAwesomeType
{
    public string SomeString { get; set; }
    public int SomeInt { get; set; }
    public double SomeDouble { get; set; }
    public byte SomeByte { get; set; }
}

Trimming

在.NET Core 3.0之前，.NET Core主要關注服務器的工作負載，而ASP則主要關注服務器的工作負載。NET Core是該平台上卓越的應用模型。隨着.NET Core 3.0的加入，Windows Forms和Windows Presentation Foundation (WPF)也隨之加入，將. NET Core引入到了桌面應用中。隨着.NET Core 3.2的發佈，Blazor發佈了對瀏覽器應用程序的支持，但它基於mono和mono堆棧中的庫。在.NET 5中，Blazor使用.NET 5 mono運行時和所有其他應用模型共享的.NET 5庫。這給性能帶來了一個重要的變化:大小。在代碼大小一直是一個重要的問題(和.NET本機應用程序)是非常重要的,一個成功的基於瀏覽器的部署所需的規模確實帶來了最前沿,我們需要擔心下載大小在某種程度上我們還沒有過去集中與.NET Core。
協助與應用程序的大小,.NET SDK包含一個鏈接器,能夠清除的未使用部分應用,不僅在彙編級,但也在會員級別,做靜態分析來確定什麼是代碼,不是使用和丟棄的部分不是。這帶來了一組有趣的挑戰:為了方便或簡化API使用而採用的一些編碼模式，對於鏈接器來說，很難以允許它扔掉很多東西的方式進行分析。因此，在.NET 5中與性能相關的主要工作之一就是改進庫的可剪裁。

這有兩個方面:

• 沒有刪除太多(正確性)。我們需要確保這些庫能夠真正安全地進行裁減。特別是,反射(甚至只反映在公共面積)的鏈接器很難找到所有成員,實際上可能被使用,如在應用程序代碼在一個地方使用typeof類型實例,並傳遞到另一個應用程序的一部分,它使用GetMethod檢索MethodInfo對於一個公共方法,類型,並通過MethodInfo到另一個應用程序調用它的一部分。地址,鏈接器採用啟發式方法來最大程度地減少可以刪除的API的誤報,可以刪除,但為了進一步幫助它,一堆屬性添加了在.NET 5,使開發人員能夠使這樣的隱式依賴關係顯式,抑制警告鏈接器在它可能認為是不安全的,但實際上不是,轉嫁給消費者,迫使警告說表面的某些部分不適合連接。看到dotnet/runtime#35387。
• 儘可能多地刪除(性能)。我們需要盡量減少代碼片段需要保留的原因。這可以表現為重構實現來改變調用模式，也可以表現為使用鏈接器可以識別的使用條件來裁剪整段代碼，還可以表現為使用更細粒度的控制來精確地控制需要保留的內容和保留的原因。

第二種方法有很多例子，所以我將着重介紹其中一些，以展示所使用的各種技術:

• 刪除不必要的代碼，例如dotnet/corefx#41177。在這裡，我們發現了許多過時的TraceSource/Switch用法，這些用法僅用於啟用一些僅用於調試的跟蹤和斷言，但實際上已經沒有人使用了，這導致鏈接器看到其中一些類型，甚至在發佈版本中也使用過。
• 刪除曾經有用但不再有用的過時代碼，例如dotnet/coreclr#26750。這種類型曾經對改進ngen (crossgen的前身)很重要，但現在不需要了。或者像在dotnet/coreclr#26603中，有些代碼實際上不再使用，但仍然會導致類型保留下來。
• 刪除重複的代碼，例如dotnet/corefx#41165, dotnet/corefx#40935，和dotnet/coreclr#26589。一些庫使用它們自己的哈希代碼幫助例程的私有副本，導致每個庫都有自己的IL副本來實現該功能。它們可以被更新為使用共享的HashCode類型，這不僅有助於IL的大小和調整，還有助於避免需要維護的額外代碼，並更好地現代化代碼庫，以利用我們建議其他人也使用的功能。
• 使用不同的api，例如dotnet/corefx#41143。代碼使用擴展幫助器方法，導致引入額外的類型，但是提供的「幫助」實際上幾乎沒有節省代碼。一個可能更好的示例是dotnet/corefx#41142，它從System.Xml實現中刪除了非通用隊列和堆棧類型的使用，而只是使用通用實現(dotnet/coreclr#26597使用WeakReference做了類似的事情)。或者dotnet/corefx#41111，它改變了XML庫中的一些代碼來使用HttpClient而不是WebRequest，這允許刪除整個System.Net。依賴的請求。或者避免System.Net的dotnet/corefx#41110。Http需要使用System.Text。RegularExpressions:這是不必要的複雜性，可以用少量特定於該用例的代碼替換。另一個例子是dotnet/coreclr#26602，其中一些代碼不必要地使用了string.ToLower()，替換它的使用不僅更有效，而且有助於在默認情況下削減重載。dotnet/coreclr#26601是相似的。
• 重新路由邏輯以避免對大量不需要的代碼進行根路由，例如dotnet/corefx#41075。如果代碼只是使用了新的Regex(字符串)，那麼在內部只是委託給了更長的Regex(字符串，RegexOptions)構造函數，並且構造函數需要能夠使用內部的RegexCompiler來應對RegexOptions。編譯使用。通過調整代碼路徑，使Regex(string)構造函數不依賴於Regex(string, RegexOptions)構造函數，如果不使用Regex，鏈接器刪除整個RegexCompiler代碼路徑(及其對反射發出的依賴)就變得很簡單。然後更好地利用這一點，確保儘可能使用更短的電話。這是一種相當常見的模式，以避免這種不必要的根源。考慮Environment.GetEnvironmentVariable(字符串)。它曾經呼喚環境。GetEnvironmentVariable(string, EnvironmentVariableTarget)重載，傳入默認的EnvironmentVariableTarget. process。相反，依賴關係被倒置了:Environment.GetEnvironmentVariable(string)重載只包含處理流程用例的邏輯，較長的重載有if (target == EnvironmentVariableTarget.Process)返回GetEnvironmentVariable(name);。這樣，僅僅使用簡單重載的最常見情況就不會引入處理其他不太常見目標所需的所有代碼路徑。另一個例子是dotnet/corefx#0944:對於只寫控制台而不從控制台讀取的應用程序，它允許更多的控制台內部鏈接。
• 使用延遲初始化，特別是對於靜態字段，例如dotnet/runtime#37909。如果使用了類型並調用了它的任何靜態方法，則需要保存它的靜態構造函數，由靜態構造函數初始化的任何字段也需要保存。如果這些字段在第一次使用時是延遲初始化的，那麼只有在執行延遲初始化的代碼是可訪問的情況下才需要保留這些字段。
• 使用特性開關，例如dotnet/runtime#38129(進一步受益於dotnet/runtime#38828)。在許多情況下，應用程序可能並不需要所有的特性集，比如日誌或調試支持，但從鏈接器的角度來看，它看到了正在使用的代碼，因此被迫保留它。然而，鏈接器能夠被告知它應該為已知屬性使用的替換值，例如，你可以告訴鏈接器，當它看到一個返回布爾值的類。對於某些屬性，它應該將其替換為常量false，這將反過來使它能夠刪除由該屬性保護的任何代碼。

Peanut Butter

在.NET Core 3.0性能後,我講過「花生醬」,許多小的改進,單獨不一定就會有巨大的差別,但處理成本,是整個代碼,否則塗抹和修復這些集體可以產生可測量的變化。和以前的版本一樣，在.NET 5中也有很多這樣受歡迎的改進。這裡有少數:

• 組裝加載更快。由於歷史原因，.NET Core有很多小的實現程序集，而拆分的目的也沒有什麼意義。然而，每一個需要加載的附加程序集都會增加開銷。dotnet/runtime#2189和dotnet/runtime#31991合併了一堆小程序集，以減少需要加載的數量。
• 更快的數學。改進了對NaN的檢查，使代碼為double。IsNan和浮動。更小的代碼和更快。來自@john-h-k的dotnet/runtime#35456是一個使用SSE和AMD64 intrinsics可測量地加速數學的好例子。CopySign MathF.CopySign。來自@Marusyk的dotnet/runtime#34452改進了對Matrix3x2和Matrix4x4的散列代碼生成。
• 更快的加密。來自@vcsjones的dotnet/runtime#36881在System.Security的不同位置使用了優化的BinaryPrimitives來代替開放編碼的等效代碼。來自@VladimirKhvostov的dotnet/corefx#39600優化了不受歡迎但仍在使用的加密。CreateFromName方法可以提高10倍以上的速度。
• 更快的互操作。dotnet/runtime#36257通過在Linux上避免特定於Windows的「ExactSpelling」檢查和在Windows上將其設置為true來減少入口點探測(在這裡運行時試圖找到用於P/調用的確切本機函數)。來自@NextTurn的dotnet/runtime#33020使用sizeof(T)而不是Marshal.SizeOf(Type)/Marshal.SizeOf()在一堆地方，因為前者比後者有更少的開銷。而dotnet/runtime#33967、dotnet/runtime#35098和dotnet/runtime#39059通過使用更多blittable類型、使用span和ref本地變量、使用sizeof等降低了幾個庫的互操作和封送處理成本。
• 更快的反射發出。反射發射使開發人員能夠在運行時寫出IL，如果你能夠以一種佔用更少空間的方式發射相同的指令，你就可以節省存儲序列所需的託管分配。各種IL操作碼在更常見的情況下有更短的變體，例如，Ldc_I4可以用來作為常量加載任何int值，但是Ldc_I4_S更短，可以用來加載任何sbyte，而Ldc_I4_1更短，用於加載值1。一些庫利用了這一點，並將它們自己的映射表作為它們的emit代碼的一部分，以使用最短的相關操作碼;別人不喜歡。dotnet/runtime#35427只是將這樣一個映射移動到ILGenerator本身中，使我們能夠刪除dotnet/runtime庫中的所有自定義實現，並在所有這些庫和其他庫中自動獲得映射的好處。
• 更快的I/O。來自@bbartels改進的BinaryWriter.Write(字符串)的dotnet/runtime#37705，為各種常見輸入提供了一個快速路徑。而dotnet/runtime#35978改進了在System.IO內部管理關係的方式。通過使用O(1)而不是O(N)查找進行打包。
• 到處都是小的分配。例如，dotnet/runtime#35005刪除ByteArrayContent中的內存流分配，dotnet/runtime#36228刪除System.Reflection中的List和底層T[]分配。刪除XmlConverter中的char[]分配。在HttpUtility中刪除一個char[]分配，在ModuleBuilder中刪除幾個可能的char[]分配，在dotnet/runtime#32301刪除一些char[]分配從字符串。拆分使用，dotnet/runtime#32422刪除了一個字符[]分配在AsnFormatter, dotnet/runtime#34551刪除了幾個字符串分配在System.IO。文件系統，dotnet/corefx#41363刪除字符[]分配在JsonCamelCaseNamingPolicy, dotnet/coreclr#25631刪除字符串分配從MethodBase.ToString()， dotnet/corefx#41274刪除一些不必要的字符串從CertificatePal。AppendPrivateKeyInfo dotnet/runtime#1155通過跨越從SqlDecimal @Wraith2刪除臨時數組,dotnet/coreclr#26584刪除拳擊以前發生在使用方法像GetHashCode方法在一些元組,dotnet/coreclr#27451刪除幾個分配反映在自定義屬性,dotnet/coreclr#27013刪除一些字符串分配從串連用常量代替一些輸入,而且dotnet/runtime#34774從string.Normalize中刪除了一些臨時的char[]分配。

New Performance-focused APIs

這篇文章強調了在.NET 5上運行的大量現有api會變得更好。此外，.NET 5中有許多新的api，其中一些專註於幫助開發人員編寫更快的代碼(更多的關注於讓開發人員用更少的代碼執行相同的操作，或者支持以前不容易完成的新功能)。以下是一些亮點，包括一些api已經被其他庫內部使用以降低現有api成本的情況:

• Decimal(ReadOnlySpan<int>) / Decimal.TryGetBits / Decimal.GetBits (dotnet/runtime#32155):在以前的版本中添加了很多span-based方法有效地與原語交流,decimal並得到span-based TryFormat和{}嘗試解析方法,但這些新方法在.NET 5使有效地構建一個十進制從跨度以及提取位decimal跨度。您可以看到，這種支持已經在SQLDecimal、BigInteger和System.Linq和System.Reflection.Metadata中使用。
• MemoryExtensions.Sort（dotnet/coreclr#27700）。 我之前談到過：新的Sort和Sort<TKey,TValue>擴展方法可對任意範圍的數據進行排序。 這些新的公共方法已經在Array本身（dotnet/coreclr#27703）和System.Linq（dotnet/runtime#1888）中使用。
• GC.AllocateArray和GC。AllocateUninitializedArray (dotnet/runtime#33526)。這些新的api就像使用新的T[length]，除了有兩個專門的行為:使用未初始化的變量允許GC交還數組沒有強行清算他們(除非它們包含引用,在這種情況下,必須明確至少),並通過真實bool固定參數返回從新固定數組對象堆(POH),從該數組在內存中保證永不動搖,這樣他們可以被傳遞給外部代碼沒有把他們(即不使用固定或GCHandle)。StringBuilder獲得支持使用未初始化的特性(dotnet/coreclr#27364)降低成本擴大其內部存儲,一樣新的TranscodingStream (dotnet/runtime#35145),甚至新的支持從隱私增強進口X509證書和集合郵件證書(PEM)文件(dotnet/runtime#38280)。您還可以看到在Windows SocketsAsyncEventArgs (dotnet/runtime#34175)實現中很好地使用了固定支持，其中需要為諸如ReceiveMessageFrom之類的操作分配固定緩衝區。
• StringSplitOptions。TrimEntries (dotnet /運行時# 35740)。字符串。分割重載接受一個StringSplitOptions enum，該enum允許分割可選地從結果數組中刪除空條目。新的TrimEntries枚舉值在使用或不使用此選項時首先調整結果。無論是否使用RemoveEmptyEntries，這都允許Split避免為一旦被修剪就會變成空的條目分配字符串(或者為分配的字符串更小)，然後與RemoveEmptyEntries一起在這種情況下使結果數組更小。另外，Split的使用者隨後對每個字符串調用Trim()是很常見的，因此將修剪作為Split調用的一部分可以消除調用者額外的字符串分配。這在dotnet/運行時中的一些類型和方法中使用，如通過DataTable、HttpListener和SocketsHttpHandler。
• BinaryPrimitives。{嘗試}{讀/寫}{雙/單}{大/小}尾數法(dotnet /運行時# 6864)。例如，在。net 5 (dotnet/runtime#34046)中添加的新的簡潔二進制對象表示(CBOR)支持中，您可以看到使用了這些api。
• MailAddress。TryCreate (dotnet/runtime#1052 from @MarcoRossignoli)和PhysicalAddress。{}嘗試解析(dotnet 和PhysicalAddress。{}嘗試解析(dotnet ) /運行時# 1057)。新的Try重載支持無異常的解析，而基於跨的重載支持在更大的上下文中解析地址，而不會導致子字符串的分配。
• unsafeSuppressExecutionContextFlow）（來自@MarcoRossignoli的dotnet/runtime#706）。 默認情況下，.NET中的異步操作會流動ExecutionContext，這意味着調用站點在執行繼續代碼時會隱式「捕獲」當前的ExecutionContext並「還原」它。 這就是AsyncLocal值如何通過異步操作傳播的方式。 這種流通常很便宜，但是仍然有少量開銷。 由於套接字操作可能對性能至關重要，因此當開發人員知道實例引發的回調中將不需要上下文時，可以使用SocketAsyncEventArgs構造函數上的此新構造函數。 例如，您可以在SocketHttpHandler的內部ConnectHelper（dotnet/runtime#1381）中看到此用法。
• Unsafe.SkipInit<T>  (dotnet/corefx#41995)。c#編譯器明確的賦值規則要求在各種情況下為參數和局部變量賦值。在非常特定的情況下，這可能需要額外的賦值，而不是實際需要的，在計算每條指令和性能敏感代碼中的內存寫入時，這可能是不可取的。該方法有效地使代碼假裝已寫入參數或本地，而實際上並沒有這樣做。它被用於對Decimal的各種操作(dotnet/runtime#272377)，在IntPtr和UIntPtr的一些新的api (dotnet/runtime#307來自@john-h-k)，在Matrix4x4 (dotnet/runtime#36323來自@eanova)，在Utf8Parser (dotnet/runtime#33507)，和在UTF8Encoding (dotnet/runtime#31904)
• SuppressGCTransitionAttribute (dotnet/coreclr#26458)。這是一個用於P/invoke的高級屬性，它使運行時能夠阻止它通常會引發的協作-搶佔模式轉換，就像它在對運行時本身進行內部「FCalls」時所做的那樣。需要非常小心地使用該屬性(請參閱屬性描述中的詳細注釋)。即使如此，你可以看到在Corelib (dotnet/runtime#27473)中的一些方法使用了它，並且JIT有一些懸而未決的變化，這將使它變得更好(dotnet/runtime#39111)。
• CollectionsMarshal.AsSpan (dotnet/coreclr# 26867)。這個方法為調用者提供了對List的後台存儲的基於spaner的訪問。
• MemoryMarshal.GetArrayDataReference (dotnet/runtime#1036)。這個方法返回對數組第一個元素的引用(或者如果數組不是空的，它應該在哪裡)。沒有執行驗證，因此它既危險又非常快。這個方法在Corelib的很多地方被使用，都是用於非常低級的優化。例如，它被用作前面討論的c# (dotnet/runtime#1068)中實現的cast helper的一部分，以及使用緩衝區的一部分。Memmove在不同的地方(dotnet/runtime#35733)。
• SslStreamCertificateContext (dotnet/runtime#38364)。當SslStream.AuthenticateAsServer{Async}提供了使用的證書，它試圖構建完整的X509鏈，一個操作可以有不同數量的相關成本，甚至執行I/O，如果需要下載額外的證書信息。在某些情況下，用於創建任意數量的SslStream實例的相同證書可能會發生這種情況，從而導致重複的開銷。SslStreamCertificateContext作為此類計算結果的一種緩存，工作可以在advanced中執行一次，然後傳遞給SslStream以實現任意程度的重用。這有助於避免重複的工作，同時也為呼叫者提供了更多的可預測性和對任何故障的控制。
• HttpClient。發送(dotnet/runtime#34948)。對於一些讀者來說，看到這裡調用的同步API可能會感到奇怪。雖然HttpClient是為異步使用而設計的，但我們發現了開發人員無法利用異步的情況，例如在實現僅同步的接口方法時，或者從需要同步響應的本地操作調用時，下載數據的需求無處不在。在這些情況下，強迫開發人員執行「異步之上的同步」(即執行異步操作，然後阻塞等待它完成)的性能和可伸縮性都不如一開始就使用同步操作。因此，.NET 5看到了添加到HttpClient及其支持類型的有限的新同步表面積。dotnet/runtime本身在一些地方使用了這個。例如，在Linux上，當X509Certificates support需要下載一個證書作為構建鏈的一部分時，它通常在一個代碼路徑上，這個代碼路徑需要在返回到OpenSSL回調的所有過程中是同步的;以前，這將使用HttpClient。GetByteArrayAsync，然後阻塞等待它完成，但這被證明給一些用戶造成明顯的可伸縮性問題…dotnet/runtime#38502改變它使用新的同步API代替。類似地，舊的HttpWebRequest類型是建立在HttpClient之上的，在以前的.NET Core版本中，它的同步GetResponse()方法實際上是在異步之上進行同步;就像dotnet/runtime#39511一樣，它現在使用同步HttpClient。發送方法。
• HttpContent.ReadAsStream (dotnet/runtime#37494)。這在邏輯上是HttpClient的一部分。發送上面提到的努力，但我單獨調用它，因為它本身是有用的。現有的ReadAsStreamAsync方法有點奇怪。它最初被公開為異步，只是為了防止自定義HttpContent派生類型需要異步，但是幾乎沒有發現任何覆蓋HttpContent的情況。ReadAsStreamAsync不是同步的，HttpClient請求返回的實現都是同步的。因此，調用方最終為返回的流的Task包裝器對象付費，而實際上它總是立即可用的。因此，新的ReadAsStream方法在這種情況下可以避免額外的任務分配。您可以看到在dotnet/runtime中以這種方式在不同的地方使用它，比如ClientWebSocket實現。
• 非泛型TaskCompletionSource (dotnet/runtime#37452)。由於引入了Task和Task， TaskCompletionSource是一種構建任務的方法，調用者可以通過它的{Try}Set方法手動完成這些任務。而且由於Task是從Task派生的，所以單個泛型類型可以同時用於泛型任務和非泛型任務需求。然而,這並不總是顯而易見的人,導致混亂對非泛型的情況下,正確的解決方案加劇了歧義的類型時使用T只是信口開河的.NET 5添加了一個非泛型TaskCompletionSource,不僅消除了困惑,但是幫助一點性能,因為它避免了任務需要隨身攜帶一個無用的空間T。
• Task.WhenAny(Task, Task)（dotnet/runtime#34288和 dotnet/runtime#37488）。 以前，可以將任意數量的任務傳遞給Task.WhenAny並通過其重載接受參數Task[] tasks。 但是，在分析此方法的使用時，發現絕大多數呼叫站點始終通過兩項任務。 新的公共重載針對這種情況進行了優化，關於此重載的一件整潔的事情是，僅重新編譯這些調用站點將使編譯器綁定到新的更快的重載而不是舊的重載，因此無需進行任何代碼更改即可受益於重載。

private Task _incomplete = new TaskCompletionSource<bool>().Task;

[Benchmark]
public Task OneAlreadyCompleted() => Task.WhenAny(Task.CompletedTask, _incomplete);

[Benchmark]
public Task AsyncCompletion()
{
    AsyncTaskMethodBuilder atmb = default;
    Task result = Task.WhenAny(atmb.Task, _incomplete);
    atmb.SetResult();
    return result;
}

還有太多System.Runtime.Intrinsics方法甚至開始提到!

New Performance-focused Analyzers

c#「Roslyn」編譯器有一個非常有用的擴展點，稱為「analyzers」或「Roslyn analyzers」。分析器插入到編譯器中，並被授予對編譯器操作的所有源代碼以及編譯器對代碼的解析和建模的完全讀訪問權，這使得開發人員能夠將他們自己的自定義分析插入到編譯中。最重要的是，分析器不僅可以作為構建的一部分運行，而且可以在開發人員編寫代碼時在IDE中運行，這使得分析器能夠就開發人員如何改進代碼提供建議、警告和錯誤。分析器開發人員還可以編寫可在IDE中調用的「修復程序」，並將標記的代碼自動替換為「修復的」替代品。所有這些組件都可以通過NuGet包分發，這使得開發人員很容易使用其他人編寫的任意分析。
Roslyn分析程序回購包含一組定製分析程序，包括舊FxCop規則的端口。它還包含新的分析程序，對於.NET5， .NET SDK將自動包含大量這些分析程序，包括為這個發行版編寫的全新分析程序。這些規則中有多個與性能相關，或者至少部分與性能相關。下面是一些例子:
檢測意外分配，作為距離索引的一部分。c# 8引入了範圍，這使得對集合進行切片變得很容易，例如someCollection[1..3]。這樣的表達式可以轉換為使用集合的索引器來獲取一個範圍，例如public MyCollection this[Range r] {get;}，或者如果沒有這樣的索引器，則使用Slice(int start, int length)。根據慣例和設計準則，這樣的索引器和切片方法應該返回它們所定義的相同類型，因此，例如，切片一個T[]將產生另一個T[]，而切片一個Span將產生一個Span。但是，這可能會導致隱式強制轉換隱藏意外的分配。例如，T[]可以隱式轉換為Span，但這也意味着T[]切片的結果可以隱式轉換為Span，這意味着如下代碼Span Span = _array[1..3];將很好地編譯和運行，除了它將導致由_array[1..]產生的數組片的數組分配。3]索引範圍。更有效的編寫方法是Span Span = _array.AsSpan()[1..3]。這個分析器將檢測幾個這樣的情況，並提供解決方案來消除分配。

[Benchmark(Baseline = true)]
public ReadOnlySpan<char> Slice1()
{
    ReadOnlySpan<char> span = "hello world"[1..3];
    return span;
}

[Benchmark]
public ReadOnlySpan<char> Slice2()
{
    ReadOnlySpan<char> span = "hello world".AsSpan()[1..3];
    return span;
}

優先使用流的內存重載。.NET Core 2.1為流添加了新的重載。ReadAsync和流。分別對Memory和ReadOnlyMemory操作的WriteAsync。這使得這些方法可以處理來自其他來源的數據，而不是byte[]，並且還可以進行優化，比如當{ReadOnly}內存是按照指定的方式創建的，它表示已經固定的或不可移動的數據時，可以避免進行固定。然而，新重載的引入也為選擇這些方法的返回類型提供了新的機會，我們分別選擇了ValueTask和ValueTask，而不是Task和Task。這樣做的好處是允許以更同步的方式完成調用來避免分配，甚至以更異步的方式完成調用來避免分配(儘管覆蓋的開發人員需要付出更多的努力)。因此，傾向於使用新的重載而不是舊的重載通常是有益的，這個分析器將檢測舊重載的使用並提供修復程序來自動切換到使用新重載,dotnet/runtime#35941有一些在發現的修復案例的例子。

private NetworkStream _client, _server;
private byte[] _buffer = new byte[10];

[GlobalSetup]
public void Setup()
{
    using Socket listener = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    var client = new Socket(AddressFamily.InterNetwork, SocketType.Stream, ProtocolType.Tcp);
    listener.Bind(new IPEndPoint(IPAddress.Loopback, 0));
    listener.Listen();
    client.Connect(listener.LocalEndPoint);
    _client = new NetworkStream(client);
    _server = new NetworkStream(listener.Accept());
}

[Benchmark(Baseline = true)]
public async Task ReadWrite1()
{
    byte[] buffer = _buffer;
    for (int i = 0; i < 1000; i++)
    {
        await _client.WriteAsync(buffer, 0, buffer.Length);
        await _server.ReadAsync(buffer, 0, buffer.Length); // may not read everything; just for demo purposes
    }
}

[Benchmark]
public async Task ReadWrite2()
{
    byte[] buffer = _buffer;
    for (int i = 0; i < 1000; i++)
    {
        await _client.WriteAsync(buffer);
        await _server.ReadAsync(buffer); // may not read everything; just for demo purposes
    }
}

最好在StringBuilder上使用類型重載。附加和StringBuilder.Insert有許多重載，不僅用於追加字符串或對象，還用於追加各種基本類型，比如Int32。即便如此，還是經常會看到像stringBuilder.Append(intValue.ToString())這樣的代碼。StringBuilder.Append(Int32)重載的效率更高，不需要分配字符串，因此應該首選重載。這個分析儀帶有一個fixer來檢測這種情況，並自動切換到使用更合適的過載。

[Benchmark(Baseline = true)]
public void Append1()
{
    _builder.Clear();
    for (int i = 0; i < 1000; i++)
        _builder.Append(i.ToString());
}

[Benchmark]
public void Append2()
{
    _builder.Clear();
    for (int i = 0; i < 1000; i++)
        _builder.Append(i);
}

首選StringBuilder.Append(char)，而不是StringBuilder.Append(string)。將單個字符附加到StringBuilder比附加長度為1的字符串更有效。但是，像private const string Separator = ":"這樣的代碼還是很常見的。…;如果const被更改為private const char Separator = ':';會更好。分析器將標記許多這樣的情況，並幫助修復它們。在dotnet/runtime中針對分析器修正的一些例子在dotnet/runtime#36097中。

[Benchmark(Baseline = true)]
public void Append1()
{
    _builder.Clear();
    for (int i = 0; i < 1000; i++)
        _builder.Append(":");
}

[Benchmark]
public void Append2()
{
    _builder.Clear();
    for (int i = 0; i < 1000; i++)
        _builder.Append(':');
}

優先選擇IsEmpty而不是Count。 與前面的LINQ Any() vs Count()相似，某些集合類型同時公開了IsEmpty屬性和Count屬性。 在某些情況下，例如像ConcurrentQueue 這樣的並發集合，確定集合中項目數的準確計數比僅確定集合中是否有任何項目要昂貴得多。 在這種情況下，如果編寫代碼來執行類似if（collection.Count！= 0）的檢查，則改為使用if（！collection.IsEmpty）會更有效。 該分析儀有助於發現並修復此類情況。

[Benchmark(Baseline = true)]
public bool IsEmpty1() => _queue.Count == 0;

[Benchmark]
public bool IsEmpty2() => _queue.IsEmpty;

首選Environment.ProcessId。 dotnet/runtime#38908 添加了新的靜態屬性Environment.ProcessId，該屬性返回當前進程的ID。 看到以前嘗試使用Process.GetCurrentProcess()。Id執行相同操作的代碼是很常見的。 但是，後者的效率明顯較低，它無法輕鬆地支持內部緩存，因此在每次調用時分配一個可終結對象並進行系統調用。 這款新的分析儀有助於自動查找和替換此類用法。

[Benchmark(Baseline = true)]
public int PGCPI() => Process.GetCurrentProcess().Id;

[Benchmark]
public int EPI() => Environment.ProcessId;

避免循環中的stackalloc。這個分析器並不能很大程度上幫助您使代碼更快，但是當您使用了使代碼更快的解決方案時，它可以幫助您使代碼正確。具體來說，它標記使用stackalloc從堆棧分配內存，但在循環中使用它的情況。從堆棧中分配的內存的一部分stackalloc可能不會被釋放,直到方法返回,如果stackalloc是在一個循環中使用,它可能導致比開發人員分配更多的內存,並最終導致堆棧溢出,崩潰的過程。你可以在dotnet/runtime#34149中看到一些修復的例子。

What’s Next?

根據.NET路線圖，.NET 5計劃在2020年11月發佈，這離我們還有幾個月的時間。雖然這篇文章展示了大量的性能進步已經釋放,我期望我們將會看到大量的額外性能改進發現在.NET 5,如果沒有其他原因比目前PRs等待一群(除了前面提到的其他討論),例如dotnet/runtime#34864和dotnet/runtime#32552進一步提高Uri, dotnet/runtime#402 vectorizes string.Compare ,dotnet/runtime#36252改善性能的Dictionary查找OrdinalIgnoreCase通過擴展現有non-randomization優化不區分大小寫,dotnet/runtime#34633 提供了一個異步執行DNS解析在Linux上,dotnet/runtime#32520顯著減少的開銷Activator.CreateInstance(),dotnet/runtime#32843 Utf8Parser。試着更快地解析Int32值，dotnet/runtime#35654提高了Guid相等度檢查的性能，dotnet/runtime#39117降低了eventlistener處理事件源事件的成本，而dotnet/runtime#38896從@Bond-009特殊情況下更多的輸入到Task.WhenAny。

最後，雖然我們真的很努力地避免性能退化，但是任何版本都將不可避免地出現一些性能退化，並且我們將花費時間調查我們找到的性能退化。這樣的回歸與一個已知的類特性使得在.NET5: ICU .NET Framework和以前版本的.NET Core 在Windows上使用國家語言支持(NLS) api全球化在Windows上,而net核心在Unix上使用國際Unicode (ICU).NET 5組件切換到使用默認ICU在所有操作系統如果是可用的(Windows 10包括截至2019年5月更新),使更好的行為一致性操作系統。但是，由於這兩種技術具有不同的性能概要，因此某些操作(特別是識別區域性的字符串操作)在某些情況下可能會變得更慢。雖然我們希望減少其中的大部分(這也將有助於提高Linux和macOS上的性能)，但是如果保留下來的任何更改都可能對您的應用程序無關緊要，那麼如果這些更改對您的特定應用程序產生了負面影響，您可以選擇繼續使用NLS。

有了.NET 的預覽和每晚的構建版本，我鼓勵您下載最新的版本，並在您的應用程序中試用它們。如果你發現你認為可以和應該改進的東西，我們歡迎你的PRs到dotnet/runtime!
編碼快樂!

由於文章較長真的是用了很長時間，中間機翻加糾正了一些地方，不過結局還是好的最後還是整理完成。希望能對大家有幫助，謝謝！

參考：//devblogs.microsoft.com/dotnet/performance-improvements-in-net-5/