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=0.3 required=5.0 tests=AWL,UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C3B40BBAF for ; Wed, 23 Jul 2008 14:41:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEALzDhkjAXQIm/2dsb2JhbACTSp53 X-IronPort-AV: E=Sophos;i="4.31,238,1215381600"; d="scan'208";a="15386802" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jul 2008 14:41:03 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6NCetxL013464 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Jul 2008 14:41:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQCALzDhkiTIFAHiGdsb2JhbACSTgEBAQ8gSp53 X-IronPort-AV: E=Sophos;i="4.31,238,1215381600"; d="scan'208";a="15418405" Received: from relay.felk.cvut.cz ([147.32.80.7]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Jul 2008 14:41:02 +0200 X-FELK-MailScanner-Watermark: 1217421650.06395@I+staw8zVlUk0RNTwdYDkg Received: from k333.felk.cvut.cz (k333.felk.cvut.cz [147.32.87.5]) by relay.felk.cvut.cz (8.14.2/8.14.2) with ESMTP id m6NCelc0033561 for ; Wed, 23 Jul 2008 14:40:47 +0200 (CEST) (envelope-from kybic@fel.cvut.cz) Received: from K333/SpoolDir by k333.felk.cvut.cz (Mercury 1.48); 23 Jul 08 14:40:47 +0100 Received: from SpoolDir by K333 (Mercury 1.48); 23 Jul 08 14:40:41 +0100 Received: from localhost (147.32.84.19) by k333.felk.cvut.cz (Mercury 1.48) with ESMTP; 23 Jul 08 14:40:37 +0100 To: Caml-list List Subject: Re: [Caml-list] Memory statistics tool Reply-To: Jan Kybic From: Jan Kybic In-Reply-To: <896535EE-A2CF-4139-A9AE-BDFC3FED860F@erratique.ch> (Daniel =?iso-8859-1?Q?B=FCnzli's?= message of "Wed, 23 Jul 2008 13:47:34 +0200") References: <48870DD8.4050906@soton.ac.uk> <896535EE-A2CF-4139-A9AE-BDFC3FED860F@erratique.ch> Date: Wed, 23 Jul 2008 14:40:37 +0200 Message-ID: <87fxq022pm.fsf@fel.cvut.cz> User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0 (relay.felk.cvut.cz [147.32.80.7]); Wed, 23 Jul 2008 14:40:47 +0200 (CEST) X-FELK-MailScanner-Information: X-MailScanner-ID: m6NCelc0033561 X-FELK-MailScanner: Found to be clean X-FELK-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-2.599, required 5, autolearn=not spam, BAYES_00 -2.60) X-FELK-MailScanner-From: kybic@fel.cvut.cz X-FELK-MailScanner-To: caml-list@inria.fr X-Miltered: at discorde with ID 488726D7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; traversing:01 filliatre:01 lri:01 filliatr:01 ocaml:01 caml-list:01 size:95 fel:07 fel:07 rough:08 memory:09 built:12 but:14 such:14 something:14 >> Is there already something like that? Has anyone already built such >> a tool? > > Also had this wish the other day, I found objsize [1] but didn't use > it -- did a rough approximation by traversing the datastructure. A I have been using Size by Jean-Christophe Filliatre. It worked fine for me. http://www.lri.fr/~filliatr/ftp/ocaml/ds/ Jan -- ------------------------------------------------------------------------- Jan Kybic tel. +420 2 2435 5721 http://cmp.felk.cvut.cz/~kybic ICQ 200569450