From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA17719 for caml-red; Sat, 6 Jan 2001 23:19:34 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA17572 for ; Fri, 5 Jan 2001 05:54:16 +0100 (MET) Received: from sirius-b.ihep.su (sirius-b.ihep.su [194.190.161.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f054s8902501 for ; Fri, 5 Jan 2001 05:54:13 +0100 (MET) Received: from ihep.su (ihep.ihep.su [194.190.161.127]) by sirius-b.ihep.su (8.10.0/8.10.0) with SMTP id f054rtb22034; Fri, 5 Jan 2001 07:53:55 +0300 (MSK) X-Sender: vsl@ontil.ihep.su Received: from ontil.ihep.su by ihep.su (5.65v4.0/RELCOM-IHEPv4.7) id AA19130; Fri, 5 Jan 2001 07:53:53 +0300 Date: Fri, 5 Jan 2001 08:48:15 +0300 (MSK) From: Vitaly Lugovsky To: Markus Mottl Cc: OCAML Subject: Re: JIT-compilation for OCaml? In-Reply-To: <20010102170753.A4018@miss.wu-wien.ac.at> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis@pauillac.inria.fr On Tue, 2 Jan 2001, Markus Mottl wrote: > Hello, > > one thing I just wondered about is whether there are any intentions > concerning a JIT-compiler for OCaml byte code similar to what Java > offers. This would allow much faster execution while still retaining > full portability of the byte code. Is this a goody we might expect in the > (near? far?) future? Very nice idea. And it also will be a solution to dynamic loading problem! I just tryed to understand, how ocaml bytecode interpreter works, and I think, it is possible to place a kind of JIT there with a little pain. -- V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)