From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 8F35ABB86 for ; Tue, 18 Apr 2006 18:42:32 +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 k3IGgVDA006221 for ; Tue, 18 Apr 2006 18:42:32 +0200 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 SAA19542 for ; Tue, 18 Apr 2006 18:42:31 +0200 (MET DST) Received: from web36709.mail.mud.yahoo.com (web36709.mail.mud.yahoo.com [209.191.85.43]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id k3IGgU3Z006218 for ; Tue, 18 Apr 2006 18:42:30 +0200 Received: (qmail 62712 invoked by uid 60001); 18 Apr 2006 16:42:30 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=hGDROIjJne0S7PI9zhtg7J6/yHGHnaHnvAOJ36rfCxlAOJ7LzvieEPC6o0xVlnrDJtEIoTM3lyhtwzIC+KRe3PE11ImFkKMN1P3o4hRhyG5oZBlwImAlZIWZaC7mluQwsv3S3QxOnPJqCbgTmX3peEvESxekVZQzzeCmdt4FXcM= ; Message-ID: <20060418164230.62710.qmail@web36709.mail.mud.yahoo.com> Received: from [24.20.216.39] by web36709.mail.mud.yahoo.com via HTTP; Tue, 18 Apr 2006 09:42:30 PDT Date: Tue, 18 Apr 2006 09:42:30 -0700 (PDT) From: gang chen Subject: Re: [Caml-list] Re: Performance of threaded interpreter on hyper-threaded CPU To: Xavier Leroy Cc: caml-list@inria.fr In-Reply-To: <44451158.8020004@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 444516F7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 444516F6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gangchen:01 ocaml:01 compiler:01 gcc:01 gcc:01 ocaml:01 bytecode:01 compiler:01 model:01 intel's:01 beginner's:01 beginners:01 bug:01 wrote:01 caml-list:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=FORGED_YAHOO_RCVD autolearn=disabled version=3.0.3 Does ocaml have benchmark programs for use by C compiler writers and architecture developers as performance measurement ? Gang Chen --- Xavier Leroy wrote: > The performance variations between the gcc versions > confirm my > impression that gcc is getting "too clever for its > own good" -- > carefully hand-optimized code like the OCaml > bytecode interpreter > is best served by a compiler that compiles code > nearly as written. > (Think gcc 2.95.) > > The P4 microarchitecture is known for its weird > performance model: > some code runs very fast, some similar code very > slow. > In my experience, AMD processors as well as the > Pentium-M are > much more consistent performance-wise. > > If you really want to understand what's going on, > you need a good > performance analysis tool. Timing runs will tell > you nothing. > Intel's VTUNE is king of the hill here, but the > Windows version is > costly and I could never install the free Linux > version. > > - Xavier Leroy > > _______________________________________________ > 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 >