[MLton-devel] Controlling memory usage for MPI MLton processes

[Henry Cejtin]

I  wonder  if  it would be worth while to have -fixed-heap try to include all
the ram used.  It could be done on Linux I think by reading  /proc/self/maps.



-------------------------------------------------------
This SF.net email is sponsored by: SF.net Giveback Program.
SourceForge.net hosts over 70,000 Open Source Projects.
See the people who have HELPED US provide better services:
Click here: http://sourceforge.net/supporters.php
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel