From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id CD158BC69 for ; Thu, 31 May 2007 12:25:41 +0200 (CEST) Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.248]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4VAPewT009788 for ; Thu, 31 May 2007 12:25:41 +0200 Received: by an-out-0708.google.com with SMTP id b15so48717ana for ; Thu, 31 May 2007 03:25:40 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Ft8uKux5Ak1uoK7QFJDfQ31YHumVIWJdAHnTvEwnVSv6S0B6bRoL1ZIEKrDRHjh5Vpy7XQQVKEVGXmx++g72mI4i5KahcYgDsC9IigQzI/RklueG9HUXolt57Omqqo3Rxmm4dNJxjagwrWm1yGGu8/ABvUKLXPnyjl1UHHTShwQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=NqXQWVTIUajCfdhj4F89jImtNwYsXBbUUvGmv+xmk+VCUfIhvWwGWoiAINMcuwrScYQ4KhQsevrAn/ttd6YKWHDabyHrrAYzrsXc0o4KRL4NJLz4JIF6gBNL2eE6OH6ioDAHj4obolBMe24Dyt02F0uDD1fRD5WpbgVBnNkOU5Q= Received: by 10.100.211.11 with SMTP id j11mr237869ang.1180607140528; Thu, 31 May 2007 03:25:40 -0700 (PDT) Received: by 10.100.168.16 with HTTP; Thu, 31 May 2007 03:25:40 -0700 (PDT) Message-ID: <6f9f8f4a0705310325n2064c09cp5bd9fead5a046057@mail.gmail.com> Date: Thu, 31 May 2007 12:25:40 +0200 From: "Loup Vaillant" To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Comparison of OCaml and MLton for numerics In-Reply-To: <200705311008.16662.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <5195a210705302250u6a9e5adey4ed857480f9e5cd8@mail.gmail.com> <200705310717.01553.jon@ffconsultancy.com> <5195a210705310031n19f035e7sc5d96568e86496ae@mail.gmail.com> <200705311008.16662.jon@ffconsultancy.com> X-j-chkmail-Score: MSGID : 465EA2A5.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 465EA2A5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 arrays:01 bigarray:01 ffi:01 bigarrays:01 cheers:01 heap:01 caml-list:01 floats:02 floats:02 float:03 module:03 handles:03 overhead:04 2007/5/31, Jon Harrop : > > OCaml only handles 64-bit floats because there is no point in computing with > 32-bit floats any more. However, there is point in storing 32-bit floats as, > when you have a lot of them, your program uses half as much heap and is twice > as cache coherent. My ray tracer is an excellent example of a program that > can benefit from this. Talking about lots of float, I suppose you meant arrays. In that case, can't you use the bigarray module? Or does the overhead of the FFI cancel out the benefit of the improved cache coherency? (note: I know little about bigarrays, and nothing about your code) Cheers, Loup