From: "Dorlet Emmanuel" <Emmanuel.Dorlet@cea.fr>
To: "Liste-Caml" <caml-list@inria.fr>
Subject: Memory usage
Date: Mon, 26 Jun 2000 15:28:59 +0200 [thread overview]
Message-ID: <NDBBIOBOKNJIIGDGBOPLIECNCEAA.Emmanuel.Dorlet@cea.fr> (raw)
Hello,
I am in charge of a very very simple test on the ability of Ocaml
garbage to free unused memory.
Obvioulsy, Ocaml does the work properly (but not in the case of the
global context, where every variable allocation is consider as a
living reference, even if that is not true).
But I can't see, from my (perhaps too fast) reading of the documentation,
how to compute a global memory usage and how I can monitor it.
Does any one has a good and simple suggestion?
__________________________________________________________
Emmanuel DORLET
Commissariat à l'Energie Atomique
Centre de Saclay - DRN-DMT/SYSCO/LGLS
Bâtiment 460 - Pièce 19 A
Téléphone : 01 69 08 91 17
Télécopie : 01 69 08 96 96
e-mail: Emmanuel.Dorlet@cea.fr
__________________________________________________________
next reply other threads:[~2000-06-27 17:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-06-26 13:28 Dorlet Emmanuel [this message]
2000-06-28 12:49 ` David Mentré
2008-07-11 19:49 memory usage Jean Krivine
2009-01-12 7:41 John Lepikhin
2009-01-12 8:39 ` [Caml-list] " Richard Jones
2009-01-12 9:14 ` John Lepikhin
2009-01-12 10:45 ` Sylvain Le Gall
2009-01-12 16:29 ` [Caml-list] " Florian Hars
2009-01-12 16:44 ` John Lepikhin
2009-01-12 17:55 ` Sylvain Le Gall
2009-01-12 18:01 ` [Caml-list] " John Lepikhin
2009-01-12 18:26 ` Sylvain Le Gall
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=NDBBIOBOKNJIIGDGBOPLIECNCEAA.Emmanuel.Dorlet@cea.fr \
--to=emmanuel.dorlet@cea.fr \
--cc=caml-list@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).