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 p2PDAhVc015467 for ; Fri, 25 Mar 2011 14:10:43 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlYCAJiTjE3RVdY2kGdsb2JhbACEQ6EJCBQBAQEBCQkNBxQEIahUihiCXYUxiQsBAQMFhG13BIx1g1RzhEI6gR0 X-IronPort-AV: E=Sophos;i="4.63,242,1299452400"; d="vcf'?scan'208";a="103528854" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Mar 2011 14:10:37 +0100 Received: by bwz12 with SMTP id 12so1561322bwz.27 for ; Fri, 25 Mar 2011 06:10:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:sender:message-id:date:from:user-agent :mime-version:to:cc:subject:references:in-reply-to :x-enigmail-version:content-type; bh=XiYaN5yNjGuFS9S7vTJZmAcq8bmQ6m6erh28VgtQ2kI=; b=P3jjdVM7FpVvoWzYL8lqAks4QtXRGy5ZlPMm2h6CVBxrfcZ2pv8zBNVEfJK6Zv0Xqm +eKtPrlhBiTQLVe2FipZN4sjfHS5XiFgQ8L3NJNY3PVzu/03ELMRhSJAGYifqVB9PEzs 3L1PkxQIWF4hIx65VftaTl6oVKR9ei9eFA8ZY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:x-enigmail-version:content-type; b=gk5eaAzhNGSaYzMKPOD9kJ5uSZUMYxoiYaGeINuUbAn0KPHPtHmrM5zRyu5F7oX6jG lHHTvPwySY9HHOCtR61pBGD3gKHnZOiBdERDG9yUB7bquEt3kOrTs9QusbXyNYbN4AFy st1uNsCt7Rs/UZpxf9Q0tl1YcjBvYb5WXpfbg= Received: by 10.204.118.211 with SMTP id w19mr764372bkq.83.1301058637228; Fri, 25 Mar 2011 06:10:37 -0700 (PDT) Received: from [195.83.212.218] (chercheurs-218.saclay.inria.fr [195.83.212.218]) by mx.google.com with ESMTPS id j13sm151582faa.3.2011.03.25.06.10.34 (version=SSLv3 cipher=OTHER); Fri, 25 Mar 2011 06:10:35 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4D8C944A.9060601@inria.fr> Date: Fri, 25 Mar 2011 14:10:34 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.14) Gecko/20110223 Lightning/1.0b2 Thunderbird/3.1.8 MIME-Version: 1.0 To: Hugo Ferreira CC: Gerd Stolpmann , caml-list@inria.fr 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> In-Reply-To: <341494683.237537.1301057887481.JavaMail.root@zmbs4.inria.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------050205010403010306000402" Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? This is a multi-part message in MIME format. --------------050205010403010306000402 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On 03/25/2011 01:58 PM, Hugo Ferreira wrote: >>> Assuming all shared data structures are immutable is it possible to: Well, Java has fully multi-threaded garbage collection, so there is no point that it is possible to do it. The problem is that it has a cost, and the cost is a huge slowdown on mono-threaded programs. Since most OCaml programs are mono-threaded, and only few programs would really benefit from multi-threading, we are trying to come up with a solution that would satisfy both worlds. Mono-threaded programs would still run as fast (possibly using a non-reentrant version of the runtime, to avoid the cost of TLS if it is visible), and multi-threaded programs can be written easily. 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 ;-) -- Fabrice --------------050205010403010306000402 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" YmVnaW46dmNhcmQNCmZuOkZhYnJpY2UgTEUgRkVTU0FOVA0KbjpMRSBGRVNT QU5UO0ZhYnJpY2UNCm9yZzpJTlJJQSBTYWNsYXkgLS0gSWxlLWRlLUZyYW5j ZTtQcm9qZXQgT0NhbWxQcm8NCmFkcjtxdW90ZWQtcHJpbnRhYmxlOjs7UGFy YyBPcnNheSBVbml2ZXJzaXQ9QzM9QTkgO09yc2F5IENFREVYOzs5MTg5MztG cmFuY2UNCmVtYWlsO2ludGVybmV0OmZhYnJpY2UubGVfZmVzc2FudEBpbnJp YS5mcg0KdGl0bGU7cXVvdGVkLXByaW50YWJsZTpDaGFyZz1DMz1BOSBkZSBS ZWNoZXJjaGUNCnRlbDt3b3JrOiszMyAxIDc0IDg1IDQyIDE0DQp0ZWw7ZmF4 OiszMyAxIDc0IDg1IDQyIDQ5IA0KdXJsOmh0dHA6Ly9mYWJyaWNlLmxlZmVz c2FudC5uZXQvDQp2ZXJzaW9uOjIuMQ0KZW5kOnZjYXJkDQoNCg== --------------050205010403010306000402--