On Thu, 26 Apr 2012, Jeremy Singer wrote:
I am trying to create something like Hans Boehm's GC benchmark -
http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html
The web page says:
The benchmark should run in roughly 32MB or less on most systems, and
some systems run it in about half that.
To get meaningful numbers on current hardware, you should try to drive it
to 32GB. This is where things are getting interesting -- it is also about
the limit of what the fine Poly/ML 5.4.1 by David can handle comfortable
so far, say in really big Isabelle applications.
Old SML/NJ is loosing the game long before 100 MB total heap size,
resulting in a factor 10..100 performance loss due to memory menagement,
compared to Poly/ML.
I've also seen the JVM getting awkward at 1..2 GB heap size.
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
