Go 的 gc 机制

五岁小孩吖

已于 2024-04-08 12:27:14 修改

阅读量784

点赞数 13

分类专栏： Golang 文章标签： golang jvm 开发语言

于 2024-03-16 16:55:58 首次发布

本文链接：https://blog.csdn.net/weixin_37755580/article/details/136765535

版权

50 篇文章 1 订阅

订阅专栏

本文详细介绍了Golang的垃圾回收机制，包括Gc算法中的三色标记法及其混合写屏障，解释了为何混合写屏障不保护栈上的引用，并讨论了垃圾回收的触发条件。

摘要由CSDN通过智能技术生成

垃圾回收算法	描述	代表语言	优缺点
引用计数	为每个对象维护一个引用计数，记录对象被引用的次数。每当一个对象被引用时，引用计数就会增加。当对象不再被引用时，引用计数就会减少。如果对象的引用计数变为 0，则对象可以被垃圾回收器回收	Python、PHP	优点：实现简单，处理快。缺点：无法处理循环引用，两个对象相互引用，计数永远不为0
分代收集	按照对象生命周期长短划分不同的代空间，生命周期长的放入老年代，短的放入新生代，不同代有不同的回收算法和回收频率	Java	优点：性能好。缺点：需要 STW，算法复杂
三色标记法	从根变量开始遍历所有引用的对象，标记引用的对象为不同颜色，被标记为白色的对象进行回收	Golang	优点：解决了引用计数的缺点。缺点：需要 STW，暂时停掉程序运行

以上都需要 STW

使用三色标记 + 混合写屏障机制尽可能减少 STW 的时间

如下图：

在三色标记期间，如果没有STW，并发创建对象，可能存在垃圾对象或误删对象的情况：

1. 黑色对象的引用对象被删除，则不可达，正常黑色对象应该被回收，但是gc期间只会循环遍历灰色列表，不会回收黑色对象，因此该对象为垃圾对象（多余垃圾对象）
  
  eg：对象1已经被标记为黑色，表示该对象有引用方，受保护，如果没有stw，该对象的引用可能被删除，正常应该转为白色对象被清除，然gc并不会清除黑色对象
1. 黑色对象引用了白色对象，白色对象有了引用对象应该被保护，但仍然被无情的回收（清掉不该清的对象）
白色对象只有被灰色对象引用情况，才会判断是否需要清理，白色对象如果在gc期间引用了黑色对象，那只会被误删除

所以 go 引入了混合写屏障机制，满足：

这里需要注意一点，插入屏障仅会在堆内存中生效，不对栈内存空间生效，这是因为go在并发运行时，大部分的操作都发生在栈上，函数调用会非常频繁。数十万goroutine的栈都进行屏障保护自然会有性能问题

所以gc期间，任何在栈上新创建的对象，均为黑色。

标记准备（Mark Setup）：开启混合写屏障（Write Barrier），需 STW（stop the world)
标记开始（Marking）：使用三色标记法并发标记，与用户程序并发执行
标记终止（Mark Termination）：对触发写屏障的对象进行重新扫描标记，关闭写屏障（Write Barrier），需 STW（stop the world)
清理（Sweeping）：将需要回收的内存归还到堆中，将过多的内存归还给操作系统，与用户程序并发执行