.NET 8 Preview 4 发布

2023-06-02 0 320

原标题:.NET 8 Preview 4 发布

(本文阅读时间:25分钟)

转自:MSReactor

我们很高兴与大家分享在 .NET 8 预览版 4 中的所有新功能和改进!这次发布是继 预览版 3之后的

您可以为 Linux、macOS 和 Windows 下载 .NET 8 预览版 4

安装程序和二进制文件 https://dotnet.microsoft.com/download/dotnet/8.0 容器镜像 https://github.com/dotnet/dotnet-docker/blob/main/documentation/supported-tags.md 发行说明 https://github.com/dotnet/core/tree/main/release-notes/8.0 已知问题 https://github.com/dotnet/core/blob/main/release-notes/8.0/known-issues.md GitHub 问题跟踪器 https://github.com/dotnet/core/issues

查看在预览版 4 发布中 ASP.NET CoreEF Core中的新功能。了解最新的即将上线的.NET 8 的新功能。在整个发布过程中都将保持更新。

最后,.NET 8 已经与 17.7 预览版 1 进行了测试。我们建议您使用 预览渠道构建,如果您想尝试在 Visual Studio 系列产品中使用 .NET 8。Visual Studio for Mac 对 .NET 8 的支持尚未推出。如果您坚持使用稳定渠道,请查看Visual Studio 17.6 发布中的最新功能和改进。

现在,让我们来看一些 .NET 8 的新功能。

.NET 8 Preview 4 发布

.NET 8 预览版 4

https://dotnet.microsoft.com/next

预览版 3

https://devblogs.microsoft.com/dotnet/announcing-dotnet-8-preview-3/

ASP.NET Core

https://devblogs.microsoft.com/dotnet/asp-net-core-updates-in-dotnet-8-preview-4

EF Core

https://devblogs.microsoft.com/dotnet/announcing-ef8-preview-4

.NET 8 的新功能

https://learn.microsoft.com/dotnet/core/whats-new/dotnet-8

预览渠道构建

https://visualstudio.com/preview

Visual Studio 17.6

https://aka.ms/vs/v176GA

MSBuild:全新的现代化终端构建输出

https://github.com/dotnet/msbuild/issues/8370

我们经常收到用户反馈,指出默认的 MSBuild 输出(在内部称为控制台日志记录器)难以解析。它相当静态,通常是一大堆文字,而且在构建过程中会实时显示错误,而不是作为构建项目的一部分逻辑显示。我们认为这些都是很好的反馈意见,并很高兴推出我们对 MSBuild 输出日志更新、更现代化的第一个迭代版本。我们称之为 Terminal Logger,它有以下几个主要目标:

将错误与所属项目进行逻辑分组 以用户认为的构建方式展示项目/构建(尤其是多目标项目) 更好地区分项目构建的 TargetFrameworks 继续提供关于项目输出的概览信息 在整个构建过程中提供关于构建当前正在执行的操作的信息。

这是它的样子:

.NET 8 Preview 4 发布

可以使用 /tl 以及以下选项之一来启用新的输出:

auto – 默认设置,会在启用新日志记录器之前检查终端是否能够使用新功能,并且没有使用重定向的标准输出; on – 重写上述环境检测,并强制使用新的日志记录器; off – 重写上述环境检测,并强制使用之前的控制台日志记录器。

一旦启用,新的日志记录器将显示恢复阶段,然后是构建阶段。在每个阶段,当前正在构建的项目位于终端底部,每个正在构建的项目都会告诉您当前正在构建的 MSBuild Target 以及在该目标上花费的时间。我们希望这些信息让用户更清楚地了解构建过程,并为他们提供一个起点,以便在他们想要了解更多关于构建的信息时进行搜索!当项目全部构建完成后,将为每个构建编写一个“构建完成”段,用来捕获:

已构建项目的名称 目标框架(如果是多目标的!) 构建的状态 构建的主要输出(超链接以便快速访问) 最后是由该项目的构建生成的所有诊断信息

这个示例没有诊断信息 – 让我们看另一个在同一项目中引入了拼写错误的构建:

.NET 8 Preview 4 发布

在这里,您可以清楚地看到项目和拼写错误。

我们认为这种布局符合 .NET 的现代感,并利用现代终端的功能向用户提供更多关于他们构建的信息。我们希望您会尝试使用它,并为我们提供反馈,告诉我们它对您有什么作用以及您希望在这里看到的其他信息。我们希望将此日志记录器作为 MSBuild 新一批用户体验改进的基础 – 包括未来的进度报告和结构化错误等方面!在使用过程中,请通过这个调查或通过 MSBuild 代码库的讨论区向我们提供反馈。我们期待听到大家的声音!

这项工作是由 Eduardo Villalpando 启发并开始的,他是我们冬季实习生,深入研究了问题并真正帮助我们开辟了道路。没有他的帮助和对问题的热情,这一切都不可能实现!

这个调查

https://github.com/dotnet/msbuild/discussions

讨论区

https://github.com/dotnet/msbuild/discussions

SDK:简化的输出路径更新

https://github.com/dotnet/designs/pull/281 https://github.com/dotnet/sdk/pull/31955

预览版 3中,我们发布了 .NET SDK 项目的全新简化的输出路径布局,并请您提供关于使用新布局的反馈和经验。感谢您如此做!您的反馈引发了许多讨论,根据我们从尝试更改的每个人那里听到的反馈,我们对此功能进行了以下更新:

新布局的默认路径从 .artifacts 更改为 artifacts 我们将取消从 Project 文件而不是 Directory.Build.props 使用该功能的能力 我们通过将所需属性作为 dotnet new 的 buildprops 模板的选项,使您更容易开始使用此功能

我想深入了解导致我们进行这些更改的思考过程。你们几乎一致支持将文件夹名称中的 . 删除,主要是为了在 Unix 系统上的可见性,在那里 . 通常表示“隐藏”的文件或文件夹。所以我们知道我们想做出这个改变。然而,我们最初不想使用 artifacts 作为根路径有两个主要原因:

.gitignore 支持 .NET SDK 文件 globbing 障碍

我们不希望人们只为尝试这个功能就突然必须处理他们的 .gitignore文件更改,但经过一些研究,我们发现一些面向未来、有进取心的贡献者(谢谢 @sayedihashimi!)已经确保将artifacts包含在所有常见的 .gitignore文件模板中。这意味着我们不必担心用户意外地保存二进制文件。

我们还不想在 .NET SDK 用于在项目中查找要构建的源文件的默认 glob 模式中意外包含artifacts输出。如果我们将根路径从 .artifacts更改为 artifacts并让用户从项目文件级别使用新功能,那么我们还必须更改所有使 SDK 项目文件如此简洁的默认包含内容。这看起来非常容易出错,而且坦率地说,在用户体验上是一个失败的陷阱。因此,我们已经加强了使用该功能的要求 – 您现在必须通过 Directory.Build.props 文件选择该功能。这具有使特性更稳定的副作用。在此更改之前,推断的根文件夹位置会在创建 Directory.Build.props 文件时发生变化。现在,由于必须存在 Directory.Build.props 文件,Artifacts 路径的位置应保持稳定。

要尝试该功能的新版本,我们已经简化了生成正确的 Directory.Build.props 文件:只需运行dotnet new buildprops –use-artifacts,我们将为您生成所需的一切。生成的 Directory.Build.props 文件如下所示:

< Project> <!– See https://aka.ms/dotnet/msbuild/customize for more details on customizing your build –> < PropertyGroup> < ArtifactsPath> $(MSBuildThisFileDirectory)artifacts </ ArtifactsPath> </ PropertyGroup> </ Project>

请尝试这些更改,并继续通过 我们对此功能的调查告诉我们您的看法。

我们对此功能的调查

https://aka.ms/dotnet/sdk/simplified-output-path-survey

模板引擎:来自 Nuget.org 的包的安全体验

在 .NET 8 中,我们将把 NuGet.org 的几个安全相关功能集成到模板引擎中,尤其是在 dotnet new体验中。

改进

阻止从 http:\\ 供稿中下载包,但允许使用–force进行重写

NuGet 团队有一个逐步过渡到默认安全立场的记录计划。您可以在 HTTPS Everywhere博客文章中了解更多关于他们的计划以及所涉及的时间线。为了支持这个目标,当使用非 HTTPS 源时,我们将默认开始报错。这可以通过–force在 .NET 8 的时间范围内重写,但当前计划是在 .NET 9 时间范围内删除此标志,以符合 HTTPS Everywhere 时间线。

如果模板软件包在安装/更新/过期检查时存在任何漏洞,请通知客户,并请求 –force 来安装易受攻击的版本

.NET 8 Preview 4 发布

向搜索和卸载命令添加数据,显示模板是否从在 NuGet.org 中具有 保留前缀 的软件包中安装 添加关于模板包所有者的信息。 所有权 经过 nuget 门户验证,可以被视为值得信赖的特征

.NET 8 Preview 4 发布

HTTPS Everywhere

https://devblogs.microsoft.com/nuget/https-everywhere/

保留前缀

https://learn.microsoft.com/nuget/nuget-org/id-prefix-reservation

所有权

https://learn.microsoft.com/nuget/nuget-org/id-prefix-reservation

NuGet:在 Linux 上的签名包验证

从 .NET 8 预览版 4 SDK 开始,NuGet 将默认在 Linux 上验证签名包。验证在 Windows 上保持启用,并在 macOS 上禁用。

对于大多数 Linux 用户, 验证应该透明地进行。然而,位于 /etc/pki/ca-trust/extracted/pem/objsign-ca-bundle.pem的现有根证书束的用户可能会看到伴随 NU3042 的信任失败。

用户可以通过将环境变量 DOTNET_NUGET_SIGNATURE_VERIFICATION设置为 false 来选择不进行验证。请 提供您的反馈以帮助 NuGet 团队改进 Linux 上的体验

更多信息请参阅 https://github.com/dotnet/core/issues/7688

验证签名包

https://learn.microsoft.com/nuget/reference/signed-packages-reference

验证应该透明地进行

https://github.com/dotnet/sdk/blob/main/src/Layout/redist/trustedroots/README.md

NU3042

https://learn.microsoft.com/nuget/reference/errors-and-warnings/nu3042

提供您的反馈以帮助 NuGet 团队改进 Linux 上的体验

https://github.com/NuGet/Home/issues

NuGet:审核软件包依赖关系以查找安全漏洞

https://github.com/NuGet/Home/issues/8087

https://github.com/NuGet/Home/pull/12310

当您选择使用 NuGet 安全审计时,dotnet restore 将生成一个安全漏洞报告,其中包括受影响的包名称、漏洞严重性以及指向咨询更多详细信息的链接。

启用安全审计

当您希望接收安全审计报告时,您可以通过在 .csproj 或作为项目的一部分进行评估的 MSBuild 文件中设置以下 MSBuild 属性来选择加入此体验:

< NuGetAudit> true </ NuGetAudit>

当您希望接收安全审计报告时,您可以通过在 .csproj 或作为项目的一部分进行评估的 MSBuild 文件中设置以下 MSBuild 属性来选择加入此体验:

< packageSources> < addkey= “nuget.org”value= “https://api.nuget.org/v3/index.json”protocolVersion=“3”/> </ packageSources>

dotnet add package

当您尝试添加具有已知漏洞的包时,dotnet restore 将隐式运行并通过警告让您知道。

dotnet restore

当您通过 dotnet restore 恢复软件包时,您将看到每个受影响的软件包和建议的警告。

Warning codes

.NET 8 Preview 4 发布

设置安全审核级别

您可以将 <NuGetAuditLevel>MSBuild 属性设置为期望的审核失败级别。可选值有lowmoderatehighcritical。例如,如果您只想查看 moderatehighcritical建议,则可以设置以下内容:

< NuGetAuditLevel> moderate </ NuGetAuditLevel>

库:UTF8 改进

在 .NET 8 Preview 4 中,我们引入了新的 IUtf8SpanFormattable接口,就像它的表亲 ISpanFormattable一样,可以在类型上实现,以便将该类型的类似字符串表示形式写入目标 span。 ISpanFormattable面向 UTF16 和 Span<char>,而 IUtf8SpanFormattable 则面向 UTF8 和Span<byte>。除此之外,所有原始类型(以及其他类型)都已实现这个接口,无论是针对 stringSpan<char>还是 Span<byte>,都使用相同的共享逻辑(多亏了静态抽象接口),这意味着它完全支持所有格式(包括在 .NET 8 Preview 4 中新增的 “B” 二进制说明符)和所有区域设置。这意味着您现在可以直接从 Byte、Complex 、Char 、DateOnly、DateTime、DateTimeOffset 、Decimal、Double、Guid、Half、IPAddress、IPNetwork、Int16、Int32、Int64、Int128、IntPtr、NFloat、SByte、Single、Rune、TimeOnly、TimeSpan、UInt16、UInt32、UInt64、UInt128、UIntPtr ,以及 Version 格式化为UTF8。

此外,新的 Utf8.TryWrite方法现在为现有的基于 UTF16 的 MemoryExtensions.TryWrite方法提供了基于 UTF8 的对应方法。这些方法依赖于.NET 6 和 C# 10 中引入的插值字符串处理器支持,使您可以使用插值字符串语法将复杂表达式直接格式化为 UTF8 字节的跨度,例如:

staticboolFormatHexVersion( shortmajor, shortminor, shortbuild, shortrevision, Span< byte> utf8Bytes, outintbytesWritten ) => Utf8.TryWrite(utf8Bytes, CultureInfo.InvariantCulture,$” {major:X4}. {minor:X4}. {build:X4}. {revision:X4}, outbytesWritten);

实现还利用了新方法 Encoding.TryGetBytes,该方法及其对应方法 Encoding.TryGetChars 支持将编码/解码输出到目标跨度,只要跨度足够长以容纳生成的状态,并在长度不足时返回 false 而不是抛出异常。

我们预计在后续的 .NET 8 预览版本中出现更多 UTF8 的改进,包括但不限于此功能的性能改进。

.NET 6 和 C# 10 中引入的插值字符串处理器支持

https://devblogs.microsoft.com/dotnet/string-interpolation-in-c-10-and-net-6/

引入时间抽象

TimeProvider 抽象类的引入增加了时间抽象,使得在测试场景中可以模拟时间。这个功能也被其他依赖时间推移的特性所支持,例如Task.DelayTask.Async。这意味着即使是 Task 操作也可以轻松

publicabstractclassTimeProvider { publicstaticTimeProvider System {get; } protectedTimeProvider( ) publicvirtualDateTimeOffset GetUtcNow( ) publicDateTimeOffsetGetLocalNow( ) publicvirtualTimeZoneInfo LocalTimeZone { get; } publicvirtuallongTimestampFrequency {get; } publicvirtuallongGetTimestamp( ) publicTimeSpan GetElapsedTime( longstartingTimestamp ) publicTimeSpan GetElapsedTime( longstartingTimestamp, longendingTimestamp ) publicvirtualITimer CreateTimer( TimerCallback callback,object? state,TimeSpan dueTime, TimeSpan period ) } publicinterfaceITimer : IDisposable, IAsyncDisposable { boolChange( TimeSpan dueTime, TimeSpan period) ; } publicpartialclassCancellationTokenSource: IDisposable { publicCancellationTokenSource( TimeSpan delay, TimeProvider timeProvider) } publicsealedpartialclass PeriodicTimer : IDisposable { publicPeriodicTimer( TimeSpan period, TimeProvider timeProvider) } publicpartialclass Task : IAsyncResult, IDisposable { publicstaticTask Delay( System.TimeSpan delay, System.TimeProvider timeProvider) publicstaticTask Delay( System.TimeSpan delay, System.TimeProvider timeProvider, System.Threading.CancellationToken cancellationToken) publicTask WaitAsync( TimeSpan timeout, TimeProvider timeProvider) publicTask WaitAsync( TimeSpan timeout, TimeProvider timeProvider, CancellationToken cancellationToken) } publicpartialclass Task<TResult> : Task { publicnew Task<TResult>WaitAsync( TimeSpan timeout, TimeProvider timeProvider) publicnew Task<TResult> WaitAsync( TimeSpan timeout, TimeProvider timeProvider, CancellationToken cancellationToken) }

此外,我们在 .NET 8.0 中提供了抽象,并创建了一个名为Microsoft.Bcl.TimeProvider 的网络标准2.0库。这使得可以在 .NET Framework 以及 .NET 早期版本的支持版本上使用抽象。

