一.历史原因
go发展史上采用过的一些方法
-
go 1.3
之前使用标记清除 -
go 1.5
三色标记法 -
go 1.8
三色标记法 + 混合写屏障机制
垃圾回收设计的名词
- 自动释放
- 垃圾回收
- 三色标记法
- 内存管理
- SWT(stop the world) 全部停止执行
v1.3 之前的标记 - 清除方法
暂停程序业务逻辑,找出不可达的对象,和可达对象。
找到所有的可达对象,并做上标记。
标记完成以后,开始清楚未标记的对象
停止暂停,让程序继续跑,然后循环重复这个过程,直到 process 程序生命周期结束。
标记清除的缺点
- STW:让程序暂停,程序出现卡顿(重要问题)
- 标记需要扫描整个
heap
- 清除数据会产生
heap
碎片 - 将第三步和第四步调换位置,缩短
STW
的返回,但是还是会很大。
二.三色标记法
三色标记法的流程
只要是新创建的对象,默认颜色就是白色
第二步,每次 GC 回收开始,然后从根节点开始遍历所有对象,把遍历到的对象,从白色集合放入灰色集合
遍历灰色集合,将灰色对象的引用对象,从白色集合放入灰色集合,之后会将此灰色对象放入到黑色集合。
遍历上边的步骤,直到灰色节点里没有东西。
如果三色标记法不使用 STW 会出现的问题
如果三色标记法不被 STW 保护
- 一个白色对象被黑色对象引用
- 灰色对象与它之间的可达关系的白色对象遭到破坏
- 如果两个条件同时满足,那么就会出现对象丢失的现象
强弱三色不变式
-
强制性的不允许黑色对象引用白色对象
:破坏了条件一 -
黑色对象可以引用白色对象,但是要求白色对象的链路上游,存在灰色对象
:破坏了条件二
只要满足了强三色不变式或者弱三色不变式之一,就可以保证对象不丢失。那么如何保证呢?就要借助于屏障机制。