[MLton-devel] new heap resizing approach
Henry Cejtin
henry@sourcelight.com
Mon, 22 Apr 2002 18:15:50 -0500
Consider the following: you have a huge amount alive for a few generations,
then you shrink to almost nothing. The first or second GC after the shrink
is the case I'm thinking of. Yes: the first GC where the GC discovers that
not much is alive will allocate a to space which is largs (because it doesn't
know that not much is alive when it starts). The next GC, which knows that
x is small, will incorrectly assume that the GC is going to use L * x of old
space, but it is really going to use y.
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel