From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 43BB47F30A
	for <caml-list@sympa.inria.fr>; Wed, 13 Mar 2013 18:55:20 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.211;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.211;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.211;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: As8AACu8QFHB/BfTiWdsb2JhbABDhQm8Y4JlgW8OAQEBCgsSFAMlgioBAQU4QAEQCxgJFg8JAwIBAgFFEwEHAQGIFMMJjw0HFoMqA5ZWhXuOBg
X-IPAS-Result: As8AACu8QFHB/BfTiWdsb2JhbABDhQm8Y4JlgW8OAQEBCgsSFAMlgioBAQU4QAEQCxgJFg8JAwIBAgFFEwEHAQGIFMMJjw0HFoMqA5ZWhXuOBg
X-IronPort-AV: E=Sophos;i="4.84,838,1355094000"; 
   d="scan'208";a="5991631"
Received: from msa02.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.211])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2013 18:55:19 +0100
Received: from [192.168.1.120] ([92.151.28.8])
	by mwinf5d60 with ME
	id B5vJ1l00K0AW3BQ035vJnG; Wed, 13 Mar 2013 18:55:19 +0100
Message-ID: <5140BD88.7090905@frisch.fr>
Date: Wed, 13 Mar 2013 18:55:20 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
To: jon@ffconsultancy.com
CC: caml-list@inria.fr
References: <00ba01ce200c$d23f1910$76bd4b30$@ffconsultancy.com>
In-Reply-To: <00ba01ce200c$d23f1910$76bd4b30$@ffconsultancy.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Case study in optimization: porting a compiler from
 OCaml to F#

On 03/13/2013 06:04 PM, Jon Harrop wrote:
> Unfortunately I
> cannot disclose precise details.

Too bad, because the really interesting part would to know (i) what kind 
of optimizations you had to do on the F# version (and in particular 
whether they make us of parallelism), (ii) whether (some of) those 
optimizations could be applicable to the OCaml version as well, and 
(iii) how much effort you initially put into optimizing the OCaml 
version (just tweaking the GC parameters can easily give very 
substantial speedups for symbolic processing).

-- Alain