English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
RE: JIT-compilation for OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-04 (20:19)
From: Alan Schmitt <alan.schmitt@i...>
Subject: Re: JIT-compilation for OCaml?
This reminds me of slim binaries and runtime optimizations ...
(see http://caesar.ics.uci.edu/oberon/research.html#SlimBinaries )

I noticed something funny there: the PhD student who was working on
dynamic optimizations is now working for Transmeta. What a coincidence

Alan Schmitt

>[JRJ] There are many other sorts of optimizations that can be done by
>compiling at runtime.  A simple case is that processor-specific instructions
>can be generated instead of generic ones (e.g. Pentium III instructions
>rather than generic 486).  A more interesting example is used by Sun's
>current JIT compiler...  Aggressive inlining and direct dispatch are done
>for all sorts of method calls (that could potentially be overloaded).  If a
>class is later loaded that extends one of the inlined or directly called
>methods, the JIT compiler goes back and "unoptimizes" the code it had
>previously optimized!

The hacker: someone who figured things out and made something cool happen.