From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A70F8BC69 for ; Mon, 24 Sep 2007 11:30:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHAh90bVuiaJn2dsb2JhbACOGQIBAQcEBgcIGA X-IronPort-AV: E=Sophos;i="4.20,290,1186351200"; d="scan'208";a="3160498" Received: from 27.mail-out.ovh.net ([213.186.38.137]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Sep 2007 11:32:05 +0200 Received: (qmail 2759 invoked by uid 503); 24 Sep 2007 09:34:22 -0000 Received: from gw2.ovh.net (HELO mail170.ha.ovh.net) (213.251.189.202) by 27.mail-out.ovh.net with SMTP; 24 Sep 2007 09:34:22 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 24 Sep 2007 09:31:50 -0000 Received: from c5850-a4-2-62-147-39-228.dial.proxad.net (HELO ?62.147.39.228?) (forum%x9c.fr@62.147.39.228) by ns0.ovh.net with SMTP; 24 Sep 2007 09:28:55 -0000 Mime-Version: 1.0 (Apple Message framework v752.2) In-Reply-To: <1190583480.7864.13.camel@MATHIAS-ENS> References: <20070923194933.578ebf42@localhost.localdomain> <1190583480.7864.13.camel@MATHIAS-ENS> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <84164AD0-DF4E-4536-B9CB-FD3F1760ED0C@x9c.fr> Content-Transfer-Encoding: quoted-printable From: "forum@x9c.fr" Subject: Re: [Caml-list] Reference on the OCaml VM Date: Mon, 24 Sep 2007 11:29:24 +0200 To: caml-list@yquem.inria.fr X-Mailer: Apple Mail (2.752.2) X-Ovh-Remote: 62.147.39.228 (c5850-a4-2-62-147-39-228.dial.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam: no; 0.00; ocaml:01 ocaml:01 bytecomp:01 byterun:01 compiler:01 runtime:01 developping:01 bytecode:01 mathias:98 caml-list:01 data:02 marshalled:04 xavier:06 ecrit:06 target:91 Le 23 sept. 07 =E0 23:38, Mathias Kende a =E9crit : > Hello > > I would like to know if there are references on the OCaml VM other =20 > than > the source code of bytecomp/byterun, I found none on the OCaml =20 > website. > My aim would be to write a small compiler that would target the OCaml > runtime systems. While developping OCaml-Java, I had to reverse-engineer this =20 information. I produced two pdf files available at http://cadmium.x9c.fr/=20 downloads.html : - caml-formats.pdf describes both the marshalled data format and = the =20 bytecode file format; - caml-instructions.pdf describes all the instructions used by = the =20 OCaml VM. Hope this helps, Xavier PS: I would be happy to hear about every mistake you find in these =20 documents=