garbage-collection - 垃圾收集器的内存屏障实现

Question

我正在阅读垃圾收集器的实现，特别是关于即时标记和扫描的收集器，以及在标记阶段未完成时允许修改器工作的事实(因此避免停止世界)内存必须使用屏障。

因此，例如，如果一个标记(黑色)对象被修改器修改为指向一个未标记(白色)对象，那么白色对象必须标记为灰色(标记为事件但尚未扫描)。

但是我找不到有关如何实现的任何细节:如何检测黑色对象何时发生更改并在那一刻执行操作？

Answer 1

也许是混淆的术语是罪魁祸首。在垃圾收集术语中，所谓的障碍通常是编译器在指针读写之前插入的代码片段。因此，您的程序总是在每次读写之前执行屏障代码。 (也可以使用虚拟内存保护来获得屏障的效果。)

为了保持您提到的三色不变，收集器在写入对象之前检查对象的颜色。在这种情况下，写入屏障可以在即将将黑色对象更改为灰色对象时执行某些操作。

见 http://www.memorymanagement.org/glossary/s.html#strong.tri-color.invariant概述，和 this article更多细节。