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=0.1 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1711CBC69 for ; Mon, 24 Sep 2007 14:22:43 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.20,291,1186351200"; d="scan'208,217";a="16691691" Received: from smtpoutm.mac.com ([17.148.16.72]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2007 14:22:42 +0200 Received: from mac.com (smtpin02-en2 [10.13.10.147]) by smtpoutm.mac.com (Xserve/smtpout009/MantshX 4.0) with ESMTP id l8OCMcZp006649; Mon, 24 Sep 2007 05:22:39 -0700 (PDT) Received: from [192.168.8.152] (c-24-218-151-219.hsd1.ma.comcast.net [24.218.151.219]) (authenticated bits=0) by mac.com (Xserve/smtpin02/MantshX 4.0) with ESMTP id l8OCMZqv021713 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Mon, 24 Sep 2007 05:22:37 -0700 (PDT) In-Reply-To: <84164AD0-DF4E-4536-B9CB-FD3F1760ED0C@x9c.fr> References: <20070923194933.578ebf42@localhost.localdomain> <1190583480.7864.13.camel@MATHIAS-ENS> <84164AD0-DF4E-4536-B9CB-FD3F1760ED0C@x9c.fr> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: multipart/alternative; boundary=Apple-Mail-1--271547414 Message-Id: <59AB615D-ECBC-47D9-A996-2F2C9DD3041F@mac.com> Cc: caml-list@yquem.inria.fr From: Gordon Henriksen Subject: Re: [Caml-list] Reference on the OCaml VM Date: Mon, 24 Sep 2007 08:22:13 -0400 To: forum@x9c.fr X-Mailer: Apple Mail (2.752.3) X-Spam: no; 0.00; ocaml:01 ocaml:01 bytecomp:01 byterun:01 compiler:01 runtime:01 developping:01 bytecode:01 bytecomp:01 byterun:01 compiler:01 runtime:01 developping:01 bytecode:01 mathias:98 --Apple-Mail-1--271547414 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=WINDOWS-1252; delsp=yes; format=flowed On 2007-09-24, at 05:29, forum@x9c.fr wrote: > 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 = =20 > the bytecode file format; > - caml-instructions.pdf describes all the instructions used by = the =20 > OCaml VM. Xavier, Nicely done. =97 Gordon --Apple-Mail-1--271547414 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252

On 2007-09-24, at = 05:29, forum@x9c.fr wrote:

Le 23 sept. 07 =E0 23:38, = Mathias Kende a =E9crit :

I would like to know if there are references on the = OCaml VM other than
the source code of = bytecomp/byterun, I found none on the OCaml 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 information.
I produced = two pdf files available at http://cadmium.x9c.fr/downlo= ads.html :
- caml-formats.pdf describes both = the marshalled data format and the bytecode file format;
- caml-instructions.pdf describes = all the instructions used by the OCaml = VM.

Xavier,

Nicely = done.

=97 Gordon

= --Apple-Mail-1--271547414--