目录
垃圾回收算法
复制算法:效率高,但内存利用率低。
标记清除算法:效率高,但是容易产生内存碎片。
标记整理算法:效率低,同时比较消耗CPU,所以一般都很少使用。
go使用的GC
使用标记清除算法
go使用算法的具体实现---三色标记
三色标记的基本思想很简单。参考网上的博客:https://www.cnblogs.com/wangyiyang/p/12191591.html
写屏障
这边博客写的非常好,可不读下面的内容直接看这篇博客,自认为这篇讲得非常透彻,下面不可能比它还好:https://blog.csdn.net/m0_37645820/article/details/109832338
写屏障出现的原因
因为三色标记的清理过程是需要STW的,在清理过程中是不允许对象的引用状态发生变化,而且在标记过程中出现了对象引用的变化也会大大影响清扫的结果,所以都使用STW将会大大的影响用户体验。写屏障的出现就是为了缩短STW的时间。
对象丢失必须满足以下两个条件:
-
条件1: 一个白色对象被黑色对象引用(白色被挂在黑色下)
-
条件2: 灰色对象与它之间的可达关系的白色对象遭到破坏(灰色同时丢了该白色)
只是文字可能很难理解,所以盗用上面链接的图来说明。
初始状态:
对象4引用了对象3(也能引用对象5,或者新对象,就是不能引用对象6,对象6已经没办法引用了,因为没法通过根找到它,只有通过根找到的对象,程序员才能使用!)
对象2解除了对对象3的引用。(此时由于黑色节点不再扫描,所以没有办法把对象3置灰了)
产生的最终标记结果就是这样。
清除后对象3被误删了。
再回过头来好好理解这两点(不懂的反复看图):
-
条件1: 一个白色对象被黑色对象引用(白色被挂在黑色下)
-
条件2: 灰色对象与它之间的可达关系的白色对象遭到破坏(灰色同时丢了该白色
但是这个过程使用STW的话用户体验感会很差,所以就想办法破坏这两个条件,用于极大的减少STW的时间。于是根据这两个条件产生了下述的两个概念:
强三色不变式:不存在黑色对象引用到白色对象的指针。(破坏条件一)
弱三色不变式:所有被黑色对象引用的白色对象都处于灰色保护状态。(破坏条件二)
这也就是写屏障的基本理论:
根据上述的两种理论就产生了两种具体的实现:
插入屏障:在A对象引用B对象的时候,B对象被标记为灰色。(将B挂在A下游,B必须被标记为灰色)-------------强三色不变式(不存在黑色对象引用白色对象的情况了, 因为白色会强制变成灰色)。
缺点:结束时需要STW来重新扫描栈,标记栈上引用的白色对象的存活;
删除屏障: 被删除的对象,如果自身为灰色或者白色,那么被标记为灰色。-------------弱三色不变式 (保护灰色对象到白色对象的路径不会断)。
缺点:回收精度低,GC开始时STW扫描堆栈来记录初始快照,这个过程会保护开始时刻的所有存活对象。
混合写屏障
所以最后出了一个混合写屏障,结合了前两者的优点集合而成:
大致步骤如下:
1、GC开始将栈上的对象全部扫描并标记为黑色(之后不再进行第二次重复扫描,无需STW),
2、GC期间,任何在栈上创建的新对象,均为黑色。
3、被删除的对象标记为灰色。
4、被添加的对象标记为灰色。
满足
: 变形的弱三色不变式.
总结
GoV1.3- 普通标记清除法,整体过程需要启动STW,效率极低。
GoV1.5- 三色标记法, 堆空间启动写屏障,栈空间不启动,全部扫描之后,需要重新扫描一次栈(需要STW),效率普通
GoV1.8-三色标记法,混合写屏障机制, 栈空间不启动,堆空间启动。整个过程几乎不需要STW,效率较高。