From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 3A9F3BC48 for ; Thu, 31 Mar 2005 20:39:38 +0200 (CEST) Received: from ptb-relay01.plus.net (ptb-relay01.plus.net [212.159.14.212]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2VIdbcw026006 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 31 Mar 2005 20:39:38 +0200 Received: from [80.229.56.224] (helo=chetara) by ptb-relay01.plus.net with esmtp (Exim) id 1DH4Zt-0002js-G2 for caml-list@yquem.inria.fr; Thu, 31 Mar 2005 18:39:37 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: 32- and 64-bit performance Date: Thu, 31 Mar 2005 19:40:18 +0100 User-Agent: KMail/1.7.1 References: <200503300340.15874.jon@ffconsultancy.com> <871x9vzwk7.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> In-Reply-To: <871x9vzwk7.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200503311940.18701.jon@ffconsultancy.com> X-Miltered: at concorde with ID 424C43E9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 timings:01 ocamlopt:01 ocaml:01 half-way:01 pointers:01 arrays:01 ocaml:01 frog:98 wrote:01 slower:01 caml:02 debian:02 objective:02 gnu:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Thursday 31 March 2005 16:05, Stefan Monnier wrote: > > I just bought a new Athlon 64 laptop and installed 32- and 64-bit Debian. > > Here are some timings, showing the performance change when moving from > > 32- to 64-bit using ocamlopt (3.08.2) and g++ (3.4.4): > > Is there a GNU/Linux (and OCaml) mode supporting the half-way case where > you use the new amd64 registers but still stay with 32bit pointers? > That should fix the one case where the amd64 mode is slower because of the > extra memory use. I do not believe there is such a mode, no. I'm not entirely sure how this could work but I'm quite happy to take a performance hit in a few programs. Particularly because arrays are so much more useful now. :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. Objective CAML for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists