Johan and I talked about this on IRC. The card table is actually
irrelevant for newly allocated arrays, so in fact we can just not
initialise it at all.
Cheers,
Simon
On 10/03/2014 08:22, Johan Tibell wrote:
Hi,
For MutableArray#s, a card is supposed to be marked if the array is
pointing to an object in a younger generation than itself resides in.
Since the array always points to elements in the same or an older
generation when it gets allocated, we should be fine with marking the
array as clean upon allocation and setting all the cards to zero. Right
now it's marked as *dirty* and all cards are (modulo a bug) marked as zero.
I think we should mark these arrays as clean to avoid some GC costs
later. We could avoid writing the card table on allocation as well, as
it's always safe to default to dirty. However, this will incur extra GC
costs later (after the first write to the array) as the whole array will
appear as dirty (due to garbage values in the card table as it wasn't
initialized) even if only a single element was written.
I'm leaning towards 1) marking arrays as clean and 2) zeroing out the
card table when the array is created. Thoughts?
-- Johan
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
