From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 522FDBCCC for ; Thu, 18 Nov 2010 14:16:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCACvU40xKfVIukGdsb2JhbACBfZIigVWEUwGIAQgWAQIJCQwHEQMfpiGLegEFji0BBIVLkFc X-IronPort-AV: E=Sophos;i="4.59,213,1288566000"; d="scan'208,217";a="79448997" Received: from mail-ww0-f46.google.com ([74.125.82.46]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Nov 2010 22:15:54 +0100 Received: by wwf26 with SMTP id 26so668921wwf.3 for ; Wed, 17 Nov 2010 13:15:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:from:to:references :in-reply-to:subject:date:organization:message-id:mime-version :content-type:x-mailer:thread-index:content-language; bh=UHnXpmLrFjK9r+zGMAzhq1KGpYjsYukFnnGy1B9qWmU=; b=ZHPTBd1CWIG5ma+61SrzXB5ug8a8rSn/zgdUvEaDTDHoqdsnrhnNt8CLbWP51GyDOD RRAj+mLOZxGCmi/xiZ/Q3IpJSmE77Xucd2VhccpQFvtk3a9sjFoKo+y9k/7UWjPr7dZ7 YMa+KlElAB1fgcxFNFWoDnch7UKnOZv0tfD7g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=from:to:references:in-reply-to:subject:date:organization:message-id :mime-version:content-type:x-mailer:thread-index:content-language; b=W4B3ujaXOpuSxKTnnKEJhx3qgCke5RbulsHi5uF6f/1p35wq7KFMSUX8eCEj4T3Qpj 5ExoSnvNd3WK42AEKepXEITRJKq6mvzdmBJXpbCdrj+58ofqyjsnjzgpMrl6iS2Mneqt 4hitBqKfklVx1yWbZdJxzIj5m0S9FI2VEON2Q= Received: by 10.216.47.140 with SMTP id t12mr8876528web.102.1290028551420; Wed, 17 Nov 2010 13:15:51 -0800 (PST) Received: from WinEight ([87.112.168.151]) by mx.google.com with ESMTPS id o43sm1396086weq.47.2010.11.17.13.15.48 (version=SSLv3 cipher=RC4-MD5); Wed, 17 Nov 2010 13:15:49 -0800 (PST) From: Jon Harrop To: "'Eray Ozkural'" , References: <20101115182737.42b8dcae@loki.yggdrasil.draxit.de> <4CE228CA.3030503@gmail.com> <1289927042.16005.176.camel@thinkpad> <1289945605.16005.205.camel@thinkpad> <02be01cb860a$208f7aa0$61ae6fe0$@com> <20101117065011.GA2754@kerneis.info> In-Reply-To: Subject: RE: [Caml-list] SMP multithreading Date: Wed, 17 Nov 2010 21:15:23 -0000 Organization: Flying Frog Consultancy Message-ID: <031301cb869c$8e33f120$aa9bd360$@com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0314_01CB869C.8E33F120" X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcuGXRVx3HFQhFiYRtK/Jg30GZJemAAP1IqQ Content-Language: en-gb X-Spam: no; 0.00; cheers:01 eray:01 ozkural:01 eray:01 ozkural:01 0200,:01 doable:01 ocaml:01 compiler:01 pointer:01 compiler:01 gcc:01 ocaml:01 bilkent:01 cheers:01 This is a multi-part message in MIME format. ------=_NextPart_000_0314_01CB869C.8E33F120 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Can you cite any papers from this century? ;-) Cheers, Jon. From: Eray Ozkural [mailto:examachine@gmail.com] Sent: 17 November 2010 13:41 To: Eray Ozkural; Jon Harrop; caml-list@yquem.inria.fr Subject: Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 8:50 AM, Gabriel Kerneis wrote: 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? I can't reveal much, but just to point out that there are indeed more sophisticated compilers than gcc: http://www.research.ibm.com/vliw/compiler.html So, uh, there are compilers that turn loops into threads, and also parallelize independent blocks.... Both coarse-grain and fine-grain parallelization strategies in existing compiler research can be effectively applied to the multi-core architectures. In fact, some of the more advanced compilers (like that of the RAW architecture) must be able to target it already, but who knows. :) Just consider that most of the parallelization technology is language independent, they can be applied to any imperative language. So, would such a thing be able to work on ocaml generated binaries? Most definitely, I believe, it is in principle possible to start from the sequential binary and emit parallel code! Best, -- Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara http://groups.yahoo.com/group/ai-philosophy http://myspace.com/arizanesil http://myspace.com/malfunct ------=_NextPart_000_0314_01CB869C.8E33F120 Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable

Can you cite any papers from this century? = ;-)

 

Cheers,

Jon.

 

From:= Eray = Ozkural [mailto:examachine@gmail.com]
Sent: 17 November 2010 = 13:41
To: Eray Ozkural; Jon Harrop; = caml-list@yquem.inria.fr
Subject: Re: [Caml-list] SMP = multithreading

 

On Wed, Nov = 17, 2010 at 8:50 AM, Gabriel Kerneis <kerneis@pps.jussieu.fr> = wrote:

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?


I can't reveal much, but just to point out that = there are indeed more sophisticated compilers than gcc:
http://www.resear= ch.ibm.com/vliw/compiler.html 

So, uh, there are = compilers that turn loops into threads, and also parallelize independent = blocks.... Both coarse-grain and fine-grain parallelization strategies = in existing compiler research can be effectively applied to the = multi-core architectures. In fact, some of the more advanced compilers = (like that of the RAW architecture) must be able to target it already, = but who knows. :) Just consider that most of the parallelization = technology is language independent, they can be applied to any = imperative language. So, would such a thing be able to work on ocaml = generated binaries? Most definitely, I believe, it is in principle = possible to start from the sequential binary and emit parallel = code!

Best,



--
Eray Ozkural, = PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.= com/group/ai-philosophy
http://myspace.com/arizanesil = http://myspace.com/malfunct=

------=_NextPart_000_0314_01CB869C.8E33F120--