From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr 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 p3K9PJqC012792 for ; Wed, 20 Apr 2011 11:25:19 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAFmlrk1KfVI0imdsb2JhbACEUKBkCBQBAQEKCQ0HEgYhq3aKOIJhhSmJEAEBAwaEcXoEjiKDf4EEhH86gSI X-IronPort-AV: E=Sophos;i="4.64,245,1301868000"; d="vcf'?scan'208";a="81405009" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 11:25:13 +0200 Received: by wwe15 with SMTP id 15so791543wwe.9 for ; Wed, 20 Apr 2011 02:25:13 -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=nVxMdA/rlyKthb2FjAv2DmWJg3a7u6QZb9VZWaancrw=; b=F2hnH94SihB43K3bEqn63Lmtgg8wvg9UC9GUAjquytM0LmAuLugtzrz1jchUZGO35I Tzcz/Z8/9EklYYpROaW984k4hvZKRur/79LqIjiwzPrBjlQDnzk2GF76RlaHXcEDeHI0 2KyWWlyHSA8ZYhJZEH6LE/ZWBiN7onEbhxSjI= 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=vyhZBtKNIj0+37Hn15ShruyY540HNczIaM3BLcEEevOyX0y4aWsM6CvwcTHyXTj/n+ G3t9w/Tlzt98LlgEI2L50V7dEgQSVW9nwSCQoJHT19WpqL0aIq2hNfxmd1ygODMXJHld f0F+FZmN2Oq1tto2IGw6JOmuk26FULNwP8ZBs= Received: by 10.227.172.7 with SMTP id j7mr2662436wbz.60.1303291513502; Wed, 20 Apr 2011 02:25:13 -0700 (PDT) Received: from [128.93.135.30] (guest-rocq-135030.inria.fr [128.93.135.30]) by mx.google.com with ESMTPS id u9sm443081wbg.0.2011.04.20.02.25.11 (version=SSLv3 cipher=OTHER); Wed, 20 Apr 2011 02:25:12 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4DAEA676.1090500@inria.fr> Date: Wed, 20 Apr 2011 11:25:10 +0200 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: Jon Harrop CC: 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> <4D8C944A.9060601@inria.fr> <869445701.579183.1303253283515.JavaMail.root@zmbs4.inria.fr> In-Reply-To: <869445701.579183.1303253283515.JavaMail.root@zmbs4.inria.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------050506040001030809010405" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? This is a multi-part message in MIME format. --------------050506040001030809010405 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On 04/20/2011 12:48 AM, Jon Harrop wrote: > Fabrice wrote: >> 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. > > Lucas says "zero". You say "huge". Can we do a better job of quantifying this? No, I cannot, but you can ask the OC4MC team for numbers, to compare the performance of their implementation with the official one for sequential programs (coq, ocamlopt, etc.) I could only find 3 programs on their slides, not really representative of classical OCaml programs, but one of them already showed a 17% slowdown compared to OCaml. Fabrice --------------050506040001030809010405 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 ZTtQMlAgJiBPQ2FtbA0KYWRyO3F1b3RlZC1wcmludGFibGU6OztQYXJjIE9y c2F5IFVuaXZlcnNpdD1DMz1BOSA7T3JzYXkgQ0VERVg7OzkxODkzO0ZyYW5j ZQ0KZW1haWw7aW50ZXJuZXQ6ZmFicmljZS5sZV9mZXNzYW50QGlucmlhLmZy DQp0aXRsZTtxdW90ZWQtcHJpbnRhYmxlOkNoYXJnPUMzPUE5IGRlIFJlY2hl cmNoZQ0KdGVsO3dvcms6KzMzIDEgNzQgODUgNDIgMTQNCnRlbDtmYXg6KzMz IDEgNzQgODUgNDIgNDkgDQp1cmw6aHR0cDovL2ZhYnJpY2UubGVmZXNzYW50 Lm5ldC8NCnZlcnNpb246Mi4xDQplbmQ6dmNhcmQNCg0K --------------050506040001030809010405--