[MLton-devel] new heap resizing approach

[Henry Cejtin]

I still don't get the condition
	(L + 1) * x <= R
since during the GC we are about to do, we are going to be jumping around in
y (the old space) + x memory assuming that the same amount is live now as
was before, and L * x during the subsequent mutator run.
As to the unmap flag, my interpretation was `unmap any memory you know that you
aren't using', which would make sense with a generational GC (given some
interpretation of `know that you aren't using').  Any way, it isn't a big deal
since things here are in transition.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel