垃圾回收时的漏标问题

Question

漏标只有同时满足以下两个条件时才会发生：

条件一：灰色对象 断开了 白色对象的引用；即灰色对象 原来成员变量的引用发生了变化。
条件二：黑色对象 重新引用了 该白色对象；即黑色对象 成员变量增加了新的引用。

为啥必须要两个条件都有，只满足一个条件不也漏标了吗

Answer 1

在垃圾回收算法中，我们需要通过遍历对象引用图，标记所有可达对象，进而判断哪些对象需要回收。在这个过程中，我们通过灰色对象来表示尚未处理的对象，白色对象表示未被遍历到的对象，黑色对象表示已经遍历过的对象。在标记阶段，我们首先将根对象标记为灰色，并将其放入待处理队列中，接着从队列中取出一个灰色对象，遍历其引用的对象，并将其标记为灰色，加入待处理队列。当队列为空时，所有可达对象都被标记为灰色或黑色。
漏标问题通常指的是白色对象被错误地当做垃圾回收掉了，从而导致程序出现错误。如果只满足条件一，即灰色对象断开了白色对象的引用，但黑色对象没有重新引用该白色对象，那么在遍历过程中，该白色对象仍然会被标记为灰色，并且在队列中等待处理。如果黑色对象最终没有重新引用该白色对象，那么该白色对象会被处理掉，没有漏标问题。因此，只满足条件一不会导致漏标问题的发生。
同样地，如果只满足条件二，即黑色对象重新引用了该白色对象，但灰色对象并没有断开该白色对象的引用，那么在遍历过程中，该白色对象仍然会被标记为灰色，并且在队列中等待处理。如果最终该灰色对象被处理掉，那么该白色对象也不会漏标。因此，只满足条件二也不会导致漏标问题的发生。
因此，只有同时满足条件一和条件二，即灰色对象断开了白色对象的引用并且黑色对象重新引用了该白色对象，才会出现漏标问题。