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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id EE97CBCBF for ; Thu, 18 Nov 2010 14:07:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At0CAKIB5EzRVaC0k2dsb2JhbACBfZIkhigBhzZLCBYBAgkJCgkRAx+laYlighiFHi6IWQEBAwWFRgSKWIV7 X-IronPort-AV: E=Sophos;i="4.59,213,1288566000"; d="scan'208";a="66836350" Received: from mail-gy0-f180.google.com ([209.85.160.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Nov 2010 01:28:21 +0100 Received: by gyg8 with SMTP id 8so1574040gyg.39 for ; Wed, 17 Nov 2010 16:28:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=9/tXJnAjZ+FXI9ZG7SBOxiKTUst6bTt3MvFrbIgLGYI=; b=QJfixouJwaxKvJ8b5xFzW4aMYiu0JAqd4ggTMk1Wc3JfKEaMfCGfuHGbnlhjfcJ7s+ sP9qO4N89OwHpv7y4h8sf/chsqMpJ13Yip2VMxlvUqB8S6sWUGs5CAI+c2x+uaSshPTG h1cjWNl1Rk3ZASQJWY+7wCRTCEHsSh17WphdM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=qHraYQhJ3DfFT20GHw3YMAmgdBYY7YkHFJcsqEiHwnW+JQsbhQAEs0JG9IfnckinHT oDgbtmiwa+FMlFOZiybzibDSTxFN5cu8ie3GaXheAFjCHnepkVpAQKbB0fHin/ZS4VOu PcEZP3pZO873hIi8gH7w97DiAGllZuJtgfz+o= MIME-Version: 1.0 Received: by 10.90.2.18 with SMTP id 18mr12391901agb.86.1290040099019; Wed, 17 Nov 2010 16:28:19 -0800 (PST) Received: by 10.91.154.3 with HTTP; Wed, 17 Nov 2010 16:28:18 -0800 (PST) In-Reply-To: <031301cb869c$8e33f120$aa9bd360$@com> 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> <031301cb869c$8e33f120$aa9bd360$@com> Date: Thu, 18 Nov 2010 02:28:18 +0200 Message-ID: Subject: Re: [Caml-list] SMP multithreading From: Eray Ozkural To: Jon Harrop Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016363102e9d91b17049548ddcb X-Spam: no; 0.00; eray:01 ozkural:01 cheers:01 eray:01 ozkural:01 0200,:01 doable:01 ocaml:01 compiler:01 pointer:01 compiler:01 gcc:01 ocaml:01 bilkent:01 bilkent:01 --0016363102e9d91b17049548ddcb Content-Type: text/plain; charset=ISO-8859-1 Yes, actually. :P On Wed, Nov 17, 2010 at 11:15 PM, Jon Harrop < jonathandeanharrop@googlemail.com> wrote: > 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 > -- 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 --0016363102e9d91b17049548ddcb Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes, actually. :P

On Wed, Nov 17, 2010 at= 11:15 PM, Jon Harrop <jonathandeanharrop@googlemail.com> wrot= e:

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

=A0

Cheers,

Jon.

=A0

From: Eray Ozkural [mailto:examachine@gmail.com]
Sent: 17 November 2010 13:41
To: Eray Ozkural; Jon Harrop;= caml-list@yq= uem.inria.fr


Subject: Re: [Caml-list] SMP m= ultithreading

=A0

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 g= ood 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 s= ophisticated compilers than gcc:
http://www.research.ibm.com/vliw/comp= iler.html=A0

So, uh, there are compilers that turn loops into threads, and also para= llelize independent blocks.... Both coarse-grain and fine-grain paralleliza= tion 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 defini= tely, I believe, it is in principle possible to start from the sequential b= inary and emit parallel code!

Best,



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




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