From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3GDtJxc020218
	for <caml-list@sympa-roc.inria.fr>; Sat, 16 Apr 2011 15:55:19 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqkDAKOeqU1KfVK2kGdsb2JhbAAumCKNOAgUAQEBAQkJDQcUBCGnR40QAQWODgEEhXGXZzo
X-IronPort-AV: E=Sophos;i="4.64,223,1301868000"; 
   d="scan'208";a="97338683"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Apr 2011 15:55:14 +0200
Received: by wyf23 with SMTP id 23so5278225wyf.27
        for <caml-list@inria.fr>; Sat, 16 Apr 2011 06:55:14 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:from:to:references:in-reply-to:subject:date
         :organization:message-id:mime-version:content-type
         :content-transfer-encoding:x-mailer:thread-index:content-language;
        bh=z3uLYGrpgQe9NehC6jPrhV8q7ph9VjA60/WACp+9vHY=;
        b=WozCB1gOBqTJLNK7sxXDhInQOdjQVmv4mMxg4rCK2oKcvgIrPs9MQsk3mWPjINIU7u
         ocYhOwamzGjw14Nc5CSA0v14a9yC76A9m7pusN06fgbjmqyoDzXVorYPNUTZUDIELbIb
         JwT9pxH3TZL3TeKKQxMySFlgbLD4BItGyiwrk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:references:in-reply-to:subject:date:organization:message-id
         :mime-version:content-type:content-transfer-encoding:x-mailer
         :thread-index:content-language;
        b=NknsY32SyzljY8I3hZuTa6AG20WiLP4RZdPO1tiwHtGK71my++HlnIVu9ke/sl1HQu
         6x7uQ/mKvt8crI1X02zJ0+aDZBhT6iQrlVq/nslqUDwTSAZjX2KRk8x0B/Hc8+NkHpLr
         0h2hS8IpER5cStOFrYtqyYDA57M/8Xi3NnvsU=
Received: by 10.216.72.201 with SMTP id t51mr560050wed.6.1302962113868;
        Sat, 16 Apr 2011 06:55:13 -0700 (PDT)
Received: from WinEight ([80.229.123.248])
        by mx.google.com with ESMTPS id ed10sm2181282wbb.32.2011.04.16.06.55.11
        (version=SSLv3 cipher=OTHER);
        Sat, 16 Apr 2011 06:55:12 -0700 (PDT)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: <caml-list@inria.fr>
References: <2054357367.219171.1300974318806.JavaMail.root@zmbs4.inria.fr> <4D8BD02D.1010505@inria.fr> <4DA51A28.1060709@inf.ed.ac.uk>
In-Reply-To: <4DA51A28.1060709@inf.ed.ac.uk>
Date: Sat, 16 Apr 2011 14:54:44 +0100
Organization: Flying Frog Consultancy
Message-ID: <00ad01cbfc3d$d847a650$88d6f2f0$@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQFhMASujb2QG2h3N2h7/lJjoQ23OAIYQRkZApwgekeVEF6kIA==
Content-Language: en-gb
Subject: RE: [Caml-list] Efficient OCaml multicore -- roadmap?

Lucas wrote:
> The PolyML implementation of SML has had a multi-core runtime, without
> slowing down single-threaded programs for a few years now... we do see
> 4-5x speed-up on 8 core machines for large real-world applications (in
SML,
> our real world means a big formal proof development...

Really great to see such good work being done on parallelism in ML!

The following recent papers on PolyML's fast multicore garbage collector
were very interesting:

http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf
http://www4.in.tum.de/~wenzelm/papers/itp-smp.pdf

Cheers,
Jon.