This is needed for collectors that use concurrent marking or forwarding pointers, like Java's ZGC and Shenandoah.
I used to think this was impossible, but now I think it is not.
I think we could insert them in the deref implementation of Gc. We could guarantee the pointers are updated at least once after each safe point. Is this good enough?
TODO: Consult The GC Handbook
This is needed for collectors that use concurrent marking or forwarding pointers, like Java's ZGC and Shenandoah.
I used to think this was impossible, but now I think it is not.
I think we could insert them in the
derefimplementation of Gc. We could guarantee the pointers are updated at least once after each safe point. Is this good enough?TODO: Consult The GC Handbook