[MLton] Segmentation fault in 32 bit mode on a 6 GB machine with
ram-slop 0.85
Matthew Fluet
fluet at tti-c.org
Sun Nov 9 13:31:13 PST 2008
On Tue, 4 Nov 2008, Vesa Karvonen wrote:
> I think that adding some more functionality, where possible, to the
> MLton.GC (http://mlton.org/MLtonGC) structure, such as finding out the
> heap size, would be a good thing.
There are some statistics currently there:
http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/basis-library/mlton/gc.sig?rev=6355&view=auto
Adding more controls that could be adjusted from the ML side would be a
nice addition. However, one would need to read through the runtime system
to determine which ratios, controls, etc. could be changed during the run
of the program.
More information about the MLton
mailing list