From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
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 A46EEBC58
	for <caml-list@yquem.inria.fr>; Wed, 15 Sep 2010 22:37:48 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlYBAErLkExKfVK0kGdsb2JhbACVNIwyCBUBAQEBCQkMBxEDH6xai0YBBY9NAQSFQQ
X-IronPort-AV: E=Sophos;i="4.56,372,1280700000"; 
   d="scan'208";a="69589874"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Sep 2010 22:37:48 +0200
Received: by wyb40 with SMTP id 40so552125wyb.39
        for <caml-list@yquem.inria.fr>; Wed, 15 Sep 2010 13:37:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=/d8KvGR+00pJiJud5OhJE4McWUPqZl5KOb0F3i1Ni6o=;
        b=iP9b4Dr2cydH0LSBVJZUoREoORs7lKQlwbFZz3CSpY7z6SQdu7ekZlg/bKxr3Hbxph
         vQ6mtqlgMyboir7bolnfIO6PRc9o/I1ISEMHk+R0lloDAdhCXZqR1AP9asjekoh+K7M8
         euk1mHAo0cC1I+gX0cj+vfckoMVErWKFjShVU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:references:in-reply-to:subject:date:organization
         :message-id:mime-version:content-type:content-transfer-encoding
         :x-mailer:thread-index:content-language;
        b=XUq5+HliS6NhUN1GBuEPKaLbTp0t8gHEgeRW7GgUCICX+XcdKTBS/mGuyMHFZZnywZ
         udY8SrbKO2ERx/GI4jLdDd+dbO0otqHjOUxa1wa41/ZHg6bvQd/dhqnaq4TiJhBCIs0N
         wa3ezlCLsk19OdrtLnFGMcT701TtfdnIb2jz4=
Received: by 10.227.69.134 with SMTP id z6mr1778751wbi.201.1284583067488;
        Wed, 15 Sep 2010 13:37:47 -0700 (PDT)
Received: from WinEight ([87.115.152.182])
        by mx.google.com with ESMTPS id b23sm1602790wbb.16.2010.09.15.13.37.44
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 15 Sep 2010 13:37:46 -0700 (PDT)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Eray Ozkural'" <examachine@gmail.com>,
	"'Jon Harrop'" <jonathandeanharrop@googlemail.com>
Cc: "'Basile Starynkevitch'" <basile@starynkevitch.net>,
	"'Vincent Gripon'" <vincent.gripon@telecom-bretagne.eu>,
	<caml-list@yquem.inria.fr>
References: <4C8F660B.4060901@telecom-bretagne.eu>	<20100914124341.GA11500@hector.lesours>	<004b01cb54fc$9c435020$d4c9f060$@com> <AANLkTikCVkjQ7n0MX2AkabggXCMEC5924Jooo3RJMsNA@mail.gmail.com>
In-Reply-To: <AANLkTikCVkjQ7n0MX2AkabggXCMEC5924Jooo3RJMsNA@mail.gmail.com>
Subject: RE: [Caml-list] Compiling Ocaml sources to c sources
Date: Wed, 15 Sep 2010 21:37:05 +0100
Organization: Flying Frog Consultancy
Message-ID: <006a01cb5515$c9c42420$5d4c6c60$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: ActVAjlPuIgFb/92QceJxAuxkEe8NwAD4SDQ
Content-Language: en-gb
X-Spam: no; 0.00; ocaml:01 bytecode:01 ocaml:01 real-world:01 speedup:01 compiler:01 compilation:01 cheers:01 caml-list:01 transmeta:01 data:02 compiling:02 seems:03 hmm:04 problem:05 

> Hmm, this would only optimize the bytecode fetch/decode step of the ocaml
execution cycle. I am not sure that it will result in much real-world
speedup.

Would be interesting to try. I suspect the C compiler would then optimize
the sequences of operations on the data as well. For example, something like
vector addition.

> In fact, that seems to be the main problem with many of these so-called
JIT interpreters, which in my opinion, do not seem to have learnt from the
HAL architectures of IBM OS's etc. Was probably also the problem with
Transmeta; cheap compilation entails cheap performance.

Can you elaborate?

Cheers,
Jon.