namespaceSystem.Threading.Tasks { publicstaticclassTimeProviderTaskExtensions { publicstaticTask Delay( thisTimeProvider timeProvider, TimeSpan delay, CancellationToken cancellationToken =default) publicstaticTask<TResult> WaitAsync<TResult>(thisTask<TResult> task, TimeSpan timeout, TimeProvider timeProvider, CancellationToken cancellationToken =default) publicstaticTasks.Task WaitAsync( thisTask task, TimeSpan timeout, TimeProvider timeProvider, CancellationToken cancellationToken =default) publicstaticCancellationTokenSourceCreateCancellationTokenSource( thisTimeProvider timeProvider, TimeSpan delay ) } }

用例

// Get System time DateTimeOffset utcNow= TimeProvider.System.GetUtcNow; DateTimeOffset localNow = TimeProvider.System.GetLocalNow;

// Create a time provider that work with a time zone different than the local time zoneprivateclassZonedTimeProvider: TimeProvider{privateTimeZoneInfo _zoneInfo; publicZonedTimeProvider(TimeZoneInfo zoneInfo) : base( ) {_zoneInfo = zoneInfo ?? TimeZoneInfo.Local;}publicoverrideTimeZoneInfo LocalTimeZone {get=> _zoneInfo; } publicstaticTimeProvider FromLocalTimeZone( TimeZoneInfo zoneInfo)=> newZonedTimeProvider(zoneInfo); }

// Create a time using a time provider ITimer timer = timeProvider.CreateTimer(callBack, state, delay, Timeout.InfiniteTimeSpan);

// Measure a period using the system time providerlongproviderTimestamp1 = TimeProvider.System.GetTimestamp; longproviderTimestamp2 = TimeProvider.System.GetTimestamp;varperiod = GetElapsedTime(providerTimestamp1, providerTimestamp2);

https://github.com/dotnet/runtime/issues/36617

System.Runtime.Intrinsics.Vector512 和 AVX-512

自从我们在 .NET Framework 中首次引入支持以来,SIMD 支持已经成为 .NET 多年来的基本功能。在 .NET Core 3.0 中,我们 扩展了对 x86/x64 平台特定硬件内在 API 的支持。我们在 .NET 5 中再次扩展了这一点,支持 Arm64,并在 .NET 7 中引入跨平台硬件内在功能。.NET 8 也不例外,继续通过引入System.Runtime.Intrinsics.Vector512<T>及其在具有 AVX-512 支持的 x86/x64 硬件上的加速来进一步提高我们的支持。

AVX-512 本身带来了几个关键功能,其中 Preview 4 添加了对前三个功能的支持。最后一个仍然是我们希望在未来的进展中分享更多详细信息的工作:

支持 512 位向量操作 支持额外的 16 个 SIMD 寄存器 支持 128 位、256 位和 512 位向量可用的额外指令 支持掩码向量操作

如果您的硬件支持这个功能,那么 V ector512.IsHardwareAccelerated 将报告 true。我们还在 System.Runtime.Intrinsics.X86命名空间下暴露了几个平台特定的类,包括 Avx512F(基础)、 Avx512BW(字节和字)、 Avx512CD(冲突检测)、 Avx512DQ(双字和四字)以及 Avx512Vbmi(向量字节操作指令)。这些类的形式和布局与其他 ISA 相似,它们暴露了一个IsSupported属性和一个仅用于 64 位进程的指令嵌套类。此外,我们现在在每个类中都有一个嵌套类,该类为相应的指令集公开了 Avx512VL(向量长度)扩展。

由于上面列出的第二和第三个关键功能,即使您在代码中没有明确使用 Vector512或特定的 Avx512F指令,您仍然可能从这个功能中受益。这是因为当使用 Vector128<T>Vector256<T> 时,JIT 能够隐式地利用这些功能,包括 BCL 中使用硬件内在函数的所有地方,如 Span<T>ReadOnlySpan<T>中公开的大多数操作,许多原始类型的数学 API 等等。

这个功能已经有许多 Pull Requests 投入使用,它是许多人的努力成果,尤其是 https://github.com/anthonycanino, https://github.com/DeepakRajendrakumaranhttps://github.com/jkrishnavs

首次引入

https://devblogs.microsoft.com/dotnet/update-to-simd-support/

扩展了

https://devblogs.microsoft.com/dotnet/hardware-intrinsics-in-net-core/

Pull Requests

https://github.com/dotnet/runtime/pulls?q=is%3Apr+label%3Aarch-avx512+is%3Aclosed+

Native AOT 改进

我们已经更新了默认console模板并添加了对 AOT 的开箱即用支持。现在可以调用 dotnet new console –aot来创建为 AOT 编译配置的项目。通过 –aot添加的项目配置有三个效果:

使用 dotnet publish 或 Visual Studio 发布项目时,将生成具有本地 AOT 的本地自包含可执行文件。 启用针对修剪、AOT 和单文件的基于 Roslyn 的兼容性分析器,这些分析器将在您选择的编辑器中标记项目中可能存在问题的部分(如果有的话)。 在没有 AOT 编译的情况下进行调试时,启用 AOT 的调试时模拟功能,以便获得与 AOT 类似的体验。这样可以确保例如在未针对 AOT 注释的 NuGet 包中使用 Reflection.Emit(因此被兼容性分析器忽略)在您首次尝试使用 AOT 发布项目时不会让您大吃一惊。

我们还继续改进使用 Native AOT 的基本性能,如运行时吞吐量、内存使用和磁盘上的大小。在 Preview 4 中,我们添加了一种表达优化偏好的方式,例如速度或大小。默认设置尝试在这两者之间取得平衡,但现在我们也引入了一种方法来指定如何权衡。

