Go1.20 arena新特性示例詳解

Posted on by

正文

大概半年前，我寫過一篇文章《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(&ptrT)
 ptrT.val = 1
 var sliceT []T
 a.NewSlice(&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 { ... }

在 Go1.20 發佈該新特性的話，按照發佈周期計劃，是 2 月份左右發佈，相信大傢很快就能用上，可以多多關註。

總結

一開始瞭解這個提案時，還想著 Go 搞瞭快 10 年才采納和推進泛型。這 Arena 應該不至於這麼快吧？畢竟加進去瞭，許多程序都可以寫的復雜起來。

沒想到…現實打臉來的太快，推進的很快。

就像其他小夥伴說的，這可以從代碼優化性能，而不需要砍需求。也是一個有意思且不錯的源動力！

據小道消息，某些同學表示在框架和其它場景測過，有說變得快瞭，有說沒差多少。比較迷，提案內暫時未提供測試報告，不好定論。

Go 1.20 Beta 將在未來幾周內（2022.11 月底前）發佈，讓我們拭目以待：）

以上就是Go1.20 arena新特性示例詳解的詳細內容，更多關於Go1.20 arena新特性的資料請關註WalkonNet其它相關文章！

推薦閱讀：