[MLton-devel] Twelf Performance Comparison (ad hoc)

Stephen Weeks sweeks@sweeks.com
Fri, 20 Dec 2002 22:58:09 -0800


> Summary: MLton wins big on one significant example with
> standard settings.
...
> Here are the numbers:
> 
>                 #1	#2      #3     #4       #5
> SML/NJ 110.0.3  24.460	24.490  77.660 484.930    ?
> SML/NJ 110.40   13.771  38.188 176.690   ?        ?
> Poly/ML 4.1.3   34.320  53.410  75.810 102.900  128.250
> MLton 20020923   6.500   7.860   6.330  15.800    6.680

I am pleased to see your results. 

> I believe I am using Linux Red Hat 7.1 kernel 2.4.18 (if that makes
> any sense) with 512 MB memory.  I can't actually tell you
> my processor speed---what is the best way to find these
> things out under Linux?

uname -a
cat /etc/redhat-release 
cat /proc/cpuinfo

> MLton does not degrade at all, although at some point in the
> middle (#4) it does some expensive garbage collection (the added
> time is all in gc).

If the computation is indeed memory bound, then MLton will switch on
its generational GC.  So, most gcs will be minor and will be fast, but
a major collection could take a while.  That is likely what you saw.

> Since the standard test suite runs, I plan to check the new
> versions into the repository tomorrow, after some cleanup.
> At that point I can make it available on the Twelf web page
> as an unofficial working version.  Karl would have to give
> permission before I give out his snapshot code, but there
> will be other test suites available.

I'd love to be able to have the test code so I can add it to MLton's
benchmark suite and to post a response to the thread on comp.lang.ml
that started all this.


-------------------------------------------------------
This SF.NET email is sponsored by:  The Best Geek Holiday Gifts!
Time is running out!  Thinkgeek.com has the coolest gifts for
your favorite geek.   Let your fingers do the typing.   Visit Now.
T H I N K G E E K . C O M        http://www.thinkgeek.com/sf/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel