深度探祕.NET 5.0

Eric zhou發表於2020-11-15

今年11月10號 .NET 5.0 如約而至。這是.NET All in one後的第一個版本,雖然不是LTS(Long term support)版本,但是是生產環境可用的。

微軟從.NET 5 Preview 1就開始在自己的網站上使用.NET 5 (Bing.com、dot.net已升級並執行了數個月),同時早期的.NET Core版本可以直接升級到.NET 5. 

有著微軟的背書,所以大家是可以放心使用的。

接下來,我們深入瞭解一下.NET 5.0這次帶來了哪些新的特性。

一、.NET 5.0 的一些亮點(Highlights)

1. 通過線上(生產環境)測試(battle-tested) : .NET5.0 通過在Bing.com和dot.net 託管執行數個月,全面通過了線上驗證,這證明這個版本是生產可用的

2. 效能大幅提升:GC、JIT、正規表示式、多執行緒和非同步處理、集合、LINQ、網路訪問、JSON序列化、gRPC等等,瞭解詳細可以訪問

3. C# 9和F# 9 的語言提升:例如C#9的頂級程式和記錄record,F#5提供了互動式程式設計,並提高了.NET的效能。

4. .NET庫增強了Json序列化,正規表示式和HTTP(HTTP 1.1,HTTP / 2)的效能。這一點在第二條中已經有所涉及。

5. P95 的延遲有所減少,得益於GC、分層編譯和其他元件的一些改進

6.更好、更靈活的應用部署選項:ClickOnce客戶端應用程式釋出,單檔案應用程式,減小的容器映像大小以及新增的Server Core容器映像。

