Go:内存管理与内存清理

Go语言精选

共 2543字,需浏览 6分钟

 ·

2021-06-13 00:40

点击上方蓝色“Go语言中文网”关注,每天一起学 Go

Illustration created for “A Journey With Go”, made from the original Go Gopher, created by Renee French.

这篇文章基于 Go 1.13 版本。有关内存管理的讨论在我的文章  ”Go:内存管理与分配[1] ” 中有解释。

清理内存是一个过程,它能够让 Go 知道哪些内存段最近可用于分配。但是,它并不会使用将位置 0 的方式来清理内存。

将内存置 0

将内存置 0 的过程 —— 就是把内存段中的所有位赋值为 0 —— 是在分配过程中即时执行的。

Zeroing the memory

但是,我们可能想知道 Go 采用什么样的策略去知道哪些对象能够用于分配。由于在每个范围内有一个内部位图 allocBits,Go 实际上会追踪那些空闲的对象。让我们从初始态开始来回顾一下它的工作流程,

Free objects tracking with allocBits

就性能角度来看,allocBits 代表了一个初始态并且会保持不变,但是它会由 freeIndex(一个指向第一个空闲位置的增量计数器)所协助。

然后,第一个分配就开始了:

Free objects tracking with allocBits

freeIndex 现在增加了,并且基于 allocBits 知道了下一段空闲位置。

分配过程将会再一次出现,之后, GC 将会启动去释放不再被使用的内存。在标记期间,GC 会用一个位图 gcmarkBits 来跟踪在使用中的内存。让我们通过我们运行的程序以相同的示例为例,在第一个块不再被使用的地方。

Memory tracking during the garbage collector

正在被使用的内存被标记为黑色,然而当前执行并不能够到达的那些内存会保持为白色。

有关更多关于标记和着色阶段的信息,我建议你阅读我的这篇文章 Go:GC 是如何标记内存的?[2]

现在,我们可以使用 gomarkBits 精确查看可用于分配的内存。Go 现在也使用 gomarkBits 代替了 allocBits ,这个操作就是内存清理:

Sweeping a span

但是,这必须在每一个范围内执行完毕并且会花费许多时间。Go 的目标是在清理内存时不阻碍执行,并为此提供了两种策略。

清理阶段

Go 提供了两种方式来清理内存:

  • 使用一个工作程序在后台等待,一个一个的清理这些范围。
  • 当分配需要一个范围的时候即时执行。

关于后台工作程序,当开始运行程序时,Go 将设置一个后台运行的 Worker(唯一的任务就是去清理内存),它将进入睡眠状态并等待内存段扫描:

Background sweeper

通过追踪过程的周期,我们也能看到这个后台工作程序总是出现去清理内存:

Background sweeper

清理内存段的第二种方式是即时执行。但是,由于这些内存段已经被分发到每一个处理器的本地缓存 mcache 中,因此很难追踪首先清理哪些内存。这就是为什么 Go 首先将所有内存段移动到 mcentral 的原因。

Spans are released to the central list

然后,它将会让本地缓存 mcache 再次请求它们,去即时清理:

Sweep span on the fly during allocation

即时扫描确保所有内存段在保存资源的过程中都会得到清理,同时会保存资源以及不会阻塞程序执行。

与 GC 周期的冲突

正如之前看到的,由于后台只有一个 worker 在清理内存块,清理过程可能会花费一些时间。但是,我们可能想知道如果另一个 GC 周期在一次清理过程中启动会发生什么。在这种情况下,这个运行 GC 的 Goroutine 就会在开始标记阶段前去协助完成剩余的清理工作。让我们举个例子看一下连续调用两次 GC,包含数千个对象的内存分配的过程。

Sweeping must be finished before a new cycle

但是,如果开发者没有强制调用 GC,这个情况并不会发生。在后台运行的清理工作以及在执行过程中的清理工作应该足够多,因为清理内存块的数量和去触发一个新的周期(译者注:GC 周期)的所需的分配的数量成正比。

via:https://medium.com/a-journey-with-go/go-memory-management-and-memory-sweep-cc71b484de05

作者:Vincent Blanchon[3]译者:sh1luo[4]校对:polaris1119[5]

本文由 GCTT[6] 原创编译,Go 中文网[7] 荣誉推出

参考资料

[1]

Go:内存管理与分配: https://studygolang.com/articles/28436

[2]

Go:GC 是如何标记内存的?: https://studygolang.com/articles/25916

[3]

Vincent Blanchon: https://medium.com/@blanchon.vincent

[4]

sh1luo: https://github.com/sh1luo

[5]

polaris1119: https://github.com/polaris1119

[6]

GCTT: https://github.com/studygolang/GCTT

[7]

Go 中文网: https://studygolang.com/



推荐阅读


福利

我为大家整理了一份从入门到进阶的Go学习资料礼包,包含学习建议:入门看什么,进阶看什么。关注公众号 「polarisxu」,回复 ebook 获取;还可以回复「进群」,和数万 Gopher 交流学习。

浏览 10
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报