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.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2FAD0BBAF for ; Wed, 23 Jul 2008 13:48:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAPS2hkjAXQIn/2dsb2JhbACSDJlfhlc X-IronPort-AV: E=Sophos;i="4.31,238,1215381600"; d="scan'208";a="15385106" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jul 2008 13:48:16 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6NBmBFs025623 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Jul 2008 13:48:13 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An8AAIy3hkhIDtyafGdsb2JhbACSDEMBAQsDBAYHEQOYY4ZX X-IronPort-AV: E=Sophos;i="4.31,238,1215381600"; d="scan'208";a="27602984" Received: from fg-out-1718.google.com ([72.14.220.154]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Jul 2008 13:48:13 +0200 Received: by fg-out-1718.google.com with SMTP id e21so1364777fga.25 for ; Wed, 23 Jul 2008 04:48:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer:sender; bh=iJtMQWMmUIUM197nvfBZbd1xPlcSHJxYWpiVQrIknYc=; b=BKGuwj53Zigf473Xqf9j/5BuGRr2ZndD2sgx6SVybqQr2AW7RQsM/CNd2A1CbZ7S/J YnTfl7HLRIkPuY6sQEP0//hv8HVhlhDL/mONvx3SNzZYUmJdRMMuT/LUA2PIV5FYqspf 95TUiFVMZbCawzq7l5kYz8e+Tkbap3YYxeTvY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer:sender; b=pY021x2kwPC/8ec/6UQeRwmCSQo6oDHpdZGTIeKyrCt9hyTW0cUunkjuiYEvv1Kirg zx2Uh1EzoMvVx2ry5lE09NVwR3K+ko2UOjni1SJ8kiqSH+zNNDQU/A7MmNAONrO/eIfP 9Elna/iiaprcJM10DywJIZ1Hp3fNxg1vJxlFU= Received: by 10.102.253.6 with SMTP id a6mr4519600mui.92.1216813691195; Wed, 23 Jul 2008 04:48:11 -0700 (PDT) Received: from ?10.0.1.2? ( [85.1.111.33]) by mx.google.com with ESMTPS id j2sm52541346mue.8.2008.07.23.04.48.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 23 Jul 2008 04:48:10 -0700 (PDT) Message-Id: <896535EE-A2CF-4139-A9AE-BDFC3FED860F@erratique.ch> From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: Caml-list List In-Reply-To: <48870DD8.4050906@soton.ac.uk> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v926) Subject: Re: [Caml-list] Memory statistics tool Date: Wed, 23 Jul 2008 13:47:34 +0200 References: <48870DD8.4050906@soton.ac.uk> X-Mailer: Apple Mail (2.926) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= X-Miltered: at concorde with ID 48871A7B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 traversing:01 nodes:01 contrib:01 caml-list:01 caml:02 caml:02 hump:02 module:03 daniel:04 daniel:04 correctly:04 implement:06 ecrit:06 Le 23 juil. 08 =E0 12:54, Dr. Thomas Fischbacher a =E9crit : > 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 =20 it -- did a rough approximation by traversing the datastructure. A =20 generic implementation using only the Obj module and a lookup table to =20= track visited nodes would be nice but I forgot too much about all the =20= cases in the representation of caml values to implement it quickly and =20= correctly. Daniel [1] http://caml.inria.fr/cgi-bin/hump.fr.cgi?contrib=3D614=