Browse thread
Memory statistics tool
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2008-07-23 (12:41) |
From: | Jan Kybic <kybic@f...> |
Subject: | Re: [Caml-list] Memory statistics tool |
>> 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 <kybic@fel.cvut.cz> tel. +420 2 2435 5721 http://cmp.felk.cvut.cz/~kybic ICQ 200569450