[MLton-user] Slow GCC

Neal Glew neal at glew.name
Thu Dec 28 16:42:47 PST 2006


Stephen Weeks writes:
 > I suspect it's a Windows-specific virtual memory issue.  Neal could
 > check this by doing the compile on another platform, say, Linux and
 > verify that virtual memory usage drops when gcc is called.

My laptop is not dual boot and Leaf has tried this on another Windows
box with more memory and had no problems, so I would need to find a
Linux box of comparable configuration, install mlton etc, and try it
out, which is more than I'm willing to do right now.

 > Another thing to try would be to use the use-mmap runtime option, as
 > in:
 > 
 >   mlton @MLton use-mmap -- foo.sml
 > 
 > On Cygwin (and Cygwin only), this tells MLton (or whatever
 > MLton-generated executable) to use Cygwin's mmap emulation.  This has
 > other problems, but it's worth a try.

This does not appear to help.

Neal



More information about the MLton-user mailing list