[MLton-devel] MM with two mlton apps

[Henry Cejtin]

Note, if the secondary process is time-consuming enough, then all of this
can be faked (modulo open files and signals) bu doing a saveWorld instead
of the compact.  Still, not very nice.
What is done in the new world with de-allocating the non-used space when
not in a GC?  That would save a good chunk of the paging if it isn't done
already (in the case where the process is still in stop-and-copy mode).
All in all I would think that a forced GC with an option which said to make
the new to-space exactly the size of live data would be pretty cheap.


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