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.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 5C301BC69 for ; Sun, 2 Dec 2007 17:22:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALRqUkfYi+yeh2dsb2JhbACPSAEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.23,240,1194217200"; d="scan'208";a="5163234" Received: from kuber.nabble.com ([216.139.236.158]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Dec 2007 17:22:54 +0100 Received: from isper.nabble.com ([192.168.236.156]) by kuber.nabble.com with esmtp (Exim 4.63) (envelope-from ) id 1IyraK-0002S2-AN for caml-list@yquem.inria.fr; Sun, 02 Dec 2007 08:22:24 -0800 Message-ID: <14116972.post@talk.nabble.com> Date: Sun, 2 Dec 2007 08:22:24 -0800 (PST) From: Mike Hogan To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCalm on Sony PS3 (was Re: More registers in modern day CPUs) In-Reply-To: <47528593.9060106@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Nabble-From: MikeHogan62@gmail.com References: <875c7e070709060755r1d0d099ds30a25ea78d0fd85a@mail.gmail.com> <46E01A27.1070207@janestcapital.com> <509223F0BF55E74FA1247D17207E7A0C01D75893@orsmsx419.amr.corp.intel.com> <87r6lb90tw.fsf@linux-france.org> <46E046DF.5010103@univ-savoie.fr> <46E04B85.1020004@naughtydog.com> <13858952.post@talk.nabble.com> <47528593.9060106@inria.fr> X-Spam: no; 0.00; ocaml:01 native-code:01 compiler:01 powerpc:01 compilation:01 distro:01 two-level:01 more-or-less:01 sony:98 wrote:01 wrote:01 compiles:01 caml-list:01 caml:02 caml:02 Xavier Leroy wrote: > > I confirm that OCaml compiles correctly on the PS/3 with YDL. The > native-code compiler works fine (in 32-bit mode) provided it's > configured with -host powerpc-unknown-linux. (Autodetection reports > powerpc64-unknown-linux, even though the default compilation mode on > this distro is 32-bit; I'll hack the configure script to work around > this issue.) > Nice -- I'll try the "host powerpc-unknown-linux" option. Xavier Leroy wrote: > > A more general but extremely difficult approach is two-level > programming, where the Caml program, running on the PPC core, > generates programs in a simple data-parallel language which is then > compiled on the fly to SPU code. > This is exactly what I would like to do. There is a Python Extension for the PS3 SPU's called "CorePy" that can be used to more-or-less directly generate assembly instructions for the PPC, its associated AltiVec and the SPUs. In essence, CorePy makes a class for each particular processor on your system and this class has processor-specific instructions as methods. The extensions take care of the details for loading the code, binding between the Python interpreter and the assembler that was generated on the fly etc. Xavier Leroy wrote: > > Such an approach could also target > graphics coprocessors (the "GPGPU" approach). But I have no idea what > such an intermediate language would look like. > This would actually push the system's abilities up by an order of magnitude in some cases, but unfortunately the "Other OS" hypervisor on the PS3 bars access to the GPU. It's a shame, since the PS3 GPU is supposed to be one of NVIDIA's hottest chips. -- View this message in context: http://www.nabble.com/More-registers-in-modern-day-CPUs-tf4389938.html#a14116972 Sent from the Caml Discuss2 mailing list archive at Nabble.com.