[MLton-devel] new heap resizing approach

[Henry Cejtin]

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