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-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 (13:33)
From: Alain Frisch <frisch@c...>
Subject: Re: JIT-compilation for OCaml?
On Thu, 4 Jan 2001, Fabrice Le Fessant wrote:

> > , maybe with some modification to prevent reverse engineering.
> Don't understand what you want. Reverse engineering is always
> possible ... 

I meant: making it more laborious. For instance by changing the name of
identifiers or the structure of the code. I know that Java bytecode has
been blamed for allowing straightforward reverse engineering by
recognizing standard patterns associated to constructions in the source.
For OCaml, the lambda representation may be already far enough from
the source code.

> > For instance, it is possible to watch conditionnal jumps and
> > reorganize the code so that the most taken branches don't need any
> > jump.
> This has nothing to do with JIT. Using profiling information can also
> be done for statically compiled programs, by recompiling them with
> this information. (this is already done by many compilers).

My point, precisely. If the JIT can't make the code run faster than
a static bytecode-to-nativecode converter, that is, if it doesn't use
any profiling information, I don't see how it is useful.