Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Writing a JIT compiler
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Basile Starynkevitch [local] <basile.starynkevitch@i...>
Subject: Re: [Caml-list] Writing a JIT compiler
On Fri, Jun 25, 2004 at 10:53:14AM +0100, Jon Harrop wrote:
> On Friday 25 June 2004 09:52, Benjamin Geer wrote:
> > There's already a JIT compiler for OCaml code:
> >
> > http://cristal.inria.fr/~starynke/ocamljit.html
> 
> So maybe I could get ocamljitrun to execute my interpreter and write my 
> interpreter to dynamically convert host code into OCaml bytecode which can 
> then be JIT compiled into native code and dynamically linked back in with the 

Ocamljitrun is a plugin replacement for ocamlrun (and libcamlrun.a,
renamed as libcamljitrun.a) - it executes Ocaml bytecode (by
translating them transparently into native code). It works with
dynamically linked ocaml modules and toplevels.

So your interpreter might generate Ocaml bytecode (perhaps reusing the
"lambda" representation of Ocamlc) - and ocamljitrun will, when
interpreting it, translate the bytecode to machine code.

Ocamljitrun requires latest Ocaml CVS or future Ocaml 3.08. (the
current 3.07 release won't work with it).

Feel free to ask me additional questions about it.

As I told in my previous posting, you might have a look into MetaOcaml
(see http://metaocaml.org/ for more)

Regards.
-- 
Basile STARYNKEVITCH -- basile dot starynkevitch at inria dot fr
Project cristal.inria.fr - phone +33 1 3963 5197 - mobile 6 8501 2359
http://cristal.inria.fr/~starynke --- all opinions are only mine 

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners