From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel@kerneis.info>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 4D917BC57
	for <caml-list@yquem.inria.fr>; Wed, 17 Nov 2010 07:50:14 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvsEADMJ40zVujhf/2dsb2JhbACiQ3HAK4VLBA
X-IronPort-AV: E=Sophos;i="4.59,209,1288566000"; 
   d="scan'208";a="66574071"
Received: from witko.kerneis.info ([213.186.56.95])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 17 Nov 2010 07:50:13 +0100
Received: from [2001:0:53aa:64c:1445:4ffd:ad1f:b0ee] (helo=hokahe.kerneis.info)
	by witko.kerneis.info with esmtpsa (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.72)
	(envelope-from <gabriel@kerneis.info>)
	id 1PIbqO-0005v8-Oi; Wed, 17 Nov 2010 07:50:12 +0100
Received: from gabriel by hokahe.kerneis.info with local (Exim 4.72)
	(envelope-from <gabriel@kerneis.info>)
	id 1PIbqN-0000rK-Hu; Wed, 17 Nov 2010 07:50:11 +0100
Date: Wed, 17 Nov 2010 07:50:11 +0100
From: Gabriel Kerneis <kerneis@pps.jussieu.fr>
To: Eray Ozkural <examachine@gmail.com>
Cc: Jon Harrop <jonathandeanharrop@googlemail.com>,
	caml-list@yquem.inria.fr
Subject: Re: [Caml-list] SMP multithreading
Message-ID: <20101117065011.GA2754@kerneis.info>
Mail-Followup-To: Eray Ozkural <examachine@gmail.com>,
	Jon Harrop <jonathandeanharrop@googlemail.com>,
	caml-list@yquem.inria.fr
References: <20101115182737.42b8dcae@loki.yggdrasil.draxit.de>
 <4CE228CA.3030503@gmail.com>
 <1289927042.16005.176.camel@thinkpad>
 <AANLkTim2r0S7ZSmXFK87-u2PKRqvyuiBkH5rQfp7ju_C@mail.gmail.com>
 <1289945605.16005.205.camel@thinkpad>
 <AANLkTimgyL2xzUnuSzf-upSyjicffC-6-rgSK=EfxLTj@mail.gmail.com>
 <02be01cb860a$208f7aa0$61ae6fe0$@com>
 <AANLkTimpPf3_XRVL0Rp6WgQtQL56R6Vj_15ZPwkMyZJJ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <AANLkTimpPf3_XRVL0Rp6WgQtQL56R6Vj_15ZPwkMyZJJ@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
X-SA-Exim-Connect-IP: 2001:0:53aa:64c:1445:4ffd:ad1f:b0ee
X-SA-Exim-Mail-From: gabriel@kerneis.info
X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false
X-Spam: no; 0.00; 0200,:01 eray:01 ozkural:01 doable:01 ocaml:01 compiler:01 pointer:01 compiler:01 wrote:01 pps:01 caml-list:01 jussieu:01 functional:02 concurrency:04 expose:04 

On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote:
> As I said even in C good results can be achieved, I've seen that, so I
> know it's doable with ocaml, just a difficult kind of compiler. The
> functional features would expose more concurrency.

Could you share a pointer to a paper describing this compiler?

Thanks,
-- 
Gabriel Kerneis