From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CB325BC29 for ; Sat, 6 Nov 2004 10:23:25 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iA69NPNT012780 for ; Sat, 6 Nov 2004 10:23:25 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA01472 for ; Sat, 6 Nov 2004 10:23:25 +0100 (MET) Received: from mwinf0607.wanadoo.fr (smtp6.wanadoo.fr [193.252.22.25]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iA69NOV9029468 for ; Sat, 6 Nov 2004 10:23:24 +0100 Received: from me-wanadoo.net (unknown [127.0.0.1]) by mwinf0607.wanadoo.fr (SMTP Server) with SMTP id 9AF401800111; Sat, 6 Nov 2004 10:23:24 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-33-179.w82-126.abo.wanadoo.fr [82.126.151.179]) by mwinf0607.wanadoo.fr (SMTP Server) with ESMTP id 660B51800115; Sat, 6 Nov 2004 10:23:24 +0100 (CET) Received: from luther by pegasos with local (Exim 4.34) id 1CQN4C-0002Ep-3C; Sat, 06 Nov 2004 10:41:04 +0100 Date: Sat, 6 Nov 2004 10:41:03 +0100 To: David McClain Cc: caml Subject: Re: [Caml-list] 64-bit OCaml? Message-ID: <20041106094103.GA8507@pegasos> References: <00dd01c4c3b5$70525f80$0401000a@dylan> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <00dd01c4c3b5$70525f80$0401000a@dylan> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at concorde with ID 418C980D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 418C980C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 sven:01 luther:01 sven:01 luther:01 wrote:01 rebuilding:01 ocaml:01 derivative:01 userland:01 userland:01 970:98 config:01 kernel:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Fri, Nov 05, 2004 at 09:02:11PM -0700, David McClain wrote: > Hi, > > I just obtained a new iMac G5 here. My cursory understanding is that this is > a 64 bit core processor. However, when I attempted to run config for > rebuilding the OCaml system, it reports a 32 bit system. What can or must I > do to coax OCaml to become a 64 bit system for this processor? This one i can reply, well, sort off. The G5, which is really the ppc970 cpu from ibm, is a derivative of the power3 and power4 ibm processors. As thus, it can run both 32bit and 64bit code. The you need to know what operating system you are running on it, but you probably run mac os x, but in the linux case, you can have both a 32bit kernel or a 64bit kernel. Of the linux distributions out there, not all support a 64bit kernel. on top of a 32bit kernel, you can run a 32bit userland only, while on a 64bit kernel, you can run a 32bit or a true 64bit userland. So, to take advantage of the 64bitness of the ppc970, you need a 64bit kernel, and either a pure 64bit userland, or a dual userland, that is one which is able to run both 32bit and 64bit code, but which is mostly 32bit usually. Now, and here i believe it applies also to the mac os x case, in all case that support 64bit userland, the actual programs, and among them ocaml, need to : 1) detect that they are on a 64bit capable system. 2) take advantage of the 64bitness of the system. In the ocaml case, 1) should be rather easy, an adaptation of the configure scripts probably only, as ocaml already supports 64bit. 2) is needs more work though, and i don't believe there is already ppc 64bit support. Friendly, Sven LUther