From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2PDfm38017207 for ; Fri, 25 Mar 2011 14:41:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIKACGbjE1Dww+RYGdsb2JhbACERJNhhRCIKhcUCBgiiE2qCDyCIYUsiQsBBAQBgSKDS3cEhTqLDw X-IronPort-AV: E=Sophos;i="4.63,242,1299452400"; d="scan'208";a="79071679" Received: from web111503.mail.gq1.yahoo.com ([67.195.15.145]) by mail3-smtp-sop.national.inria.fr with SMTP; 25 Mar 2011 14:41:42 +0100 Received: (qmail 19753 invoked by uid 60001); 25 Mar 2011 13:41:40 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1301060500; bh=/DEwiUxhgDV0QTo7/q1jkFlk/KI4LKzBwA3nYnK1nzY=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=1Goc3mLIVPCvWIqfNQRi3eklVTf1WkpwAofQn2YKa9pR2jg0AXzy3lfM8BWdHXx2vNpXMavpgaBY4N9z4pw1BKArQYVRTOLIuj52AlqErCEMsknpx3fA3LskQyq6PFxfcSuvrcKllHoQT83XRzI+/CY6KsblxwsK81hU3P35q0s= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=jvHW8DMfJdXLh/R7hPAdeZtiEFof/3FAgVh6BtYug3Q1w0wibbvXboHtzzeWPnDI90e9+JnpJpCppgqZ7M2b5f6cI75etBe83EHT+bBzWD8Nw4auXq1Gc1HNnaZQ7ind/rADh7F2Ez2w580UvvPlMWD/3kTPqBC8p61zANVOSNw=; Message-ID: <642177.15865.qm@web111503.mail.gq1.yahoo.com> X-YMail-OSG: BTqlERUVM1m6o4AcV..R646izpHJHuMozOQ28dpZuJW3x6a 0.iLGd336Jx6gqGpmGK7KjV1IZ.TEqpH70gxiDHLf6kbyOGrB6x2qfJFTMq3 QMrQVYoWjoQwx7En.i_P3kluNi5S8Jrk.jNqwglNldPPOZkYSOflyHR49X6S aYfaOyyOSeK6VgFfr4y2B2u8X4VsiUPqLzMoCpubkD004InA5.U12mWIC_oA .yHaVBq.vDXj6xBUbtEzqpuF3YIQ7qvvlyDOh_UDwSV9HlASygBaGaZVnwKD rvzFmT1ZkStBYzm4YCJenLfbQcwiCzQ3TPS7OjJ613o.qT0BBo._gn9p5JQm Isg6baqpQm1E.luGCrrETZcNSJCWO_BoynY3E3GjefaJ2WEl4JgNNHruUMt8 gLvZWWcXEyMdGjA-- Received: from [213.205.70.194] by web111503.mail.gq1.yahoo.com via HTTP; Fri, 25 Mar 2011 06:41:40 PDT X-Mailer: YahooMailClassic/12.0.2 YahooMailWebService/0.8.109.295617 Date: Fri, 25 Mar 2011 06:41:40 -0700 (PDT) From: Dario Teixeira To: Fabrice Le Fessant Cc: caml-list@inria.fr In-Reply-To: <4D8C944A.9060601@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p2PDfm38017207 Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? Hi, > Of course, sharing structured mutable data between threads will not be > possible, but actually, it is a good thing if you want to write correct > programs ;-) This is a good point that is often neglected in multicore discussions. What kind of language constructs would also be introduced in order to manage the concurrency between the multiple threads? Some sort of message passing API? Will Jocaml become the new Ocaml? Cheers, Dario Teixeira