From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA24443; Fri, 23 Aug 2002 22:06:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA23852 for caml-list@pauillac.inria.fr; Fri, 23 Aug 2002 22:06:15 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA28787 for ; Fri, 23 Aug 2002 11:16:11 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7N9GAD09287 for ; Fri, 23 Aug 2002 11:16:11 +0200 (MET DST) Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 17iAWq-0001f5-00 for ; Fri, 23 Aug 2002 11:14:52 +0200 To: caml-list@inria.fr X-Injected-Via-Gmane: http://gmane.org/ Received: from news by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 17iAWp-0001en-00 for ; Fri, 23 Aug 2002 11:14:51 +0200 Path: not-for-mail From: "=?iso-8859-15?q?Micha=EBl_Gr=FCnewald?=" Newsgroups: gmane.comp.lang.caml.inria Subject: [Caml-list] Re: module Size Date: 23 Aug 2002 11:17:53 +0200 Organization: (none) Message-ID: <87n0revsqm.fsf@ketanu.dyndns.org> References: <15709.813.376886.525540@pc803.lri.fr> NNTP-Posting-Host: amontpellier-203-1-4-76.abo.wanadoo.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: main.gmane.org 1030094091 6366 80.14.105.76 (23 Aug 2002 09:14:51 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 23 Aug 2002 09:14:51 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Diego Olivier Fernandez Pons writes: > Bonjour, > > J'étais en train d'essayer de comparer deux implémentations des arbres > bicolores, basées sur les types suivants [...] > Serait-il possible d'avoir un utilitaire pour surveiller la > consommation mémoire de nos programmes, Le module `Gc' permet tout ce que tu veux > c'est à dire : > - taille des données (fonctions, foncteurs, modules, ...) > - volume de miettes créé Gc.print_stat stdout (cf. la description du type `Gc.stat' dans le fichier décriavant l'interface du module `Gc' pour une description précise du sens des valeurs retournées). > - travail du ramasse-miettes (voir quand il se met en marche, combien > de mémoire il libère ...) Voir le types `Gc.control' et les fonctions `Gc.get' et `Gc.set' qui te permettront de forcer l'attribut `verbose' à la valeur ad"quate (itou). -- Michaël Grünewald - RSA PGP Key ID: 0x20D90C12 ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners