Go1.20?arena新特性示例详解

来源：jb51　　时间：2022/11/19 17:13:03　　对本文有异议

正文

大概半年前，我写过一篇文章《Go 要违背初心吗？新提案：手动管理内存》。有兴趣了深入解的同学，可以再回顾一下。

当时我们还想着 Go 团队应该不会接纳，至少不会那么快：

懒得翻也可以看我再次道来，本文提到的提案《proposal: arena: new package providing memory arenas》，这其中的 Arena 将会是一个突破项。

快速背景

Arena 指的是一种从一个连续的内存区域分配一组内存对象的方式。优点比一般的内存分配更有效率，也可以一次性释放。当然了，它的重点是要手动管理内存。

Go 团队希望加进 Go 特性中，示例代码如下：

import (
 “arena”
 …
)
type T struct {
 val int
}
func main() {
 a := arena.New()
 var ptrT *T
 a.New(&amp;ptrT)
 ptrT.val = 1
 var sliceT []T
 a.NewSlice(&amp;sliceT, 100)
 sliceT[99].val = 4
 a.Free()
}

手动调用 arena.New 方法分配 arena 内存，再调用 Free 方法进行释放。

简单来讲就是可以手动管理内存，就可以做很多事了，也 “容易” 崩。

最新进展

这个提案一直在 issues 上适度的争议讨论，@Michael Knyszek 大佬代码写的很快，已经直接提交上去了...直到最近被人发现，让他更新进度。

已经明确：Go1.20 将会支持 arena 特性，通过 GOEXPERIMENT=arena 来打开，接受大家的 review 和使用，抗阻很小。

已实现 API 和原提案不同的地方有：

API 使用了泛型，例如：arena.New[int](myArena "int")。
Arena 的块大小是 8 MiB 而不是 64 MiB，似乎在更多情况下提供了更好的性能。
MSAN 和 ASAN 模式可用于识别不会导致崩溃的 use-after-free 错误（内存损坏应该仍然是不可能的）。需注意，这些模式对非 cgo 的 Go 程序几乎没有作用。Arena 是个例外。

另外根据社区的反馈，可能还会出现配套类型的 Arena。如下函数签名：

// MakeMap creates a new map[K]V with the provided capacity.
// The map[K]V must not be used after the arena is freed.
// Accessing the underlying storage of the map after free may result in a fault,
// but this fault is also not guaranteed.
func MakeMap[K comparable, V any](a *Arena, cap int "K comparable, V any") map[K]V { ... }