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 p3KK5PrA005186 for ; Wed, 20 Apr 2011 22:05:25 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAHA7r03RVdg2kGdsb2JhbAClOggUAQEBAQkJDQcUBCGrYIp0giWFIzOIXQEBAwaFawSOIoN/gQSEfzo X-IronPort-AV: E=Sophos;i="4.64,247,1301868000"; d="scan'208,217";a="106354216" Received: from mail-qw0-f54.google.com ([209.85.216.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 22:05:19 +0200 Received: by qwc9 with SMTP id 9so999481qwc.27 for ; Wed, 20 Apr 2011 13:05:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:subject:mime-version:content-type:from :in-reply-to:date:cc:message-id:references:to:x-mailer; bh=yMZqwCz59irchy1LmTz1Kr6kM0cl+eORhq8nYUy0akg=; b=TKiPXH3WmItfQVRI0fLNANCcnjOIlvFZyz1jEujxzYoJCtJLhio8IFtBdsGwVn504R mhabnM/UqHc+55dBe32oH89RIOrsic1+qGEYUZ8Ntpcz6PKwMf8l1ZFHKwPQV+CSQJ61 MnyoouwRMlSCZWB+/7KcuKsm3fk8RIJLvSsig= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :message-id:references:to:x-mailer; b=w+2ywTZo181RqGgIt//+zuA1HUOU8yGpWT8Qraut4XqVpbO+tmtWZkxAuYbzONEY5E dARcI/gkHgf9RLv21OkhUP84eBXCkfB0QWp3a8rJvr5Qs2q2I6fuW4+jaojAWAbhtbQc njOSDxRLCeitmZUy75ROTncWZ9TX1QlsJsJBI= Received: by 10.229.26.67 with SMTP id d3mr5614123qcc.227.1303329918750; Wed, 20 Apr 2011 13:05:18 -0700 (PDT) Received: from [10.31.11.101] (pat133.general.border2-cfw.Dartmouth.EDU [129.170.241.133]) by mx.google.com with ESMTPS id m7sm874766qcg.29.2011.04.20.13.05.16 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 20 Apr 2011 13:05:17 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: multipart/alternative; boundary=Apple-Mail-25-752684631 From: Alexy Khrabrov In-Reply-To: <029701cbff90$7a874510$6f95cf30$@ffconsultancy.com> Date: Wed, 20 Apr 2011 16:05:15 -0400 Cc: Caml List Message-Id: References: <2054357367.219171.1300974318806.JavaMail.root@zmbs4.inria.fr> <4D8BD02D.1010505@inria.fr> <4D8C73C8.6020801@inescporto.pt> <1301055903.8429.314.camel@thinkpad> <341494683.237537.1301057887481.JavaMail.root@zmbs4.inria.fr> <4D8C944A.9060601@inria.fr> <4D8CB859.9040709@inescporto.pt> <4D8CDDCC.4010000@ens-lyon.org> <029701cbff90$7a874510$6f95cf30$@ffconsultancy.com> To: Jon Harrop X-Mailer: Apple Mail (2.1082) Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? --Apple-Mail-25-752684631 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii On Apr 20, 2011, at 3:23 PM, Jon Harrop wrote: >=20 > Yes. The hardware maintains the illusion of shared memory so the programm= er only need optimize on the basis of an accurate cost model. There is no n= eed to burden the programmer with message passing and manual memory managem= ent. Jon -- based on your extensive expertise with F#, what do you think is the = main obstacle for OCaml to get the same kind of parallelism which F# enjoys= through .NET?=20 -- Alexy= --Apple-Mail-25-752684631 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii
On Apr 20, 2011, at 3:23 PM, Jon Harrop wrote:

Yes. The hardware maintains the illusion of shared memory so the programmer only need optimize on the basis of an accurate cost model. There is no need to burden the programmer with message passing and manual memory management.

Jon -- based on your extensive expertise with F#, what do you think is the main obstacle for OCaml to get the same kind of parallelism which F# enjoys through .NET? 

-- Alexy
--Apple-Mail-25-752684631--