From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p83GJlhk000512
	for <caml-list@sympa-roc.inria.fr>; Sat, 3 Sep 2011 18:19:47 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0BAA1TYk7RVaE2kWdsb2JhbABCmTyPKAgUAQEBAQkLCwcUBCKBXwImBgEBOE5GAQUBV4dTAplrCo8TAY4BBYYKYKAYPINt
X-IronPort-AV: E=Sophos;i="4.68,325,1312149600"; 
   d="scan'208";a="107584778"
Received: from mail-fx0-f54.google.com ([209.85.161.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Sep 2011 18:19:47 +0200
Received: by fxe4 with SMTP id 4so4421515fxe.27
        for <caml-list@inria.fr>; Sat, 03 Sep 2011 09:19:46 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        bh=3dSsjBUjLLgUoBtE+VRjfPcFs5jb22TNSx/BlxBGvRQ=;
        b=aZMjhSswUCXX2xpWj0xOtPd5DFosC0pzQzjpZBJlJsXtuDsezg0xSrm3Jzror/4rKJ
         MPGdcJP0HommvloMNS93Y82EaFgfsRqb4TKJhcyz99wVjXEX9a8W6ZssAK5L2xWppI6d
         4Q5MQFmkUhKykQXQRKjnxenCuvh04w34rz8gM=
Received: by 10.223.6.91 with SMTP id 27mr1743891fay.146.1315066786864;
        Sat, 03 Sep 2011 09:19:46 -0700 (PDT)
Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de [95.223.170.32])
        by mx.google.com with ESMTPS id i5sm1482068fag.20.2011.09.03.09.19.44
        (version=SSLv3 cipher=OTHER);
        Sat, 03 Sep 2011 09:19:45 -0700 (PDT)
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
Content-Type: text/plain; charset=us-ascii
Date: Sat, 3 Sep 2011 18:19:44 +0200
Message-Id: <FB10DF2A-B3A1-45E2-9362-A8266F429672@googlemail.com>
To: caml-list@inria.fr
Mime-Version: 1.0 (Apple Message framework v1244.3)
X-Mailer: Apple Mail (2.1244.3)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p83GJlhk000512
Subject: [Caml-list] Towards a really native =?WINDOWS-1252?Q?toplevel=85?= ocamlnat w/o as/ld

Hello,

I thought I'd just give a quick status update on the ocamlnat issue we've been working on for some time now (in a new thread since this is not strictly related to the linear scan patch). Right now we have working versions of ocamlnat for amd64 and i386 running on Linux and OS X (other systems should be supported as well, windows might need a short patch) which do no longer depend on external assemblers and linkers, the opcode emission and linking is done in-process.

The code for the amd64 version is available in the "ocamlnat-jit-amd64" branch of my "ocaml-experimental" repository at:

https://github.com/bmeurer/ocaml-experimental/tree/ocamlnat-jit-amd64

I'll push the i386 version once cleaned up and integrated with the approach implemented for the amd64 version now. It should be noted that there's still some room left for optimizations (i.e. use short jumps whenever possible, etc.), but the results so far are already quite promising: The new ocamlnat beats both the old ocamlnat as well as the byte code toplevel in every benchmark I've tried. I'll prepare a detailed comparison when time permits.

Benedikt