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

更新時間：2022年11月15日 16:37:54 作者：煎魚eddycjy

這篇文章主要為大家介紹了Go1.20?arena新特性示例詳解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪

正文

大概半年前，我寫過一篇文章《Go 要違背初心嗎？新提案：手動管理內(nèi)存》。有興趣了深入解的同學(xué)，可以再回顧一下。

當(dāng)時我們還想著 Go 團(tuán)隊?wèi)?yīng)該不會接納，至少不會那么快：

懶得翻也可以看我再次道來，本文提到的提案《proposal: arena: new package providing memory arenas》，這其中的 Arena 將會是一個突破項。

快速背景

Arena 指的是一種從一個連續(xù)的內(nèi)存區(qū)域分配一組內(nèi)存對象的方式。優(yōu)點比一般的內(nèi)存分配更有效率，也可以一次性釋放。當(dāng)然了，它的重點是要手動管理內(nèi)存。

Go 團(tuán)隊希望加進(jìn) 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()
}

手動調(diào)用 arena.New 方法分配 arena 內(nèi)存，再調(diào)用 Free 方法進(jìn)行釋放。

簡單來講就是可以手動管理內(nèi)存，就可以做很多事了，也 “容易” 崩。

最新進(jìn)展

這個提案一直在 issues 上適度的爭議討論，@Michael Knyszek 大佬代碼寫的很快，已經(jīng)直接提交上去了...直到最近被人發(fā)現(xiàn)，讓他更新進(jìn)度。

已經(jīng)明確：Go1.20 將會支持 arena 特性，通過 GOEXPERIMENT=arena 來打開，接受大家的 review 和使用，抗阻很小。

已實現(xiàn) API 和原提案不同的地方有：

API 使用了泛型，例如：arena.New[int](myArena "int")。
Arena 的塊大小是 8 MiB 而不是 64 MiB，似乎在更多情況下提供了更好的性能。
MSAN 和 ASAN 模式可用于識別不會導(dǎo)致崩潰的 use-after-free 錯誤（內(nèi)存損壞應(yīng)該仍然是不可能的）。需注意，這些模式對非 cgo 的 Go 程序幾乎沒有作用。Arena 是個例外。

另外根據(jù)社區(qū)的反饋，可能還會出現(xiàn)配套類型的 Arena。如下函數(shù)簽名：

// 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 { ... }

在 Go1.20 發(fā)布該新特性的話，按照發(fā)布周期計劃，是 2 月份左右發(fā)布，相信大家很快就能用上，可以多多關(guān)注。