From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA24705; Wed, 4 Aug 2004 07:29:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA24285 for ; Wed, 4 Aug 2004 07:29:00 +0200 (MET DST) From: effbiae@ivorykite.com Received: from ensim.smartydns22.com (ev1s-67-15-74-65.ev1servers.net [67.15.74.65] (may be forged)) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i745SwmL024677 for ; Wed, 4 Aug 2004 07:28:58 +0200 Received: from www.ivorykite.com (localhost.localdomain [127.0.0.1]) by ensim.smartydns22.com (8.12.10/8.12.10) with SMTP id i745OSSY006347; Wed, 4 Aug 2004 15:24:28 +1000 Received: from 60.246.254.84 (SquirrelMail authenticated user effbiae@ivorykite.com) by www.ivorykite.com with HTTP; Wed, 4 Aug 2004 15:24:28 +1000 (EST) Message-ID: <36292.60.246.254.84.1091597068.squirrel@www.ivorykite.com> In-Reply-To: References: <36002.60.246.254.84.1091587147.squirrel@www.ivorykite.com> Date: Wed, 4 Aug 2004 15:24:28 +1000 (EST) Subject: Re: [Caml-list] c is 4 times faster than ocaml? To: "John Prevost" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.2 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Priority: 3 Importance: Normal X-Miltered: at nez-perce with ID 4110741A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 -unsafe:01 movl:01 'special':99 model:01 compiler:01 bigarray:01 bigarray:01 ocaml:01 ocaml:01 caml:01 int:01 int:01 checking:01 benchmark:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk oooh - a gmail account :) > this artificial (and incredibly hard to read) benchmark program was the C hard to read or the O'Caml? Any style tips for my caml? > First, even with -unsafe, bounds checking is performed on BigArray > types. if i write a c extension that mmaps and msyncs then will the vector element assignment become a call rather than a movb (or movl)? that is, is Bigarray a 'special' c extension that ocaml knows how to optimize and access just like C or is it a c extension that i can model my C extension code on? > If you were working on integers instead, I think it might be less > painful. Especially if you could use int32s held in registers > to index into things. can i specify that an int32 is held in a register or does the compiler do this? ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners