用下面这个例子解释并发带来的问题，当从A这个GC root找到引用对象B时，B变灰A变黑。这时用户goroutine执行把A到B的引用改成了A到C的引用，同时B不再引用C。然后GC goroutine又执行，发现B没有引用对象，B变黑。而这时由于A已经变黑完成了扫描，C将当做白色不可达对象被清除。

解决办法：引入写屏障。当发现A已经标记为黑色了，若A又引用C，那么把C变灰入队。这个write_barrier是编译器在每一处内存写操作前生成一小段代码来做的。

// 写屏障伪代码
write_barrier(obj,field,newobj){
    if(newobj.mark == FALSE){
        newobj.mark = TRUE
        push(newobj,$mark_stack)
    }
    *field = newobj
}

如何非递归的实现遍历mark可达节点，显然需要一个队列。

这个队列也帮助区分黑色对象和灰色对象，因为标记位只有一个。标记并且在队列中的是灰色对象，标记了但是不在队列中的黑色对象，末标记的是白色对象。

root node queue
while(queue is not nil) {
  dequeue // 节点出队
  process // 处理当前节点 
  child node queue // 子节点入队
}

垃圾回收三⾊标记法实现原理

1. 所有对象初始都被标记为⽩⾊，表⽰这些对象尚未被扫描过。
2.  从根对象开始（如全局变量、栈中的变量等），将其引⽤的对象标记为灰⾊，表⽰这些对象已经被 扫描过，但其引⽤的对象还未扫描。
3. 继续对灰⾊对象进⾏扫描，将其引⽤的对象标记为灰⾊，并将当前灰⾊对象标记为⿊⾊，表⽰这些 对象已经被扫描过，其引⽤的对象也已被扫描过。
4. 遍历所有⽩⾊对象，将其标记为死亡对象，进⾏垃圾回收。

垃圾回收的实现

Go采用“并发标记清除”来管理和回收不再使用的内存。

流程：

1. 标记阶段：垃圾回收器从根对象（如全局变量、栈上的指针等）开始，通过遍历对象图的方式标记所有可达的对象。这个过程是并发进行的，与程序的执行同时进行，不会阻塞程序的运行。
2. 并发标记阶段：在标记阶段的同时，Go语言的垃圾回收器还会与程序的执行并发的标记新创建的对象，这个过程通过与程序的执行并行运行，以减少程序性能的影响。
3. 清除阶段：在标记阶段完成后，垃圾回收器会对堆中未标记对象进行清除。这个过程会暂停程序的执行，因为它需要遍历整个堆并回收未标记的对象。清除后的内存空间会被重新分配给新的对象使用。
4. 并发清除阶段：在清除阶段完成之后，go语言的垃圾回收器会继续与程序的执行同时进行，以减少对程序性能的影响。

插⼊，删除，混合写屏障