A separate GC idea - multiple D GCs

[Ola Fosheim Grøstad]

On Saturday, 22 January 2022 at 10:05:07 UTC, rikki cattermole 
wrote:
> If it knows that memory isn't referenced in that fiber anymore, 
> then it only needs to confirm that it isn't anywhere else.

I don't quite see how you plan to make this work without tracking 
dirty objects, which has a performance/storage penalty.

Fiber1 has memory chunk A

Fiber2 has memory chunks A, B

You confirm that sleeping Fiber1 does not have access to B

Fiber2 sets A.next = B

At this point, you assume wrongly that Fiber1 does not have 
access to B?