G1算法中的记忆集用于什么？

Question

我刚刚读了一些关于G1算法的博客。

我对记忆集的用法感到困惑。

以下是我的想法：

既然我们可以使用DFS遍历来自GC根的每个引用，为什么我们需要记住集合？

因为所有的博客都说我们使用的原因是，我们不需要检查每个区域，看看是否有一个对象被GC-Roots引用

Answer 1

首先，您需要理解什么是Card Table，IMO。如果有从旧代返回到年轻的引用，您如何只扫描年轻代区域并清理它？您需要准确地“跟踪”这些连接的位置——因此，在扫描年轻代时，您可以在不破坏堆的情况下清理它。

想一想：如果有一个B的参考，你就不能把一个对象A标记为现在是年轻一代的对象，从老一代的中删除它。但请记住，现在，你只是在年轻的收集。因此，为了跟踪这些“连接”，实现了一个卡表。这个卡片表中的每一位都表示老一代的某一部分是“脏的”，这意味着在扫描年轻一代的同时也扫描老一代的那一部分。

为什么你需要这个？扫描年轻的全部目的是扫描堆中的一小部分，而不是全部。这个<代码>卡片表实现了这一点。

G1有区域。如果您正在扫描区域A，并且您看到它有指向其他区域B的指针，该怎么办？简单地将这些信息放在卡表中是不够的。您的卡表将只知道区域A，并且下次您扫描区域B时-您怎么知道您应该也扫描区域A？如果您不这样做，显然堆完整性被破坏了。

因此：记忆集。这些集合由异步线程填充：它扫描卡表，并根据该信息扫描这些“脏”区域的指针指向的位置。它跟踪那地区-

因此，当你到达需要进行GC的点时，当扫描区域B时，你也会查看它的记忆集，发现你也需要扫描区域A。

在实践中，这就是为什么G1成为一代：这些记住的集合被证明是巨大的。如果你把堆分成年轻的和老的，就没有必要保留年轻代之间的连接，你一次就把它们全部扫描了，这样就把烧毁的这些集合的大小带走了。G1想要保持200ms（默认）的promise-要做到这一点，你需要一次扫描年轻代（因为在记住的集合中的区域之间没有连接，否则堆的完整性就消失了），但同时如果你把年轻代变小-记住的集合的大小就会变大。

因此，触摸这些设置是一个工程奇迹，IMHO。