Go1.20最新資訊go?arena手動管理內(nèi)存鴿了

更新時間：2023年11月16日 12:07:01 作者：煎魚

由于過于繁雜,Go?核心團(tuán)隊成員@Ian?Lance?Taylor,也表態(tài)：目前尚未做出任何決定,也不可能在短期內(nèi)做出任何決定,可以認(rèn)為這個提案基本鴿了,今天這篇文章就是給大家同步目前的情況

導(dǎo)讀

年初有給大家分享 Go1.20 arena 能手動管理內(nèi)存的事情，當(dāng)時不論是我們讀者，還是社區(qū)上的小伙伴們，都是比較激動的。畢竟這是一個有意思的特性。

這不，今年都快過去了。2024 年要來了。有小伙伴問這個最新的進(jìn)展：

今天這篇文章就是給大家同步目前的情況。第一節(jié)是前置知識，如果不太記得背景的同學(xué)可以快速看一下。

前置知識

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

Go 團(tuán)隊，基于 Google 自身的需求，快速通過了實踐。在 Go1.20 支持使用環(huán)境變量啟用：

GOEXPERIMENT=arenas go run main.go

預(yù)計至少會提供以下 API：

NewArena：創(chuàng)建一個新的 arena 內(nèi)存空間。
Free：釋放 arena 及其關(guān)聯(lián)對象。
New：基于 arena，創(chuàng)建新對象。NewSlice 等屬于其派生方法，結(jié)果是一樣的。
MakeSlice：基于 arena，創(chuàng)建新切片。
Clone：克隆一個 arena 的對象，并移動到內(nèi)存堆上。

對應(yīng)的示例代碼如下：

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()
}

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

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

爭議點

原本如此高歌猛進(jìn)的 arena 提案，是在哪卡殼阻塞了？從我猛翻 1k 樓層來看，以及官方給出的原因來看。

主要還是有一位同學(xué)提出：擔(dān)心重走上下文（context）的老路！

目前 context 大量的滲透了 Go 所有庫的 API，雖然很難評定好與不好。但是純粹從語言設(shè)計的角度來看，上下文并不漂亮。

甚至我經(jīng)常遇到同學(xué)來吐槽，咱們這個 ctx 放在函數(shù)第一個參數(shù)，或是放結(jié)構(gòu)體里。到底是誰的設(shè)計。能不能像 Java 語言一樣來個注解。

但 arena 不一樣，一旦和 context 一樣泛濫，將會帶來更大的影響。你永遠(yuǎn)不知道你正在使用的第三方庫，是否使用了手動管理內(nèi)存 arena，是否會導(dǎo)致各種奇怪的問題。（除非你去翻代碼和依賴）

因此 arena 庫的出現(xiàn)，將會導(dǎo)致在創(chuàng)建對象時進(jìn)行的一系列分配行為，將沒有明確的界限，完全取決于應(yīng)用他的庫如何使用。同時在內(nèi)部處理 arena 和非 arena 情況的實現(xiàn)代碼，將使得 API 將變得更加污染。

最終大家還是希望 arena 能夠在一定的界限范圍內(nèi)明確使用。但這一切均懸而未決。以上是我個人結(jié)合討論所理解的提案阻塞緣由。