From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Xavier.Leroy@inria.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 1C913BC69
	for <caml-list@yquem.inria.fr>; Fri,  7 Dec 2007 09:52:57 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAFSYWEfAXQInh2dsb2JhbACPVwIBCAop
X-IronPort-AV: E=Sophos;i="4.23,265,1194217200"; 
   d="scan'208";a="5371096"
Received: from concorde.inria.fr ([192.93.2.39])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Dec 2007 09:52:56 +0100
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB78qsR8022971
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK)
	for <caml-list@inria.fr>; Fri, 7 Dec 2007 09:52:56 +0100
X-IronPort-AV: E=Sophos;i="4.23,265,1194217200"; 
   d="scan'208";a="5371094"
Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95])
  by mail1-relais-roc.national.inria.fr with ESMTP; 07 Dec 2007 09:52:56 +0100
Message-ID: <475909E8.7010301@inria.fr>
Date: Fri, 07 Dec 2007 09:52:56 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Thunderbird 1.5.0.7 (X11/20060915)
MIME-Version: 1.0
To: Thomas Fischbacher <tf@functionality.de>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Questions on replacing finalizers and memory footprints
References: <4757D904.2090502@functionality.de>
In-Reply-To: <4757D904.2090502@functionality.de>
X-Enigmail-Version: 0.94.0.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Miltered: at concorde with ID 475909E6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; finalizers:01 footprints:01 arrays:01 runtime:01 lri:01 filliatr:01 caml-list:01 tuples:01 bytes:03 library:03 size:95 perhaps:05 implement:06 xavier:06 xavier:06 

> Also, is there a simple way to implement a function (perhaps using
> Obj.magic) which will walk a (possibly circular) network of tuples,
> arrays, variadic entities and lists, and return the total number of
> bytes used up by that structure? I see that this should be possible
> in principle with the present implementation of the runtime if one
> could get some basic information about the internal type of an
> array.

Jean-Christophe Filliātre's "size" library does exactly this:

       http://www.lri.fr/~filliatr/software.en.html

- Xavier Leroy