Browse thread
[Caml-list] Writing a JIT compiler
-
Jon Harrop
-
Benjamin Geer
-
Jon Harrop
- Basile Starynkevitch [local]
-
Jon Harrop
- Basile Starynkevitch [local]
-
Benjamin Geer
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-06-25 (10:56) |
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