如果我们让增变者和一个像算法，那样的基本跟踪算法交替执行，那么一些可达对象可能会被错认为是不可达的。问题的根源在于增变者的动作可能会违反这个算法的一个关键不变式，即一个已扫描对象中的引用只能指向已扫描或待扫描的对象，这些引用不可以指向未被访问对象。考虑下面的场景：

1)垃圾回收器发现对象o1可达并扫描o1中的指针，因而将o1置于已扫描状态。

2)增变者将一个指向未被访问（但可达）的对象0的引用存放到已扫描对象ol中。它从当前处于未被访问或待扫描状态的对象o2中将一个指向o的引用拷贝到ol中。