[MLton-user] mlton-20070826 on mingw

Matthew Fluet fluet at tti-c.org
Mon Dec 17 19:08:15 PST 2007


>>  If you have a 'static' version available, upload it to TemporaryUpload and
>>  I'll move it to Experimental.
> I just uploaded the following file. Please let me know if it worked or not 
> ...
>
>   mlton-20070826.x86-mingw.gmp-static.tgz
>
> For compiling mlton on mingw, with static gmp, one just needs the standard
> msys distribution, bash and gcc4, all found in the mingw download area.
> Of course, one must also put a copy of gmp.h (static version) into
> /mingw/include, and a copy of libgmp.a into /mingw/lib.

Thanks for building it; I added the binary package to 
mlton.org/Release20070826.

> Finally, I recently made some experiments with the x86_64 version of mlton,
> on a linux server (centos 5) with a large memory (208Gb). I tried some 
> examples
> requiring huge amounts of memory (> 100Gb). The mlton built applications
> resisted, as well as centos !

I'm guessing that means that the applications ran successfully.  Pretty 
impressive.

> Now, I observed a significant loss of performances compared to running 32 bit
> applications on the same machine, I measured 64 bit code roughly 25% slower
> than 32 bit code (ratio 1.25/1). I was wondering if there was some way to 
> improve
> 64 bit running times by tuning the gcc flags or even the mlton basis library 
> ?

Some applications show a performance improvement on amd64 with the
'-align 8' compiler option.



More information about the MLton-user mailing list