[MLton-devel] MM with two mlton apps
Stephen Weeks
MLton@mlton.org
Tue, 23 Jul 2002 11:55:59 -0700
> My question was about the fact that in the old world, and I suspect that this
> is still true, you don't unmap the semi-space that is unused after a
> stop-and-copy gc.
We do unmap the unused semispace if it is smaller than the one we are
now using, since we won't be able to use it for a GC next time
anyways.
> This would be a good thing to do if you were about to run
> another process and have the parent wait while it ran, freeing up more memory
> for it to use.
Agreed. Pack will certainly do this.
-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel