Go1.20 arena新特性示例详解

11-17 18阅读 0评论

?=正文

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

当时我们还想着 GO 团队应该不会接纳,至少不会那么快:

Go1.20 arena新特性示例详解

懒得翻也可以看我再次道来,本文提到的提案《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新特性示例详解

已经明确: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新特性的资料请关注云初冀北其它相关文章!

免责声明
本站提供的资源,都来自网络,版权争议与本站无关,所有内容及软件的文章仅限用于学习和研究目的。不得将上述内容用于商业或者非法用途,否则,一切后果请用户自负,我们不保证内容的长久可用性,通过使用本站内容随之而来的风险与本站无关,您必须在下载后的24个小时之内,从您的电脑/手机中彻底删除上述内容。如果您喜欢该程序,请支持正版软件,购买注册,得到更好的正版服务。侵删请致信E-mail:goliszhou@gmail.com
$

发表评论

表情:
评论列表 (暂无评论,18人围观)

还没有评论,来说两句吧...