Using mutable array after an unsafeFreezeArray, and GC details

Edward Z. Yang ezyang at
Sun May 11 00:28:19 UTC 2014

Excerpts from Brandon Simmons's message of 2014-05-10 13:57:40 -0700:
> Another silly question: when card-marking happens after a write or
> CAS, does that indicate "this segment maybe contains old-to-new
> generation references, so be sure to preserve (scavenge?) them from
> collection "? In my initial question I was thinking of the cards as
> indicating "here be garbage" (e.g. a previous overwritten array
> value), but I think I had the wrong idea about how copying GC works
> generally (shouldn't it really be called Non-Garbage Preservation?).

That's correct.


More information about the Glasgow-haskell-users mailing list