[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