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

[Henry Cejtin]

I  think that you would have to do it once per GC, or at least once per GC if
there was an intervening C call.

I just did a quick test and it looks like reading /proc/self/maps takes  less
than 1/3 of a millisecond, so it is pretty cheap.



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