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 (11:48) |
From: | Daniel_Bünzli <daniel.buenzli@e...> |
Subject: | Re: [Caml-list] Memory statistics tool |
Le 23 juil. 08 ŕ 12:54, Dr. Thomas Fischbacher a écrit : > 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 generic implementation using only the Obj module and a lookup table to track visited nodes would be nice but I forgot too much about all the cases in the representation of caml values to implement it quickly and correctly. Daniel [1] http://caml.inria.fr/cgi-bin/hump.fr.cgi?contrib=614