On Aug 24, 2011, at 22:40 , Gerd Stolpmann wrote: >>> - the performance cost of this new allocator in the generated code? I >>> suppose the results may vary between different architectures (eg. x86 >>> is probably more sensitive to good allocation decisions than x86_64). >> >> - http://ps.informatik.uni-siegen.de/~meurer/tmp/compiletime_timings.pdf >> contains a comparison of the ocamlopt invocations. >> - http://ps.informatik.uni-siegen.de/~meurer/tmp/runtime_timings.pdf >> contains comparison of the generated code. >> >> As can be seen from the results, amd64 is more sensitive to register >> allocator changes than i386. > > Well, this particular i386 CPU model is a strange guy - Northwoods have > this extremely long pipeline, which is very sensitive to unforeseen > jumps. It would be more interesting to see this test on a modern CPU in > i386 mode. My guess is that it behaves then more like amd64.
Modern CPUs most probably don't run ocaml in 32bit mode, but more likely in long mode. That's why we choose to run the i386 on "real 32bit hardware", where the ocaml i386 port is actually used. I'll rerun the benchmark in 32bit mode on a modern cpu to see how things change. > Gerd Benedikt -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
