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

[Stephen Weeks]

> I  wonder  if  it would be worth while to have -fixed-heap try to include all
> the ram used. 

Yeah, something like that would be nice.  The question is when should
we read /proc/self/maps?  Once at startup?  At every gc?



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