[MLton-devel] MM with two mlton apps

[Stephen Weeks]

> 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