扫二维码与项目经理沟通
我们在微信上24小时期待你的声音
解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流
这篇文章将为大家详细讲解有关golang垃圾回收中如何实现删除写屏障，小编觉得挺实用的，因此分享给大家做个参考，希望大家阅读完这篇文章后可以有所收获。
创新互联公司成立于2013年，公司以网站设计、做网站、系统开发、网络推广、文化传媒、企业宣传、平面广告设计等为主要业务，适用行业近百种。服务企业客户上千多家，涉及国内多个省份客户。拥有多年网站建设开发经验。为企业提供专业的网站建设、创意设计、宣传推广等服务。 通过专业的设计、独特的风格，为不同客户提供各种风格的特色服务。
首先声明，golang 没有直接实现过删除写屏障，golang 的内存写屏障是由插入写屏障到混合写屏障过渡的。不过，虽然 golang 从来没有直接使用删除写屏障，但是混合写屏障却用到了删除写屏障的思路。
删除写屏障：也叫做基于其实快照的解决方案（snapshot-at-the-begining）。顾名思义，就是在开始 gc 之前，必须 STW ，对整个根做一次起始快照。当赋值器（业务线程）从灰色或者白色对象中删除白色指针时候，写屏障会捕捉这一行为，将这一行为通知给回收器。这样，基于起始快照的解决方案保守地将其目标对象当作存活的对象，这样就绝对不会有被误回收的对象，但是有扫描工作量浮动放大的风险。术语叫做追踪波面的回退。
删除写屏障（基于起始快照的写屏障）有一个前提条件，就是起始的时候，把整个根部扫描一遍，让所有的可达对象全都在灰色保护下（根黑，下一级在堆上的全灰），之后利用删除写屏障捕捉内存写操作，确保弱三色不变式不被破坏，就可以保证垃圾回收的正确性。
伪代码如下：
atomic Write(src, i, ref) shade(src[i]) src[i] <- ref
复习一下一些概念：
赋值器的颜色
插入写屏障对应的是灰色赋值器，删除写屏障对应的是黑色赋值器。
三色不变式
强三色不变式的框架下：要求黑色赋值器的根只能引用灰色或者黑色对象，不能引用白色对象（因为黑色赋值器不再被扫描，引用白色）。
弱三色不变式的框架下：允许黑色赋值器的根引用白色对象，但前提是白色对象必须处于灰色保护下。
获取赋值器的快照，意味着回收器需要扫描其根并将其置为黑色。我们必须在回收起始阶段完成赋值器快照的获取，并保证其不持有任何白色对象。否则一旦赋值器持有某白色对象的唯一引用并将其写入黑色对象，然后再抛弃该指针，则会违背弱三色不变式的要求。当然，为黑色对象增加写屏障可以捕捉这一内存写操作，但如此一来，该方案将退化到强三色不变式的框架下。因此，基于其实快照的解决方案将只允许黑色赋值器的存在。
删除写屏障怎么保证弱三色不变式，如下示意图：
我们看到第三张图显示，黑色指向白色没问题，只要最后 delete 指针的时候 Z 对象置灰色，那么回收的正确性就可以保证。
关于“golang垃圾回收中如何实现删除写屏障”这篇文章就分享到这里了，希望以上内容可以对大家有一定的帮助，使各位可以学到更多知识，如果觉得文章不错，请把它分享出去让更多的人看到。
我们在微信上24小时期待你的声音
解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流
微信二维码
移动版官网