-
接上一篇 golang 垃圾回收的梳理,这篇讲删除写屏障,golang 的内存写屏障是由插入写屏障到混合写屏障过渡的。虽然 golang 从来没有直接使用删除写屏障,但是混合写屏障却用到了删除写屏障的思路。
删除写屏障:也叫做基于其实快照的解决方案(snapshot-at-the-begining)。故名思义,就是在开始 gc 之前,必须 STW ,对整个根做一次起始快照。当赋值器(业务线程)从灰色或者白色对象中删除白色脂针时候,写屏障会捕捉这一行为,将这一行为通知给回收器。
这样,基于起始快照的解决方案保守地将其目标对象当作存活的对象,这样就绝对不会有被误回收的对象,并且还有工作量浮动放大的风险。术语叫做追踪波面的回退。删除写屏障(基于起始快照的写屏障)有一个前提条件,就是起始的时候,把整个根部扫描一遍,让所有的可达对象全都在灰色保护下(根黑,下一级在堆上的全灰),之后利用删除写屏障捕捉内存写操作,确保弱三色不变式不被破坏,就可以保证垃圾回收的正确性。
伪代码如下:
atomic Write(src, i, ref) shade(src[i]) src[i] <- ref
复习一下一些概念:
赋值器的颜色
- 灰色赋值器:如果某一哥赋值器尚未被回收器扫描过(即赋值器的根还没有被追踪到),或者尽管被扫描过,但是还需要重新扫描
- golang 插入写屏障的时期,
- 灰色赋值器:如果某一哥赋值器尚未被回收器扫描过(即赋值器的根还没有被追踪到),或者尽管被扫描过,但是还需要重新扫描
golang 垃圾回收(四)删除写屏障 2020/5/27 13:00
最新推荐文章于 2024-07-24 10:48:56 发布
![](https://img-home.csdnimg.cn/images/20240711042549.png)