Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
JIT VM in OCaml: Impossible?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-17 (03:09)
From: Erick Tryzelaar <erickt@d...>
Subject: Re: [Caml-list] JIT VM in OCaml: Impossible?
skaller wrote:
> Don't forget: a program has to be compiled one way or the other.
> Even Python is compiled to bytecode.  The tool above (Felix)
> is better than a JIT because it does whole program optimisation,
> generates machine binaries.
> So I don't buy 'slow' as an argument: the technique is much
> FASTER than any JIT system in all aspects, in fact it IS
> a JIT compiler -- it just compiles the whole program all the
> way from source with disk based caching which persists over
> invocations.

For loose definitions of JIT :) It doesn't do runtime optimization of 
the code, of course.

And to be fair, since whole program optimization needs to start roughly 
from scratch every time, you can have some ugly compile times.