From: "Dr. Thomas Fischbacher" <t.fischbacher@soton.ac.uk>
To: dmitry grebeniuk <gds-mlsts@moldavcable.com>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Memory statistics tool
Date: Wed, 23 Jul 2008 14:09:02 +0100 [thread overview]
Message-ID: <48872D6E.20209@soton.ac.uk> (raw)
In-Reply-To: <1497034692.20080723154431@moldavcable.com>
dmitry grebeniuk wrote:
> DTF> memory_footprint: 'a -> int64 (or maybe float),
>
> objsize, now hosted on OCaml forge:
> http://forge.ocamlcore.org/projects/objsize/
Many thanks! I just had a glance at it, but it seems to be just how one
would have to approach such a problem. (The issue with hash-based
approaches to find previously visited substructures is that during
traversal, a GC may occur. Now I just assume that this may involve
relocation and heap compaction in OCaml. The problem then is that
OCaml does not properly support what would be known as eq hash tables
in Lisp.)
--
best regards,
Thomas Fischbacher
t.fischbacher@soton.ac.uk
next prev parent reply other threads:[~2008-07-23 13:09 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-23 10:54 Dr. Thomas Fischbacher
2008-07-23 11:47 ` [Caml-list] " Daniel Bünzli
2008-07-23 12:40 ` Jan Kybic
2008-07-23 12:44 ` dmitry grebeniuk
2008-07-23 13:09 ` Dr. Thomas Fischbacher [this message]
2008-07-23 13:16 ` Alain Frisch
2008-07-24 12:48 ` Dr. Thomas Fischbacher
2008-07-24 15:14 ` Alain Frisch
2008-07-24 15:44 ` Dr. Thomas Fischbacher
2008-07-24 16:12 ` Alain Frisch
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=48872D6E.20209@soton.ac.uk \
--to=t.fischbacher@soton.ac.uk \
--cc=caml-list@inria.fr \
--cc=gds-mlsts@moldavcable.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox