go语言GC原理

三色标记清除法

原理:

• 第一步：标记开始，把所有对象放到白色集合中(这一步需 STW)
• 第二步：从根对象开始遍历，把遍历到的白色对象放到灰色集合中
• 第三步：开始遍历灰色对象，把灰色对象所引用的白色对象从白色集合移到灰色集合，同时把遍历过的灰色对象移到灰色集合中
• 第四步：重复第三步，直到灰色集合中没有对象
• 第五步：剩余白色集合中的对象就是不可达对象，视为垃圾，清除掉

写屏障技术

在标记的过程中，对象的引用可能会改变，导致一些对象被引用最后仍然为白色，被清除掉，显然这是不合理的。

如下图所示，正常情况下D最终会被标记为黑色，不会被清除

A(黑色) ------->B(灰色)------->C(白色)--------->D(白色)

但是，此时如果D对象引用改变了，由于A对象这一轮已经被扫描过了，所以最后D仍然为白色被清除了。

A(黑色) ------->B(灰色)------->C(白色)
	↓
D(白色)

为了解决这个问题，Go 使用了内存屏障技术，它是在用户程序读取对象、创建新对象以及更新对象指针时执行的一段代码，类似于一个钩子。垃圾收集器使用了写屏障（Write Barrier）技术，当对象新增或更新时，会将其着色为灰色。这样即使与用户程序并发执行，对象的引用发生改变时，垃圾收集器也能正确处理了