三色标记:
首先所有对象都是白色,
1. 从root开始将所有可达对象标记为灰色
2. 从灰色集合中取出,将其引用的对象标记为灰色,自己标记为黑色
3. 重复上边的操作,直到灰色集合为空
4. 标记结束后不可达白色集合即为垃圾,回收白色对象
5. 重置GC状态
写屏障的意义:
三色标记需要维护不变性条件,黑色对象不能引用无法被灰色对象可达的白色对象。
并发标记时,如果没有做正确性保障措施,可能会导致漏标记对象,导致实际上可达的对象被清扫掉。
为了解决这个问题,go使用了写屏障,写屏障是在写入指针前执行一小段代码,用以防止并发标记时指针丢失。
Golang写屏障在mark和markTermination阶段处于开启状态。