[MLton-devel] MM with two mlton apps

[Henry Cejtin]

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.  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.
I forgot about the fact that you would have to reserve a bit of space in the
new semi-space for allocation that happens after the call and before the
fork/exec (or what ever) finishes.


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