From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 EAB13BC6C for ; Thu, 25 Oct 2007 00:09:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CANJfH0fAXQInh2dsb2JhbACBWo0BAgEICik X-IronPort-AV: E=Sophos;i="4.21,326,1188770400"; d="asc'?vcf'?scan'208";a="5068344" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Oct 2007 00:09:10 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9OM97Ev010743 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 25 Oct 2007 00:09:10 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFtfH0fUGyoeimdsb2JhbACBWo0BAgEIBAYREQc X-IronPort-AV: E=Sophos;i="4.21,326,1188770400"; d="asc'?vcf'?scan'208";a="18575829" Received: from smtp4-g19.free.fr ([212.27.42.30]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Oct 2007 00:09:06 +0200 Received: from smtp4-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp4-g19.free.fr (Postfix) with ESMTP id 431AD3EA0D1; Thu, 25 Oct 2007 00:09:06 +0200 (CEST) Received: from Tocksi.local (lns-bzn-28-82-250-165-186.adsl.proxad.net [82.250.165.186]) by smtp4-g19.free.fr (Postfix) with ESMTP id E83B43EA0C8; Thu, 25 Oct 2007 00:09:05 +0200 (CEST) Message-ID: <471FC25C.20308@univ-savoie.fr> Date: Thu, 25 Oct 2007 00:08:28 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.6 (Macintosh/20070728) MIME-Version: 1.0 To: Gordon Henriksen Cc: caml-list@inria.fr Subject: Re: [Caml-list] OCaml on ppc64 (Linux)? References: <20071023165211.GA8917@furbychan.cocan.org> <471F9006.8000905@inria.fr> <666572260710241229r3b9c63cdjf78fbd710d5664a1@mail.gmail.com> <15E07C83-B071-40B2-9748-764D1F51DB47@mac.com> In-Reply-To: <15E07C83-B071-40B2-9748-764D1F51DB47@mac.com> X-Enigmail-Version: 0.95.3 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigC66C1D10074081BC1F9F2578" X-Miltered: at concorde with ID 471FC284.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 ocaml:01 ocaml:01 powerpc:01 more-or-less:01 theorical:01 powerpc:01 model:01 iteration:01 beginner's:01 bug:01 X-Attachments: cset="utf-8" name="Christophe.Raffalli.vcf" name="Christophe.Raffalli.vcf" type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigC66C1D10074081BC1F9F2578 Content-Type: multipart/mixed; boundary="------------000702040805070800070908" This is a multi-part message in MIME format. --------------000702040805070800070908 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Gordon Henriksen a =E9crit : > On Oct 24, 2007, at 15:29, Adrien wrote: > >> 2007/10/24, Xavier Leroy > >: >> >>> Then someone told me that the Playstation 3 is a >>> PPC64/Linux platform... I'm still not quite sure whether having >>> OCaml on PPC64/Linux is worth the effort, even if we had the >>> corresponding hardware. >> >> PlayStation3's processor (the Cell) has some parenty with powerpc >> but it mostly has differences (cell is a ppc6). It has many cores and >> in fact a variable number of more-or-less specialized cores. It's a >> sort of revolution because its SMP capabilities are really different >> from thos of a Core2Duo or of an Athlon64X2. I think there is at >> least a theorical interest as it seems to perfectly fit simultaneous >> processing (but maybe not so close). > > The SPUs are quite unique, but the PPU (the likely target of an Ocaml > implementation) is a fairly ordinary PowerPC. not so fairly ordinary: It has an in-order execution model (so it is very simple to free enough room for the PPU), but it seems not to impact performance. And it has a single precision floating point unit which is ultra fast (15 times faster than the double precision unit of an intel chip). For some specific numerical code, report achieve around 6 times the speed of an intel chip by representing floats as a pair with a single precision and a double precision approximation (doing the first iteration using simple precision). ... Why did apple moved to intel ? So guess what you would get using the SPUs ... > > =97 Gordon > > -----------------------------------------------------------------------= - > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > =20 --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution=20 can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------000702040805070800070908 Content-Type: text/x-vcard; charset=utf-8; name="Christophe.Raffalli.vcf" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="Christophe.Raffalli.vcf" begin:vcard fn:Christophe Raffalli n:Raffalli;Christophe org:LAMA (UMR 5127) email;internet:christophe.raffalli@univ-savoie.fr title;quoted-printable:Ma=3DC3=3DAEtre de conf=3DC3=3DA9rences tel;work:+33 4 79 75 81 03 note:http://www.lama.univ-savoie.fr/~raffalli x-mozilla-html:TRUE version:2.1 end:vcard --------------000702040805070800070908-- --------------enigC66C1D10074081BC1F9F2578 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHH8Jfi9jr/RgYAS4RAkrrAKDIflDrZqmpkvFVTCPRVX7d+f2fiACeKODc 3ypC16eY8FXG8bYbM9G1i0s= =Su9u -----END PGP SIGNATURE----- --------------enigC66C1D10074081BC1F9F2578--