golang v1.3前-标记清除(mark and sweep)方法
标记清除再gc前会进行STW,STW - MARK标记 - SWEEP清除 - 停止STW
1、STW暂停程序业务逻辑,找出不可达对象和可达对象;
2、开始标记,程序找出所有的可达对象做上标记;
3、标记完之后,开始清楚未标记对象;
4、停止暂停,让程序继续运行。循环重复这个过程,直到程序生命周期结束;
不足:
1、STW程序暂停,程序出现卡顿(严重问题)
2、标记需要扫描整个heap
3、清除数据会产生heap碎片
4、缓解办法:可将三步和四步换位置,缩短STW位置,但仍然不能解决根本问题
golang v1.5三色标记法
go引入白色、灰色、黑色标记表
1、只要创建新的对象默认颜色都标记为白色,保存到程序中根集合(root set)
2、每次gc回收开始,从跟节点开始遍历所有对象,把遍历到的对象从白色集合放到灰色集合
3、遍历灰色节点,将灰色对象引用的对象从白色集合放到灰色集合,之后将此灰色集合放到黑色集合
4、重复第三步,直到灰色中无任何对象
5、删除白色标标记的对象,也就是gc
缺点:
下面是三色标记法最不希望发生的事情
条件1:一个白色对象被黑色对象引用、白色对象被挂在黑色对象下
条件2:灰色对象与它之间的可达关系的白色对象遭到破坏
两个条件同时满足时,就会出现对象丢失的现象
解决:最简单的方式就是STW
STW的过程有明显的资源浪费,对所有的用户程序都有很大影响
如何能在保证对象不丢失的情况尽可能的提高GC效率,减少STW的时间呢?不能添加STW,添加就和标记清楚没区别了
强弱三色不变式:
不使用STW,破坏上述两个条件:
强三色不允许黑色对象引用白色对象,只允许引用灰色对象(破坏条件1)
弱三色黑色对象可以引用白色对象,白色对象存在其他灰色对象对它的引用,或者可达它的链路上游存在灰色对象(破坏条件2)
写屏障机制:在gc过程中加入机制插入与删除机制
插入屏障:对象被引用时触发的机制
具体操作:A对象引用B对象的时候,B必须标记为灰色(B挂在A的下游,B必须呗标记为灰色)
满足:强三色不变式(不存在黑色对象引用白色对象的情况了,因为白色的会强制变成灰色)
为了保证效率,不在栈上设置插入屏障,堆上启用插入屏障
不足:结束是需要STW来扫描栈,时间大约为10~100ms
删除屏障:对象被删除时触发的机制
具体操作:被删除的对象,如果自身为灰色或者白色,那么被标记为灰色
满足:若三色不变式(保护灰色对象到白色对象的路径不会断)
不足:回收精度低,一个对象即时被删除了最后一个指向它的指针也依旧可以活过这一轮,在下一轮GC中被清除
golang v1.8的三色标记法+混合写屏障机制
1、GC开始将栈上的对象全部扫描并标记为黑色(之后不再进行第二次重复扫描,无需STW)
2、GC期间,任何在栈上创建的对象、均为黑色
3、被删除的对象标记为灰色
4、被添加的对象标记为灰色
有疑问加站长微信联系(非本文作者)