例如,在 x64 Windows 上针对 dotnet new console –aot的结果进行大小优化,在 Preview 4 中可以实现以下节省:

以上是一个完全自包含的应用程序的大小,该应用程序包括运行时(包括 GC)和所有必要的类库。

在 Preview 4中,我们观察到,对速度进行优化可以使真实工作负载的吞吐量提高2-3%。

优化偏好

https://learn.microsoft.com/dotnet/core/deploying/native-aot/optimizing

Linux 发行版版本支持

我们 之前宣布将更新 .NET 8 支持的 Linux 发行版版本。这些更改包含在 Preview 4 中,特别是 .NET 8 针对的 glibc版本。

.NET 8 是 针对 Ubuntu 16.04 构建的,适用于所有体系结构。这对于定义 .NET 8 的最低 glibc版本非常重要。.NET 8 无法在包含较旧的 glibc 发行版版本(例如 Ubuntu 14.04 或 Red Hat Enterprise Linux 7)上启动。

我们也在更新 .NET 8 Linux 以使用clang 16。我们预计这一变更将包含在 Preview 5 中。我们不会为这个变更另外发布公告。

没有其他重大变化。我们将继续在 Arm32、Arm64 和 x64 架构上支持 Linux 上的 .NET。

之前宣布

.NET 8 支持的 Linux 发行版版本

https://github.com/dotnet/core/blob/main/release-notes/8.0/supported-os.md#linux

针对 Ubuntu 16.04 构建的

https://github.com/dotnet/runtime/issues/83428

clang 16

https://www.phoronix.com/news/LLVM-16.0-Released

System.Text.Json:填充只读成员

从 .NET 8 Preview 4 开始,System.Text.Json 引入了反序列化到只读属性或字段的能力。

我们还引入了一个选项,允许开发者为所有可填充的属性启用它 – 例如自定义转换器可能与此功能不兼容:

JsonSerializerOptionsoptions = new{PreferredObjectCreationHandling= JsonObjectCreationHandling.Populate };

对于现有希望使用此功能但担心兼容性的应用程序,可以通过在要填充的属性类型上放置[JsonObjectCreationHandling(JsonObjectCreationHandling.Populate)] 属性来逐个启用该功能。

例如,要对一个特定类的所有属性启用填充:

usingSystem.Text.Json; usingSystem.Text.Json.Serialization;

JsonSerializerOptions options = new{WriteIndented = true, // Instead of granular control we could also enable this globally like this:// PreferredObjectCreationHandling = JsonObjectCreationHandling.Populate};

CustomerInfo customer = JsonSerializer.Deserialize<CustomerInfo>(“”“{“Person “:{“Name “:”John “},”Company “:{“Name “:”John and Son “}}”“”, options)!;

Console.WriteLine(JsonSerializer.Serialize(customer, options));

classPersonInfo{// there is nothing here to be populated since string cannot be re-usedpublicrequired stringName { get; set; }publicstring? Title { get; set; } }

classCompanyInfo{publicrequired stringName { get; set; } publicstring? Address {get; set; } publicstring? PhoneNumber { get; set; } publicstring? Email { get; set; } }

// notes:// – attribute does not apply to the `CustomerInfo` class itself: i.e. properties of type `CustomerInfo` wouldnt be auto-populated// – automatic rules like these can be implemented with contract customization// – attribute do apply to `Person` and `Company` properties// – attribute can also be placed on individual properties[ JsonObjectCreationHandling(JsonObjectCreationHandling.Populate)] classCustomerInfo{privateconststringNA = “N/A”;

// note how neither of these have setterspublicPersonInfo Person {get; } = newPersonInfo { Name = “Anonymous”, Title = “Software Developer”}; publicCompanyInfo Company { get; } = newCompanyInfo { Name = NA, Address = NA, PhoneNumber = NA, Email = NA }; }

上述输出与通过全局选项实现的输出相同:

{“Person”: { “Name”: “John”, “Title”: “Software Developer”},“Company”: { “Name”: “John and Son”, “Address”:“N/A”, “PhoneNumber”: “N/A”, “Email”: “N/A”}}

之前,为作比较,我们会看到我们的输入,但由于没有可设置的属性 Person Company 来反序列化,我们会完全忽略输入,并且输出只显示默认值:

{“Person”: { “Name”: “Anonymous”, “Title”: “Software Developer”},“Company”: { “Name”: “N/A”, “Address”: “N/A”, “PhoneNumber”: “N/A”, “Email”: “N/A”}}

填充只读成员的其他注意事项

更多信息请参阅设计的原始 issue: https://github.com/dotnet/runtime/issues/78556 结构体也可以进行填充,但填充过程是先创建一个副本,然后将其设置回属性,因此这些属性也需要设置器 集合的填充以累加方式进行 – 将现有集合及其所有内容视为原始对象,因此保留了所有现有元素 – 此行为可以通过契约定制和/或反序列化回调进行更改

System.Text.Json 改进

JsonSerializer.IsReflectionEnabledByDefault

https://github.com/dotnet/runtime/pull/83844

JsonSerializer 类公开了许多可接受可选参数JsonSerializerOptions 的序列化和反序列化方法。如果未指定,则这些方法默认使用基于反射的序列化器。在经过裁剪/Native AOT 应用程序的上下文中,这个默认值可能会对应用程序大小产生影响:即使用户小心地传递一个源生成的值,它仍然会导致修剪器根据反射组件进行操作。

System.Text.Json 现在附带了用于控制 JsonSerializer方法默认行为的功能开关 System.Text.Json.JsonSerializer.IsReflectionEnabledByDefault。在发布时将该开关设置为 false现在可以避免意外地固定反射组件。应该注意的是,禁用该开关后,这段代码

JsonSerializer.Serialize( new{ Value = 42});

会因 NotSupportedException异常而失败。需要显式传递已配置的 JsonSerializerOptions才能使方法正常工作。

此外,功能开关的值反映在 JsonSerializer.IsReflectionEnabledByDefault属性中,该属性被视为链接时常量。基于 System.Text.Json 构建的库作者可以依赖该属性来配置其默认值,同时不会意外地固定反射组件。

staticJsonSerializerOptions GetDefaultOptions( ) {if(JsonSerializer.IsReflectionEnabledByDefault){// This branch has a dependency on DefaultJsonTypeInfo// but will get trimmed away by the linker if the feature switch is disabled.returnnewJsonSerializerOptions{TypeInfoResolver = newDefaultJsonTypeInfoResolver, PropertyNamingPolicy = JsonNamingPolicy.KebabCase,}}returnnew{ PropertyNamingPolicy = JsonNamingPolicy.KebabCaseLower } ; }

JsonSerializerOptions.TypeInfoResolverChain

https://github.com/dotnet/runtime/issues/83095

在 .NET 7 中发布时,契约定制功能通过 JsonTypeInfoResolver.Combine方法添加了对链接源生成器的支持。

varoptions = newJsonSerializerOptions {TypeInfoResolver = JsonTypeInfoResolver.Combine(ContextA.Default, ContextB. Default, ContextC. Default); };

根据我们收到的反馈,这种方法存在一些可用性问题:

它需要在一个调用站点指定所有链式组件 —— 事实上,解析器无法在链之前或之后添加。 因为链式实现是抽象在 IJsonTypeInfoResolver 实现后面的,用户无法检查链或从中移除组件。

JsonSerializerOptions类现在包括一个与 TypeInfoResolver相辅相成的属性: TypeInfoResolverChain

namespaceSystem.Text.Json;

publicpartialclassJsonSerializerOptions{publicIJsonTypeInfoResolver? TypeInfoResolver { get; set; }publicIList<IJsonTypeInfoResolver> TypeInfoResolverChain { get; } }

现在可以按如下方式操作原始示例中定义的选项实例:

options.TypeInfoResolverChain.Count; // 3options.TypeInfoResolverChain.RemoveAt(0); options.TypeInfoResolverChain.Count; // 2

需要注意的是, TypeInfoResolverTypeInfoResolverChain属性始终保持同步,因此对一个属性的更改将强制对另一个属性进行更新。

弃用的 JsonSerializerOptions.AddContext

https://github.com/dotnet/runtime/issues/83280

JsonSerializerOptions.AddContext已被 TypeInfoResolverTypeInfoResolverChain属性取代,因此它现在被标记为废弃。

无法形容的类型支持

https://github.com/dotnet/runtime/issues/82457

编译器生成或“无法形容”的类型在弱类型的源代码 gen scenaria 中很难得到支持。在 .NET 7 中,以下应用

objectvalue= Test; JsonSerializer.Serialize(value, MyContext.Default.Options);

asyncIAsyncEnumerable< int> Test( ) {for( inti = 0; i < 10; i++) {awaitTask.Delay( 1000); yieldreturni; }}

[ JsonSerializable(typeof(IAsyncEnumerable<int>))]internalpartialclassMyContext: JsonSerializerContext{}

将运行失败并报错

Metadata fortypeProgram+<<<Main>$>g__Test|0_5>dwas not provided by TypeInfoResolver of typeMyContext

这是因为编译器生成的类型 Program+<<Main>$>g_Test|0_5>d不能由源生成器显式指定。

从 Preview 4 开始,System.Text.Json 将执行运行时最近祖先解析,以确定用于序列化值的最合适的超类型(在本例中,是 IAsyncEnumerable<int>)。

JsonSerializerOptions.TryGetTypeInfo

https://github.com/dotnet/runtime/pull/84411

Preview 4 现在包括 GetTypeInfo方法的 Try- 变体,如果找不到指定类型的元数据,该方法将返回 false。

JsonSerializerOptions.AddContext

https://learn.microsoft.com/dotnet/api/system.text.json.jsonserializeroptions.addcontext?view=net-8.0

GetTypeInfo

https://learn.microsoft.com/dotnet/api/system.text.json.jsonserializeroptions.gettypeinfo?view=net-8.0

Codegen

连续寄存器分配

在此预览版本中,我们在我们的寄存器分配器中引入了一种名为“连续寄存器”分配的新功能。在深入了解它包含什么以及为什么有必要之前,让我们首先回顾一下什么是寄存器分配以及它在 RyuJIT 中是如何工作的。

Arm64 有两个指令, TBLTBX,它们用于表向量查找。这些指令将“元组”作为其操作数之一,该操作数可以包含2、3或4个实体。在 PR#80297中,我们在 AdvSimd 命名空间下为这些指令添加了两组 API,分别为 VectorTableLookup 和 VectorTableLookupExtension。然而,这些指令要求元组中的所有实体都存在于连续的寄存器中。为了更好地理解这个要求,让我们看一个例子。

publicstaticVector128< byte> Test( floatf ) {vara = Produce1; varb = Produce2; varc = a + b;vard = c + a; vare = d + b; d = AdvSimd.Arm64.VectorTableLookup((d, e, e, b), c); }

这是为该方法生成的代码。

movzx0, #0xD1FFAB1E // code for helloworld:Produce1:System.Runtime.Intrinsics.Vector128`1[ubyte]movkx0, #0xD1FFAB1E LSL #16movkx0, #0xD1FFAB1E LSL #32ldrx0, [x0]blrx0strq0, [fp, #0x20] // [V01 loc0]movzx0, #0xD1FFAB1E // code for helloworld:Produce2:System.Runtime.Intrinsics.Vector128`1[ubyte]movkx0, #0xD1FFAB1E LSL #16movkx0, #0xD1FFAB1E LSL #32ldrx0, [x0]blrx0ldrq16, [fp, #0x20] // [V01 loc0]addv17.16b, v16.16b, v0.16bstrq17, [fp, #0x10] // [V03 loc2]addv16.16b, v17.16b, v16.16baddv18.16b, v16.16b, v0.16bmovv17.16b, v18.16bmovv19.16b, v0.16bldrq20, [fp, #0x10] // [V03 loc2]tblv16.16b, {v16.16b, v17.16b, v18.16b, v19.16b}, v20.16baddv0.16b, v0.16b, v16.16b

在给定的示例中,VectorTableLookup 接受一个由4个矢量 d, e, e 和 b 组成的元组,它们通过连续的寄存器 v16 到 v19 传递。尽管第2个和第3个值都是相同的变量 e,但它们仍然在不同的寄存器 v17 和 v18 中传递。这带来了寻找不仅是多个空闲(或忙碌)寄存器(2、3 或 4 个)用于 tbl 和 tbx 指令,而且是连续寄存器的复杂性。为了容纳这个新要求,我们的算法必须在各个阶段进行更新,例如在为元组的第一个实体分配寄存器时提前检查连续寄存器是否空闲,确保已分配的寄存器是连续的,如果变量已经分配了寄存器并且它们不连续,以及在可用时添加压力测试场景以处理交替寄存器。在PR#85189中,@MihaZupan 在 ProbabilisticMap 的 IndexOf 方法中使用 VectorTableLookup,得到了30%的提升。

TBL

https://marketplace.visualstudio.com/items?itemName=vscjava.vscode-java-pack

TBX

https://developer.arm.com/documentation/dui0801/g/A64-SIMD-Vector-Instructions/TBX–vector-

PR#80297

https://github.com/dotnet/runtime/pull/80297

PR#85189

https://github.com/dotnet/runtime/pull/85189

优化 ThreadStatic 字段访问

访问标有 ThreadStatic 的字段必须通过辅助调用,这些调用会在访问字段数据之前访问当前线程和模块的线程局部存储(TLS)。在PR#82973 中,我们将所有这些代码内联,因此可以在不进入辅助函数的情况下检索字段的值。这将字段访问性能提高了10倍。

PR#82973

https://github.com/dotnet/runtime/pull/82973

Arm64

我们继续提高 Arm64 的代码质量,我们的朋友 @SwapnilGaikwad 和 @a74nh 在 Arm 为该版本做出了一些很好的贡献。

在 PR#84350 中,将“str wzr”对优化并替换为了“str xzr”。

https://github.com/dotnet/runtime/pull/84350

在 PR#84135 中,针对 SIMD 寄存器启用了 ldp/stp 的窥孔优化。

https://github.com/dotnet/runtime/pull/84135

在 PR#83458 中,在可能的情况下,用成本较低的 mov 指令替换了负载。

https://github.com/dotnet/runtime/pull/83458

在 PR#79283 中,将 if 语句中的条件与比较链组合。

https://github.com/dotnet/runtime/pull/79283

在 PR#82031 中,在可能的情况下开始使用 cinc 而不是 csel。

https://github.com/dotnet/runtime/pull/82031

在 PR#84667 中,将neg和cmp组合为cmn

https://github.com/dotnet/runtime/pull/84667

在 PR#84605 中,将 cmp 和 shift 操作组合成一个 cmp 操作

https://github.com/dotnet/runtime/pull/84605

在 PR#83694 中,添加 IsVNNeverNegative(改进了所有架构,但对 ARM64 影响较大)

https://github.com/dotnet/runtime/pull/83694

直到现在,如果其中一个值来自局部变量,那么将不会执行 load/store pair 窥孔优化。PR#84399 修复了这个限制,并广泛启用了窥孔优化。

https://github.com/dotnet/runtime/pull/84399

在 PR#85258 中,将 Arm64 上的 >>> 运算符优化为 ShiftRightLogical 内部指令。

https://github.com/dotnet/runtime/pull/85258

社区 PR(非常感谢 JIT 社区贡献者们!)

@SingleAccretion 在 Preview 4 中贡献了 20个 PR 。其中许多工作集中在内部清理和简化那些在 JIT 上工作的每个人都需要理解的概念上。例如,JIT 内部 IR 中的许多节点类型完全被移除,以支持更规则或更简单的表示。 https://github.com/dotnet/runtime/pulls?q=is%3Apr+is%3Amerged+label%3Aarea-CodeGen-coreclr+closed%3A2023-03-21..2023-04-25++-milestone%3A7.0.x+author%3Asingleaccretion @Ruihan-Yin 在 LinearScan:: buildPhysRegRecords 上添加了关于 zmm 寄存器的宏, PR#83862 。 https://github.com/dotnet/runtime/pull/83862 请参考 CodeGen Arm64 部分以了解 @a74nh 和 @SwapnilGaikwad 的贡献。

改进代码向量化

JIT/NativeAOT 现在可以使用 SIMD(包括 x64 上的 AVX-512 指令!)展开并自动向量化各种内存操作,如比较、复制和归零,如果它可以在编译时确定它们的大小:

PR#83255 通过 SIMD 使 stackalloc 归零速度提高了2-3倍 PR#83638 、 PR#83740 和 PR#84530 为各种类似“复制缓冲区”的操作启用自动向量化。 PR#83945 对所有原始类型进行了相同的比较,包括 SequenceEqual 和 StartsWith。以下代码片段是 JIT 现在可以自动向量化的一个很好的示例模式:boolCopyFirst50Items(ReadOnlySpan<int> src, Span<int> dst) =>src.Slice(0,50).TryCopyTo(dst);“`csharp“`asm;Method CopyFirst50Itemspushrbpvzerouppermovrbp, rspcmpedx, 50 ;; src.Length >= 50 ?jbSHORT G_M1291_IG05xoreax, eaxcmpr8d, 50 ;; dst.Length >= 50 ?jbSHORT G_M1291_IG04vmovdquzmm0, zmmword ptr [rsi]vmovdquzmm1, zmmword ptr [rsi+40H]vmovdquzmm2, zmmword ptr [rsi+80H]vmovdquxmm3, xmmword ptr [rsi+B8H]vmovdquzmmword ptr [rcx], zmm0vmovdquzmmword ptr [rcx+40H], zmm1vmovdquzmmword ptr [rcx+80H], zmm2vmovdquxmmword ptr [rcx+B8H], xmm3moveax, 1G_M1291_IG04: poprbpretG_M1291_IG05: call[System.ThrowHelper:ThrowArgumentOutOfRangeException]int3;Total bytes of code: 96

在这里,JIT 使用了3个 ZMM(AVX-512)寄存器来执行类似于 memmove 的操作并内联(即使 src 和 dst 重叠)。对于编译时常量数据(例如 utf8 字面值),将生成类似的代码。

boolWriteHeader( Span< int> dst ) => “text/html”u8.CopyTo(dst); boolStartsWithHeader( Span<int> dst ) => dst.StartsWith( “text/html”u8);

PR#83255

https://github.com/dotnet/runtime/pull/83255

PR#83638

https://github.com/dotnet/runtime/pull/83638

PR#83740

https://github.com/dotnet/runtime/pull/83740

PR#84530

https://github.com/dotnet/runtime/pull/84530

PR#83945

https://github.com/dotnet/runtime/pull/83945

一般优化

PR#83911 在 NativeAOT 中,静态初始化现在更便宜。 https://github.com/dotnet/runtime/pull/83911 PR#84213 和 PR#84231 改善了 arr[arr.Length – cns] 和 arr[index % arr.Length] 模式的边界检查消除。 https://github.com/dotnet/runtime/pull/84213 https://github.com/dotnet/runtime/pull/84231 对于更多情况(如小类型)启用了前向替换优化, PR#83969 。 https://github.com/dotnet/runtime/pull/83969 PR#85251 在寄存器分配期间改善了一些溢出情况。 https://github.com/dotnet/runtime/pull/85251 PR#84427 改善了 PGO 执行的可扩展性 https://github.com/dotnet/runtime/pull/84427 我们继续改进 JIT 循环优化功能。在 Preview 4 中,我们改进了可达性集合的计算, PR#84204 。 https://github.com/dotnet/runtime/pull/84204

社区焦点(Lachlan Ennis)

我的名字是 Lachlan Ennis,我是 Expert1 的全栈软件开发人员,为澳大利亚的中小型金融公司编写软件。我住在澳大利亚昆士兰州的布里斯班市。我毕业于昆士兰科技大学(QUT),获得了信息技术学士学位,但我的大部分编程技能都是在工作中学到的。我们主要使用 .NET 和 MSSQL 编写软件。我们还为我们的产品使用 Winforms。

我对 .NET 的第一次贡献是在 dotnet/msbuild 中,我利用代码分析来提高代码质量和性能。这帮助 msbuild 在编码标准上更接近于 dotnet/runtime,并启用了代码分析规则。然后,当我偶然发现一个讨论 Winforms 互操作层以及如何改进它的问题时,我转向了 Winforms 的工作。我之前在 msbuild 中做过一些关于互操作的小工作,看到它可能会有多困难。我建议 Winforms 使用 CsWin32,因为它使用源代码生成器创建 PInvokes 以及友好的重载。这之后引发了 Microsoft/CsWin32 和 Microsoft/Win32Metadata 中许多问题和 PR,以便为 Winforms 提供所需的 API。

在处理互操作更改后,我转向 issue 队列,帮助调查积压的问题。通常,issue 需要有人推动调查,直到 Winforms 团队能够接管足够的信息,或者如果问题足够明显,则提交一个 PR 来修复这个 issue。我也会帮忙在社区中努力为 Winforms 代码库添加空注释。

在 dotnet 开源软件上工作确实有助于扩展我的 dotnet、C# 和 winforms 知识。在这方面,Winforms 团队帮助很大,他们在 PR 和 issue 中提供了详尽的审查和建议。

总结

.NET 8 预览版 4 包含了许多令人兴奋的新功能和改进,这些都离不开微软的一支多元化工程师团队以及充满激情的开源社区的辛勤工作和奉献。我们衷心感谢所有迄今为止为 .NET 8 做出贡献的人,无论是通过代码贡献、错误报告还是提供反馈。

您的贡献在制作 .NET 8 预览版中起到了关键作用,我们期待继续携手共建 .NET 和整个技术社区更加美好的未来。

想知道即将到来的是什么吗? 来看看 .NET 接下来会有什么新变化

衷心感谢所有迄今为止为 .NET 8 做出贡献的人

https://dotnet.microsoft.com/thanks

来看看 .NET 接下来会有什么新变化

https://dotnet.microsoft.com/next看更多

相关文章

发表评论
暂无评论
官方客服团队

为您解决烦忧 - 24小时在线 专业服务