Re: [Caml-list] Linear Scan Register Allocator for ocamlopt/ocamlnat

[Roberto Di Cosmo <roberto@dicosmo.org>]

Dear Benedikt,
	this is a typical case where the FSF compile farm may come
in handy.

You can find more information on the machines available for this
kind of tests here: http://gcc.gnu.org/wiki/CompileFarm

To get an account on the machines, just follow the instructions on 
"How to get involved" on the page, you should be up and running
in very little time

--Roberto

On Wed, Aug 24, 2011 at 09:35:56PM +0200, Benedikt Meurer wrote:
> 
> On Aug 1, 2011, at 17:04 , Gabriel Scherer wrote:
> 
> > Do you have more precise measurements on
> 
> Also posting Marcell's timing results here for reference (taken from bug 5324).
> 
> > - 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. Not really surprising to me. Would be interesting to see how this affects PPC/Sparc/Mips, but we don't have appropriate hardware available right now. Anyone with appropriate hardware and some spare time? :-)
> 
> 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
> 

-- 
--Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
   MIME accepted
   Word deprecated, http://www.rfc1149.net/documents/whynotword
------------------------------------------------------------------
Office location:
 
Bureau 6C08 (6th floor)
175, rue du Chevaleret, XIII
Metro Chevaleret, ligne 6
------------------------------------------------------------------