[MLton-devel] new heap resizing approach

[Stephen Weeks]

> 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.

>From space is of size Lx and we will need x of to space.  So if
Lx + x = (L + 1) * x <= R, then we will be able to do the GC in
memory.

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