Go 1.21的PGO正式GA，性能提升，更快更猛！

Go 1.21 首个 RC 已发布。

虽然这是 Go 1.21 的第一个 RC，但它的版本号却是go1.21rc2。因为开发团队在为 RC1 打上 tag 后就发现了一个 bug，所以他们马上基于该版本进行了修复并发布更新。

Go 1.21 主要变化包括：提升性能、改进工具链和添加新的标准库，以及语言方面的变更。

其中值得关注的一大更新是——在 1.20 中处于预览阶段的启用配置文件引导优化 (PGO) 功能现已正式 GA。

Profile-guided optimization (PGO) 是计算机编程中的一种编译器优化技术，翻译过来是使用配置文件引导的优化。

PGO 也被称为：

Profile-directed feedback (PDF)

Feedback-directed optimization (FDO)

它的原理是编译器使用程序的运行时 profiling 信息，生成更高质量的代码，从而提高程序的性能。

PGO 作为一项通用的编译器优化技术，不局限于某一门语言。比如 Rust 编译器也在探索使用 PGO，微软则采用 LTO+PGO 来优化 Linux 内核。

在 Go 语言中，最初关于 PGO 的提案是建议向 Go GC 工具链增加对配置文件引导优化 (PGO) 的支持，以便工具链能根据运行时信息执行特定于应用程序和工作负载的优化。

对于刚刚发布的 Go 1.21，根据 Go 团队的介绍，如果主软件包目录中存在名为default.pgo的文件，go命令将使用它来启用 PGO 构建。

他们还测试了 PGO 对多种 Go 程序的影响，发现性能提高了 2-7%。

此外，Go 编译器本身已经在 1.21 中启用 PGO 进行了重建，因此它构建 Go 程序的速度也提高了 2-4%，不过这具体取决于主机架构。

Go 1.21 其他变化：

语言变更

添加新的内置函数：min, max 和 clear

对泛型函数的类型推断进行了多项改进，包括扩展和解释清楚规范中类型推断的描述

在未来版本中，开发团队计划解决 Go 编程中最常见的问题之一：循环变量捕获 (loop variable capture)。Go 1.21 附带了此功能的预览版，目前可以使用环境变量在代码中启用该功能。

添加新的标准库

log/slog 包：用于结构化日志记录

slices 包：增用于对任何元素类型的切片进行常见操作，这个包比 sort 包更快、更符合人体工程学

maps 包：用于对任何类型 key-value 进行常见操作

cmp 包：用于比较有序值 (ordered values)

优化性能

除了启用 PGO 时的性能改进之外：

Go 编译器本身已经在 1.21 中启用 PGO 进行了重建，因此它构建 Go 程序的速度提高了 2-4%，具体取决于主机架构

由于垃圾收集器的调整，某些应用程序的尾部延迟可能会减少高达 40%

现在使用 runtime/trace 收集跟踪在 amd64 和 arm64 上产生的 CPU 开销要小得多

支持 WASI

Go 1.21 已实验性支持 WebAssembly System Interface (WASI), Preview 1  (GOOS=wasip1,GOARCH=wasm)。

为了方便编写更通用的 WebAssembly (WASM) 代码，编译器还支持从 WASM 主机导入函数的新指令： go:wasmimport 。

提到 WebAssembly，刚好本周六 (7.1)举办的「源创会」有一个和它相关的演讲分享。

演讲主题：Moonbit 编程语言平台简介

主题内容：Moonbit 是由张宏波老师带领的基础软件中心团队开发的一个专为云计算、边缘计算设计的编程语言平台，这个项目包括了面向 WebAssembly 生态设计的一款应用型编程语言及其相关完整的配套工具链。

本次演讲主要介绍这个项目动机背景、宏观方向上的设计考量，以及目前的进展，并且会有现场 demo 进行一些编程语言特性的演示。

嘉宾介绍：张钰，粤港澳大湾区数字经济研究院开发工程师，Moonbit 平台核心开发人员，编程语言理论爱好者

是的，我们正式重启了和大家阔别已久的「源创会」——2023 年首场于本周六 (7.1) 在深圳举办，诚邀各位 oscer 们前来赴约。