From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2ODj0oP021907
	for <caml-list@sympa-roc.inria.fr>; Thu, 24 Mar 2011 14:45:00 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnQBAPfnik3RVdy2mGdsb2JhbAClQAgUAQEBAQEICQ0HFCWnJopUgh+FLC+IXAEBAwWFZASMb4NSc4RBOg
X-IronPort-AV: E=Sophos;i="4.63,237,1299452400"; 
   d="scan'208";a="103421089"
Received: from mail-vx0-f182.google.com ([209.85.220.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Mar 2011 14:44:54 +0100
Received: by vxc34 with SMTP id 34so11681193vxc.27
        for <caml-list@inria.fr>; Thu, 24 Mar 2011 06:44:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:from:content-type:content-transfer-encoding
         :subject:date:message-id:to:mime-version:x-mailer;
        bh=o249DCuJCFsIjY/9RFIbm/mzc646p4qGON/39IKNPQk=;
        b=FDc59SOxKLYhpesxSYik+vzKC5/FElH42wYmryUThAdmwu8tBKtmvrRdeHQBh7+VJC
         kDMJsR/qVY6+t4eka6BePHqeFDuojm1qM22Xs1Xtjnj++yXZATGh32TsTEdWgXLdnL2F
         nRH1vEkiaoWFq2iTpGf17ZFhazUKSapIdGrLk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        b=P//NeVlV3tZMQGpw6YYtu4wo3ZCbll4M2W7rKjkap2VUCzyksxWn2ovAuSHH2fRG1Q
         mg7xU9iLNtuJErSEB/3N59TOsWPlQkX1nE4sbx/0CIupPqdcM6Qc3k7EBLDW5O00NCsE
         lzWDp2jxlBd6/SpgKH1PZDDfNFgGdTItV/sI8=
Received: by 10.220.123.155 with SMTP id p27mr542090vcr.99.1300974293733;
        Thu, 24 Mar 2011 06:44:53 -0700 (PDT)
Received: from [192.168.0.100] (216-107-215-230.KishHeaterRoad.nhvt.static.cust.seg.net [216.107.215.230])
        by mx.google.com with ESMTPS id u14sm1980532vcr.1.2011.03.24.06.44.50
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 24 Mar 2011 06:44:52 -0700 (PDT)
From: Alexy Khrabrov <deliverable@gmail.com>
Content-Type: text/plain; charset=us-ascii
Date: Thu, 24 Mar 2011 09:44:46 -0400
Message-Id: <4587C749-DEFE-47B9-8D9A-44FE5980B58F@gmail.com>
To: caml-list <caml-list@inria.fr>
Mime-Version: 1.0 (Apple Message framework v1082)
X-Mailer: Apple Mail (2.1082)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p2ODj0oP021907
Subject: [Caml-list] Efficient OCaml multicore -- roadmap?

Where does the OCaml team stand on the multicore issues?  A year or so ago, when there was a prototype parallel GC implementation, IIRC, Xavier said it has to be done right.  So what are the official plans and the status of integrating what volunteers had done?

WIth Scala having a robust actors model and AKKA kernel, and Clojure built around efficient shared memory concurrency with agents and references and STM, and Haskell also really parallel, OCaml is lacking behind.  Furthermore, F# builds on strongly parallel .NET, overcoming granddaddy.  With multicores common even in laptops and iPads, we need an efficient  multicore OCaml!  Due to the model different from Haskell or Scala and Clojure, now all on github, OCaml is both more stable and also is slower to advance -- what do folks think about this situation?  How do you do shared memory parallelism now?

Cheers,
Alexy