From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <will@exomi.com>
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 58C07BC88
	for <caml-list@yquem.inria.fr>; Thu, 10 Feb 2005 16:32:47 +0100 (CET)
Received: from will.iki.fi (will.iki.fi [217.169.64.20])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1AFWkEX012034
	for <caml-list@yquem.inria.fr>; Thu, 10 Feb 2005 16:32:47 +0100
Received: from ZMXLVII.dsl.saunalahti.fi (ZMXLVII.dsl.saunalahti.fi [85.76.70.148])
	by will.iki.fi (Postfix) with ESMTP id 1FB171A;
	Thu, 10 Feb 2005 17:32:44 +0200 (EET)
Subject: Re: [Caml-list] Memory allocation nano-benchmark.
From: Ville-Pertti Keinonen <will@exomi.com>
To: Jon Harrop <jon@jdh30.plus.com>
Cc: caml-list@yquem.inria.fr
In-Reply-To: <200502101456.13367.jon@jdh30.plus.com>
References: <420B7A7E.90504@or.uni-bonn.de>
	 <200502101456.13367.jon@jdh30.plus.com>
Content-Type: text/plain
Date: Thu, 10 Feb 2005 17:32:37 +0200
Message-Id: <1108049557.652.4.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.0.3 FreeBSD GNOME Team Port 
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 420B7E9E.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 wrote:01 run-time:01 polymorphism:01 polymorphism:01 inlining:01 compilation:01 model:01 ...:98 preprocessor:01 closure:02 thu:05 quite:06 memory:08 source:11 
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 Thu, 2005-02-10 at 14:56 +0000, Jon Harrop wrote:

> 1. Run-time polymorphism in Array.init.
 ...
> I believe the former could be fixed by running source through a whole-program 
> preprocessor to remove all polymorphism.

It's not just the polymorphism, but also the creation of the closure.
Better inlining could address these, without changing the compilation
model quite that much.