[MLton-devel] new heap resizing approach
Stephen Weeks
MLton@mlton.org
Mon, 22 Apr 2002 16:01:41 -0700
> I wasn't thinking about that (changing the to space according to the true
> live space) but about the fact that during the GC we need all the old space
> plus the true live. Not L * x, but y plus <true live which we estimate as x),
> hence
> y + x <= R
Exactly. But, on the current GC, we can't change y or x, we can only
set y for the next gc.
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel