Golang各版本的GC详解

go v1.3的标记清除法

会出现对象丢失问题，例子如下：

对象2 引用对象3，对象4 引用对象3 ------> 对象4 引用 3

可以在进行gc期间，启动stw，这样就不会出现问题，但是stw有明显的资源浪费。可以通过强弱三色不变式的思路来解决对象丢失问题：

强三色不变式：黑色对象不能引用白色对象

弱三色不变式：黑色对象可以引用白色对象，但是白色对象存在上游对象

对于强三色不变式的实现，通过插入写屏障机制实现（只在栈空间启用）：在A对象引用B对象时候，若B对象为白色，就把它标记为灰色。

注意：栈空间不启用插入写屏障，还会造成对象丢失问题，因为栈空间一个黑色对象新创建了一个白色对象时候，若没有插入写屏障，会造成白色对象丢失，

所以在最终准备回收白色前，启动stw，重新扫描一次栈空间，重新标记，避免对象丢失

对于弱三色不变式的实现，通过删除写屏障实现：在对象A取消对对象B的引用时候，会把B对象标记为灰色。

上面是通过插入写屏障和删除写屏障来避免对象丢失问题。会有两个问题：

插入写屏障的不足：准备回收白色对象垃圾时候，需要stw

删除写屏障的不足：回收精度低，删除一个对象需要下一轮才能删除

于是go语言就引入了混合写屏障。

前两步避免了事后的栈空间的stw。后两步结合了删除写屏障和插入写屏障。