Shenandoah垃圾收集器-在应用程序更改对象状态之前，重定向指针如何在收集了两次的区域中工作？

Question

根据article的说法，Shenandoah GC的工作是添加新的指针来告诉对象移动到了哪里。

比方说：

region_A  redirection_pointer 
ObjectA   12345

那么GC正在将这个对象移动到某个地方：

region_A  redirection_pointer 
(no object)   12345

一段时间后，GC会将新对象添加到此区域：

region_A  redirection_pointer 
ObjectB   11111

刚才app想用ObjectA做点什么，但是它没有合适的对象和重定向指针。

这是如何工作的？

Answer 1

我认为这在谢南多会谈中被多次提及。请参阅“并发复制”小节here。这是“老的”Shenandoah (俗称1.0)。有关更新的Shenandoah，请参阅here。

从你问问题的方式来看，我猜主要的误解是认为对象被复制的区域在移动后立即被回收。它实际上是在所有引用更新后被回收的，这意味着每个堆引用都知道ObjectA现在在哪里。因此，您永远不会在需要来自旧区域的转发指针的情况下运行。