[MLton-devel] Twelf Performance Comparison (ad hoc)
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?
> 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