golang 垃圾回收（四）删除写屏障 2020/5/27 13:00

• 接上一篇 golang 垃圾回收的梳理，这篇讲删除写屏障，golang 的内存写屏障是由插入写屏障到混合写屏障过渡的。虽然 golang 从来没有直接使用删除写屏障，但是混合写屏障却用到了删除写屏障的思路。

  删除写屏障：也叫做基于其实快照的解决方案（snapshot-at-the-begining）。故名思义，就是在开始 gc 之前，必须 STW ，对整个根做一次起始快照。当赋值器（业务线程）从灰色或者白色对象中删除白色脂针时候，写屏障会捕捉这一行为，将这一行为通知给回收器。
  这样，基于起始快照的解决方案保守地将其目标对象当作存活的对象，这样就绝对不会有被误回收的对象，并且还有工作量浮动放大的风险。术语叫做追踪波面的回退。

  删除写屏障（基于起始快照的写屏障）有一个前提条件，就是起始的时候，把整个根部扫描一遍，让所有的可达对象全都在灰色保护下（根黑，下一级在堆上的全灰），之后利用删除写屏障捕捉内存写操作，确保弱三色不变式不被破坏，就可以保证垃圾回收的正确性。

  伪代码如下：

  atomic Write(src, i, ref)
      shade(src[i])
      src[i] <- ref
  
  

  复习一下一些概念：

  赋值器的颜色

  • 灰色赋值器：如果某一哥赋值器尚未被回收器扫描过（即赋值器的根还没有被追踪到），或者尽管被扫描过，但是还需要重新扫描
    • golang 插入写屏障的时期，