From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 53652BC48 for ; Thu, 31 Mar 2005 17:09:21 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2VF9KqI032588 for ; Thu, 31 Mar 2005 17:09:20 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA05074 for ; Thu, 31 Mar 2005 17:09:20 +0200 (MET DST) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2VF9J2G000937 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Thu, 31 Mar 2005 17:09:20 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1DH1FF-00048x-R3 for caml-list@inria.fr; Thu, 31 Mar 2005 17:06:05 +0200 Received: from 67.71.116.48 ([67.71.116.48]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 31 Mar 2005 17:06:05 +0200 Received: from monnier by 67.71.116.48 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 31 Mar 2005 17:06:05 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Subject: Re: 32- and 64-bit performance Date: Thu, 31 Mar 2005 10:05:55 -0500 Message-ID: <871x9vzwk7.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> References: <200503300340.15874.jon@ffconsultancy.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 67.71.116.48 User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) Cancel-Lock: sha1:kOoz1KU7rt5+VwBt2aMdLf+bjAw= Sender: news X-Miltered: at nez-perce with ID 424C12A0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 424C129F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; umontreal:01 timings:01 ocamlopt:01 ocaml:01 half-way:01 pointers:01 slower:01 debian:02 gnu:03 fix:04 installed:06 linux:06 memory:08 registers:08 bit:10 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=1.6 required=5.0 tests=RCVD_BY_IP,RCVD_NUMERIC_HELO autolearn=disabled version=3.0.2 X-Spam-Level: * > 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. Stefan