7.平臺支援的範圍進一步擴充套件Windows Arm64WebAssembly

 二、再看統一平臺的願景

   2019年5月6號,微軟釋出了.NET 5.0 統一平臺的願景:將來只會有一個.NET,您將可以使用它來定位Windows,Linux,macOS,iOS,Android,tvOS,watchOS和WebAssembly等。

   

   實現這一願景的第一步是整合.NET倉庫,即:整合關鍵的.NET程式碼庫, 這是為.NET執行庫和庫提供一個儲存庫是在各處交付相同產品的前提。Blazor就是程式碼合併和.NET統一的最佳示例:Blazor WebAssembly的執行時和庫現在是從合併的dotnet /執行時倉庫中構建的。這意味著伺服器上的Blazor WebAssembly和Blazor使用與完全相同的程式碼List<T>。

   程式碼整合後,.NET Framework怎麼辦?

   .NET Framework仍然是受支援的Microsoft產品,並且每個新版本的Windows都將繼續支援.NET Framework。去年,微軟宣佈已停止向.NET Framework新增新功能,逐步向.NET Core新增更多的.NET Framework API。

   這就意味著,.NET Framework已經停更了,版本目前停留在.NET Framework 4.8. 

   這也是沒辦法的事情,統一後的.NET, 從.NET5.0開始迭代了。這次.NET 5.0的Release列表也能發現這個情況:

   

    在上述情況下,目前是將.NET Framework升級到.NET Core的最佳時機了。如果比較在意LTS版本,也可以等到明年.NET 6統一升級。對於此,微軟的建議是:

    對於.NET Framework客戶端開發人員,.NET 5.0支援Windows窗體和WPF。

    對於.NET Framework伺服器開發人員, 如果採用ASP.NET Core才能使用.NET 5.0。

    對於Web Forms開發人員,Blazor通過高效且更加現代的實現方式提供類似的開發人員體驗。

    對於WCF伺服器和Workflow使用者可以檢視支援這些框架的社群專案

    以上,對於統一後的.NET 5.0, 廣大.NET Developers 可以放心、開心地去擁抱這次升級和統一,這代表了.NET的未來。

 三、深入瞭解一下程式語言層面的提升(C# 9 和 F# 5)

   C#9和F#5是.NET 5.0版本的一部分,被包含在.NET 5.0 SDK中。接下來詳細看一下C# 9 的一些語言新特性(F# 5用的比較少,不再做詳細介紹):

  1. Top-level programs 頂級程式

   大家會問這是什麼?這是在頂級編寫程式的一種更簡單的方式:一個更簡單的 Program.cs 檔案。

   我們知道,原先在Program類中,必須有Main函式,這是程式的一個EntryPoint入口。

using System;

namespace NET5Demo
{
    class Program
    {
        static void Main(string[] args)
        {
            Console.WriteLine("Hello World!");
        }
    }
}

   .NET 5引入Top-level programs 後,我們不需要寫Main函式了。可以直接這麼寫:

System.Console.WriteLine("Hello World!");

 大家會有疑問,真的沒有Main函式了嗎?其實這是個語法糖,我們通過IL Spy看一下反編譯後的程式碼:

 

  2. 邏輯模式和屬性模式匹配(Logical and property patterns)

  我們可以使用not or and 實現更強的更靈活的邏輯模式匹配:

  先看一個邏輯匹配的Demo:

var input = Console.ReadKey();
if (input.KeyChar is 'Y' or 'y')
{
    Console.WriteLine("You choosed yes!");
}

  再看一個Switch的Demo:

int score = 90;
switch (score)
{
    case 0:
        Console.WriteLine("0分.");
        break;
    case > 0 and <= 60:
        Console.WriteLine("合格.");
        break;
    case > 60 and <= 80:
        Console.WriteLine("優秀.");
        break;
    case > 80 and <= 100:
        Console.WriteLine("卓越.");
        break;
}

 屬性模式匹配:通過兩個{},實現對物件屬性的模式匹配。

Type type = Type.GetType("System.String");
if (type is not null and { FullName: "System.String" })
{
    Console.WriteLine("It's type is System.String.");
}

  3. record型別

  record是一個新增的引用型別,與class很像,那麼大家會問?為什麼增加一個record型別呢?它的使用場景是什麼呢?

  答案:為了方便比較資料是否一致。我們寫個程式碼示意一下:

  假設我們有個User類,包含ID、Name、Gender、Tel幾個屬性,如果我們要對比2個User物件是否相等,我們可能需要逐個屬性對比,或重寫Equals、GetHashCode方法。

  那麼如果我們用record型別呢?

record User(int Id, string Name, int Gender, string Tel);

 做個物件對比的Demo:


var userA = new User(1, "小米", 1, "123456789");
var userB = new User(1, "小米", 1, "123456789");

if (userA == userB)
{
    Console.WriteLine("這是一個使用者.");
}

 總結一下:record型別讓開發省去了重寫相等比較的業務邏輯,同時簡化了型別定義和初始化

 4. 可空註解的增加和改進

  目前.NET library 類庫,已經全面設定了是否可空註解。其實這個特性其實在C# 8.0已經引入:C#8.0 引入了“可為空引用型別”和“不可為空引用型別”,使你能夠對引用型別變數的屬性作出重要宣告 :

  #nullable enable
  class A{ }

  即.NET 5.0的類庫中已經全面更新了這個註解,方便開發時進行檢視。

  同時,這次引入新的成員是否為空的註解:MemberNotNull 和 MemberNotNullWhen,例如以下的程式碼:

class UserManager
{
    User user = new User(1, "小米", 1, "123456789");

    [MemberNotNull(nameof(user))]
    public string GetUserName(string id)
    {
        return user.Name;
    }
}

  編譯器會智慧提示:CS8602警告

  

 四、工具類的新變化

  .NET 5.0 改進了Windows窗體設計器,更改了目標框架適用於.NET 5.0及更高版本的方式,更改了WinRT的支援方式,以及其他的一些改進。

  1. Windows窗體設計器:winform設計器

   Windows Forms設計器(用於.NET Core 3.1和.NET 5.0)已經在Visual Studio 16.8中進行了更新,現在支援所有Windows Forms控制元件。它還支援WinForms控制元件的Telerik UI。設計器包括您期望的所有設計器功能,包括:拖放,選擇,移動和調整大小,剪下/複製/貼上/刪除控制元件,與屬性視窗整合,事件生成等。資料繫結和對更廣泛的第三方控制元件的支援即將推出。

   

   2. .NET 5.0目標框架

   新增一個Console型別工程後,選擇目標框架是.NET 5.0, 其Project檔案內容是這樣的:

   

   新增一個Windows窗體應用工程後,選擇目標框架是.NET 5.0, 其Project檔案內容是這樣的:

   

   Windows桌面API(包括Windows窗體,WPF和WinRT)僅在定位時可用net5.0-windows。同時也可以指定作業系統版本,例如net5.0-windows7或net5.0-windows10.0.17763.0(對於Windows October 2018 Update)。

   如果要使用WinRT API,則需要定位Windows 10版本。

   總結一下:

  • net5.0 是.NET 5.0的新目標框架綽號,Target Framework Moniker(TFM)。
  • net5.0結合並替換netcoreapp和netstandard TFM。
  • net5.0支援.NET Framework相容模式
  • net5.0-windows 將用於公開Windows特定功能,包括Windows窗體,WPF和WinRT API。
  • .NET 6.0將使用相同的方法,並帶有net6.0和將新增net6.0-ios和net6.0-android。
  • 特定於作業系統的TFM可以包含作業系統版本號,例如net6.0-ios14。
  • 可移植的API(如ASP.NET Core)可與一起使用net5.0。帶有的Xamarin形式也是如此net6.0。

  3. WinRT Interop的重大改進

   在以Windows API為目標這一主題上,微軟已經移至一個新模型,以作為.NET 5.0的一部分來支援WinRT API。這包括呼叫API(在任一方向上; CLR <==> WinRT),兩個型別系統之間的資料封送處理以及打算在型別系統或ABI邊界上統一對待的型別的統一(即“投影型別” ”,IEnumerable<T>並且IIterable<T>是示例)。

   從.NET 5.0開始,原有的WinRT互操作體系已被移除。這是一個巨大的變化。這意味著使用WinRT和.NET Core 3.x的應用程式和庫需要重新開發對接,並且不能按原樣在.NET 5.0上執行。

   使用WinRT API的庫將需要多目標來管理.NET Core 3.1和.NET 5.0之間的這種差異。

   未來,.NET 將依靠Windows中的WinRT團隊提供的新CsWinRT工具。它生成基於C#的WinRT互操作程式集,可以通過NuGet交付該程式集。Windows團隊正是針對Windows中的WinRT API所做的。希望將WinRT(在Windows上)用作互作業系統的任何人都可以使用該工具,以將本機API公開給.NET或將.NET API公開給本機程式碼。

   關於CsWinRT工具,已經發布了1.0版本,具體可以參考連結:https://blogs.windows.com/windowsdeveloper/2020/11/10/announcing-c-winrt-version-1-0-with-the-net-5-ga-release/

   4. .NET Native Export/ .NET 本地匯出

    即本機二進位制檔案啟用匯出功能。

   .NET 開發團隊的Aaron Robinson一直在從事.NET Native Exports專案,該專案為將.NET元件作為本機庫釋出提供了更完整的體驗。

   .NET Native匯出專案能夠實現:

  • 公開自定義的本地出口。
  • 不需要像COM這樣的高階互操作技術。
  • 跨平臺工作

   類似的實現技術,還有:

   5. 事件管道

   事件管道是在.NET Core 2.2中新增的新子系統和API,可以在任何作業系統上執行效能和其他診斷調查。

   在.NET 5.0中,事件管道已得到擴充套件,以使事件探查器能夠寫入事件管道事件。

   對於以前依靠ETW(在Windows上)監視應用程式行為和效能的分析探查器,來說是一個很好的方案和選擇。

   這裡不做詳細展開了。

   6. 轉儲除錯,Dump分析除錯

   除錯託管程式碼需要了解託管物件和構造。資料訪問元件(DAC)是執行時執行引擎的子集,該引擎具有這些構造的知識,並且可以在沒有執行時的情況下訪問這些託管物件。

   現在,可以使用WinDBG或Windows在Windows上分析在Linux上收集的.NET Core程式轉儲dotnet dump analyze。

   本次釋出還增加了對從macOS上執行的.NET程式捕獲ELF轉儲的支援。由於ELF不是lldbmacOS上的本機可執行檔案(像這樣的本地偵錯程式將無法與這些轉儲一起使用)檔案格式,因此我們將其設為啟用功能。

   要在macOS上支援轉儲收集,請設定環境變數COMPlus_DbgEnableElfDumpOnMacOS=1。可以使用來分析產生的轉儲dotnet dump analyze。

   7. 列印環境資訊

   隨著.NET擴充套件了對新作業系統和晶片體系結構的支援,有時需要一種列印環境資訊的方法。.NET 5.0 建立了一個簡單的.NET工具來執行此操作,稱為dotnet-runtimeinfo。可以使用以下命令安裝和執行該工具:

dotnet tool install -g dotnet-runtimeinfo
dotnet-runtimeinfo

    

   五、執行時和類庫的提升

    1. RyuJIT的程式碼質量提升

    可以參考這個連結:Performance Improvements in RyuJIT in .NET Core and .NET Framework

    2. GC垃圾回收

  • Card mark stealing – dotnet/coreclr #25986  Server GC (on different threads) can now work-steal while marking gen0/1 objects held live by older generation objects. This means that ephemeral GC pauses are shorter for scenarios where some GC threads took much longer to mark than others.  ServerGC 中標記階段的耗時更短了
  • Introducing Pinned Object Heap – dotnet/runtime #32283 — Adds the Pinned Object Heap (POH). This new heap (a peer to the Large Object Heap (LOH)) will allow the GC to manage pinned objects separately, and as a result avoid the negative effects of pinned objects on the generational heaps. 新增固定物件堆(POH)。此新堆(與大物件堆(LOH)對等)將允許GC單獨管理固定物件,從而避免固定物件對堆的負面影響。
  • Allow allocating large object from free list while background sweeping SOH — Enabled LOH allocations using the free list while BGC is sweeping SOH. Previously this was only using end of segment space on LOH. This allowed for better heap usage.允許在後臺掃描SOH時從空閒列表中分配大物件
  • Background GC suspension fixes – dotnet/coreclr #27729 — Suspension fixes to reduce time for both BGC and user threads to be suspended. This reduces the total time it takes to suspend managed threads before a GC can happen. dotnet/coreclr #27578 also contributes to the same outcome. 掛起修復程式可減少BGC和使用者執行緒掛起的時間。這樣可以減少發生GC之前掛起託管執行緒所需的總時間。
  • Fix named cgroup handling in docker — Added support to read limits from named cgroups. Previously we only read from the global one. 修復了docker中命名cgroup處理的問題—新增了對從命名cgroups讀取限制的支援
  • Optimize vectorized sorting – dotnet/runtime #37159 — vectorized mark list sorting in GC which reduces the ephemeral GC pause time (also dotnet/runtime #40613). GC中的向量化標記列表排序,減少了短暫的GC暫停時間
  • Generational aware analysis – dotnet/runtime #40322 — generational aware analysis that allows you to determine what old generation objects hold on to younger generation objects thus making them survive and contribute to ephemeral GC pause time.GC代感知分析,能夠確定哪些舊世代物件保留在年輕代物件上,從而使它們得以生存並有助於短暫的GC暫停時間。
  • Optimize decommitting GC heap memory pages – dotnet/runtime #35896 — optimized decommit, much better decommit logic and for Server GC took decommit completely out of the “stop the world” phase which reduced blocking GC pause time.優化了取消授權,更好的取消授權邏輯,對於Server GC,完全取消了“停止一切”階段的授權,從而減少了阻塞GC的暫停時間

     整體總結一下,Server GC延遲更低了,CPU消耗更少、效能更好了。

     3. Windows Arm64的支援

     .NET應用程式現在可以在Windows Arm64上本機執行。在.NET Core 3.0中新增的對Linux Arm64的支援(對glibc和musl的支援)。使用.NET 5.0,可以在Windows Arm64裝置(例如Surface Pro X)上開發和執行應用程式。也可以通過x86模擬在Windows Arm64上執行.NET Core和.NET Framework應用程式。但是本機執行Arm64具有更好的效能。

     同時,.NET 5.0 SDK當前在Windows Arm64上不包含Windows桌面元件-Windows窗體和WPF。Windows Arm64上支援SDK,控制檯和ASP.NET Core應用程式,但Windows桌面元件不支援。

     4. Arm64效能優化

     .NET 5.0 中主要針對Arm64平臺做了以下優化:

  • 調整Arm64的JIT優化(示例
  • 啟用並利用Arm64硬體內部函式(示例)。
  • 調整Arm64庫中對效能至關重要的演算法(示例)。

     更多詳細資訊,請參見在.NET 5.0中提高Arm64效能

      5. P95 +延遲改進

      Stack Overflow的一位工程師Nick Craver最近分享了他們升級.NET Core後,對延遲的改進:

      問題頁面的展現時間中值從大約21毫秒(由於GC而有所增加)降至約15毫秒。

      第95個百分位數從〜40ms下降到〜30ms(相同測量)。第99位從〜60ms降至〜45ms。

      .NET專案組的解讀是這樣的:固定物件一直是GC效能的長期挑戰,因為它們會加速(或導致)記憶體碎片。.NET 5.0為固定物件新增了新的GC堆。該固定物件堆是基於這樣的假設(以空間換時間),他們的存在會導致不相稱的效能挑戰極少數固定的物件。將固定的物件(尤其是由.NET庫作為實現細節建立的物件)移動到唯一的區域是有意義的,而垃圾回收代的GC堆幾乎沒有或沒有固定的物件,因此具有更高的效能。

       6. 分層編譯效能改進

       關於分層編譯,大家可以參考這個連線:https://devblogs.microsoft.com/dotnet/tiered-compilation-preview-in-net-core-2-1

       在.NET 5.0中對分層編譯進行了兩項重大改進。下面這2段有點複雜,也比較晦澀

      分層編譯的主要機制是呼叫計數。一旦某個方法被呼叫了n次,執行時就會要求JIT以更高的質量重新編譯該方法。從最早的效能分析中,發現採用計數機制太慢,但是沒有找到解決該問題的直接方法。.NET 5.0中改進了分層JIT編譯所使用的呼叫計數機制,以平滑啟動期間的效能。在過去的發行版中,已經發現在程式生命週期的前10到15秒鐘內,效能會發生不可預測的變化(主要是針對Web伺服器)。目前應該已經解決了。

     另一個效能挑戰是對具有迴圈的方法使用分層編譯。根本的問題是,您可以使用帶有迴圈多次的迴圈的冷方法(僅呼叫一次或幾次; $ lt; n)。我們稱這種病理情況為“冷方法”。熱迴圈”。可以想象Main應用程式的方法會發生這種情況。結果,預設情況下,我們禁用了帶迴圈方法的分層編譯。相反,使應用程式可以選擇使用帶迴圈的分層編譯。在某些情況下看到了個位數的高效能改進後,PowerShell就是選擇執行此操作的應用程式。

     為了更好地解決迴圈問題,.NET 實現了棧上替換(OSR)。這類似於Java虛擬機器具有的同名功能。OSR允許在方法執行過程中重新編譯當前正在執行的方法執行的程式碼,而這些方法是“堆疊上”活動的。該功能目前處於試驗和選擇啟用狀態,並且僅在x64上可用。

     要使用OSR,必須啟用多個功能。目前.NET 5.0中沒有啟用OSR,這個功能尚未決定在生產環境中是否啟用,所以這個技術點,瞭解即可。

      7. JSON序列化 System.Text.Json

      .NET 5.0 對System.Text.Json進行了顯著改進,以提高效能和可靠性,同時API儘可能地和Newtonsoft.Json類似。它還包括對將JSON物件反序列化對record型別的支援。

      同時微軟提供了System.Text.Json替換Newtonsoft.Json的遷移指南。該指南詳細闡明瞭這兩個API之間的關係。

      如何從 Newtonsoft.Json 遷移到 System.Text.Json

      JsonSerializer.NET 5.0中的效能顯著提高。Stephen Toub在.NET 5中的效能改進中介紹了一些JsonSerializer改進

  六、應用程式部署

    應用程式開發完成後,根據實際的需要,可能會部署到Web伺服器,雲服務或客戶端計算機,或者使用Azure DevOps或GitHub Actions之類的服務進行CI/CD。

    .NET 5.0專注於改善單個檔案應用程式,減小docker多階段構建的容器大小,併為使用.NET Core部署ClickOnce應用程式提供更好的支援。

    1. 容器

    與容器的互動協作非常重要。這個版本中新增了OpenTelemetry支援,可以從應用程式中捕獲分散式跟蹤和指標。dotnet-monitor是一個新工具,可以作為從.NET程式訪問診斷資訊的主要工具。特別是,我們已經開始構建dotnet-monitor的容器變體,您可以將其用作應用程式sidecar。同時,.NET專案組正在構建dotnet / tye,以提高微服務開發人員在開發和部署到Kubernetes環境中的效率。

   .NET執行時現在支援cgroup v2,這個API預計將在2020年以後成為與容器相關的重要API。Docker當前使用cgroup v1(.NET已支援)。相比之下,cgroup v2比cgroup v1更簡單,更有效且更安全。.NET 5.0將在cgroup v2環境中正常工作。

   除了Nano Server,微軟還將釋出Windows Server Core映像,努力減小Windows Server Core映像的大小。

    更小的體積、更低的成本、更快的啟動效能。.NET 5.0中將SDK映像重新建立在ASP.NET映像之上,而不是buildpack-deps,這樣可以顯著減小在多階段構建方案中提取的聚合映像的大小。

 

   

    2. 單檔案應用    

    單個檔案應用程式作為單個檔案釋出和部署。該應用程式及其依賴項都包含在該檔案中。當應用程式執行時,依賴項直接從該檔案載入到記憶體中(不影響效能)。

    在.NET 5.0中,單個檔案應用程式主要集中在Linux上。它們可以是框架相關的,也可以是獨立的。依賴於全域性安裝的.NET執行時,依賴於框架的單個檔案應用程式可能很小。自包含的單檔案應用程式較大(由於帶有執行時),但不需要作為安裝前步驟就安裝.NET執行時,因此可以正常工作。通常,依賴框架對開發和企業環境有利,而對於ISV,獨立包含通常是更好的選擇。

    .NET Core 3.1製作了一個單檔案應用程式版本。它將二進位制檔案打包到一個檔案中以進行部署,然後將這些檔案解壓縮到一個臨時目錄中以載入並執行它們。在某些情況下,這種方法會更好,但是希望為5.0構建的解決方案將是首選,並且會受到歡迎。  

    可以使用以下命令來生成單檔案應用程式:

框架相關的單檔案應用程式:
dotnet publish -r linux-x64 --self-contained false /p:PublishSingleFile=true
自包含的單檔案應用程式:
dotnet publish -r linux-x64 --self-contained true /p:PublishSingleFile=true

  3. ClickOnce

    ClickOnce一直是流行的.NET部署選項,歷史也比較悠久了。.NET Core 3.1和.NET 5.0 Windows應用程式現在支援它。   

    

     以上是.NET 5.0 釋出後的技術梳理和整理,.NET 5.0作為.NET技術棧上近幾年一個重量級的里程碑,是All in one,統一平臺的第一個版本。現在有微軟的背書,微軟從.NET Preview 1就開始在自己的網站上執行.NET 5, (Bing.com、dot.net已升級並執行了數個月),同時早期的.NET Core版本可以直接升級到.NET 5. 所以大家可以放心使用的。也推薦大家逐步遷移升級到.NET 5.0.

    參考連結:

   https://devblogs.microsoft.com/dotnet/announcing-net-5-0?WT.mc_id=DT-MVP-5003918

   https://devblogs.microsoft.com/dotnet/performance-improvements-in-net-5/#json?WT.mc_id=DT-MVP-5003918

   https://blogs.windows.com/windowsdeveloper/2020/11/10/announcing-c-winrt-version-1-0-with-the-net-5-ga-release?WT.mc_id=DT-MVP-5003918

 

周國慶

2020/11/15

   

 

相關文章