golang GC

目录

垃圾回收算法

go使用的GC

go使用算法的具体实现---三色标记

写屏障

混合写屏障

总结

---

垃圾回收算法

复制算法：效率高，但内存利用率低。

标记清除算法：效率高，但是容易产生内存碎片。

标记整理算法：效率低，同时比较消耗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，效率较高。