From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA31393; Sun, 11 Jul 2004 00:04:37 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 AAA31081 for ; Sun, 11 Jul 2004 00:04:36 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i6AM4ZEV009848 for ; Sun, 11 Jul 2004 00:04:35 +0200 Received: from bourg.inria.fr (bourg.inria.fr [128.93.11.100]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA31253 for ; Sun, 11 Jul 2004 00:04:35 +0200 (MET DST) Received: from basile by bourg.inria.fr with local (Exim 4.34) id 1BjPwy-0006O5-W6 for caml-list@inria.fr; Sun, 11 Jul 2004 00:04:05 +0200 Date: Sun, 11 Jul 2004 00:04:04 +0200 To: caml-list@inria.fr Subject: [Caml-list] [ANN] new release of OcamlJitRun - release 1.5-fetnat Message-ID: <20040710220404.GA24012@bourg.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline User-Agent: Mutt/1.5.6+20040523i From: "Basile Starynkevitch [local]" X-Miltered: at nez-perce with ID 40F067F3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; basile:01 basile:01 paolo:99 powerpc:01 passing:01 bug:01 bug:01 debugging:01 powerpc:01 3.07:01 metaocaml:01 ocamlp:01 incorrectly:01 runtime:01 ocamlrun:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear All, Thanks to the hard work of Paolo Bonzini & Laurent Michel, GNU lightning has evolved (see its CVS for details). I was also able to correct some bugs in OcamlJitRun. Now OcamlJitRun is running successfully on x86 and PowerPC, passing all the tests. There is still a bug on Sparc (the t120-getstringchar test fails), but it is not any more a very useful architecture - I don't know if the bug is in Lightning or in OcamlJit, and the [only] Sparc machine I am using here is so slow (SpartStation5) that it is unusable for debugging. Since OcamlJitRun is now running on PowerPC, I can now use it on my PowerBook (12", 1.33GHz G4, 768Mb RAM). If you have some big programs (compiled as a bytecode for future Ocaml3.08 or Ocaml CVS) I will be glad to test them with OcamlJitRun, or you can test them also. Any bytecode program (compiled with future Ocaml3.08 or the latest CVS, not 3.07!) should do. I am seeking significant Ocaml programs (compilable as bytecode with future 3.08 or latest CVS) running more than half a minute of CPU (on eg a 2GHz x86 PC) - and if possible less than 20 or 30 minutes of CPU. Please suggest me some such programs. Neither Coq, nor CIL or MetaOcaml are easily compilable with future 3.08 or recent CVS Ocaml - because of ocamlp4 changes (the ABI for locations has changed) or C primitive names (the C primitives routines have now a name starting with caml_ and some programs incorrectly use the name of internal primitive in the runtime). If some people happens to use ocamljitrun, please tell me, in particular the performance gain w.r.t ocamlrun (a factor of nearly two is typical, provided the JIT translation overhead is negligible - about 1 microsecond / bytecode instruction), hence my wish of running times bigger than 10 seconds. Ocamljitrun mimics the behavior (i.e. the stack and the heap) of the bytecode interpreter ocamlrun. In particular, it interpret all tail-recursive functions (even those with hundreds of arguments, contrarily to ocamlopt) tail-recursively, without eating the stack. Ocamljitrun works with the toplevel, dynamic linking (Dynlink module) and runtime bytecode generators (MetaOcaml) - but it cannot be running a debugged Ocaml bytecode program. OcamlJitRun requires a bytecode program compiled by the future 3.08 release or the current CVS snapshot of OCaml (3.07 or earlier Ocaml releases won't work). See http://cristal.inria.fr/~starynke/ocamljit.html for more (a submitted paper explains the internals of OcamlJitRun). OcamlJitRun is free software LGPL license, and there is no restriction on the bytecode program it executes. Feel free to give any (positive or negative) feedback about OcamlJitRun. Regards. -- Basile STARYNKEVITCH -- basile dot starynkevitch at inria dot fr other email : basile at starynkevitch dot net 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