[MLton-devel] new heap resizing approach
Stephen Weeks
MLton@mlton.org
Mon, 22 Apr 2002 14:48:44 -0700
> 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