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 OAA24508; Tue, 27 Aug 2002 14:35:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA24500 for ; Tue, 27 Aug 2002 14:35:30 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7RCZUf02760 for ; Tue, 27 Aug 2002 14:35:30 +0200 (MET DST) Received: from ibm3.cicrp.jussieu.fr (ibm3.cicrp.jussieu.fr [134.157.15.3]) by shiva.jussieu.fr (8.12.5/jtpda-5.4) with ESMTP id g7RCZTjR045008 ; Tue, 27 Aug 2002 14:35:29 +0200 (CEST) Received: from ibm1.cicrp.jussieu.fr (ibm1.cicrp.jussieu.fr [134.157.15.1]) by ibm3.cicrp.jussieu.fr (8.8.8/jtpda/mob-V8) with ESMTP id OAA27822 ; Tue, 27 Aug 2002 14:33:49 +0200 Received: from localhost (fernande@localhost) by ibm1.cicrp.jussieu.fr (8.8.8/jtpda/mob-v8) with SMTP id OAA108482 ; Tue, 27 Aug 2002 14:31:59 +0200 Date: Tue, 27 Aug 2002 14:31:59 +0200 (DST) From: Diego Olivier Fernandez Pons To: =?iso-8859-15?q?Micha=EBl_Gr=FCnewald?= cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: module Size In-Reply-To: <87n0revsqm.fsf@ketanu.dyndns.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Bonjour, > Le module `Gc' permet tout ce que tu veux Je vais essayer de m'exprimer un peu plus clairement d=E9sormais. L'unit=E9 du d=E9bogueur est "l'=E9v=E8nement int=E9ressant" L'unit=E9 du profileur est en gros la fonction L'unit=E9 du module size est la valeur L'unit=E9 du gc est le programme Pour d=E9boguer, profiler et conna=EEtre la taille de mes donn=E9es il me suffit d'=E9crire quelques lignes, compiler et lancer 'test example' dans un cas, 'size_b example' dans l'autre.=20 Certes le module Gc contient de nombreuses fonctions utiles, mais il faut ins=E8rer partout des affichages de statistiques, des alarmes, garder en m=E9moire les valeurs retourn=E9es, calculer les diff=E9rences n=E9cessaires, changer la verbosit=E9 du gc, etc. Et bien s=FBr, tout recommencer d=E8s que l'on change de programme. Autrement dit, pr=E9tendre que le module Gc fait tout ce que je veux revient =E0 pr=E9tendre que printf et time sont tout ce qu'il faut pour d=E9boguer et profiler ses programmes. Je corrige donc votre proposition : "le module Gc permet tout ce qu'il te faut pour =E9crire l'outil que tu veux" Et encore... J'=E9cris deux fonctions impl=E9mentant deux algorithmes diff=E9rents pour un m=EAme travail. Je veux conna=EEtre la taille relative des deux fonctions. En quoi m'est utile le module Gc ? Bref, il faudrait encore mettre les mains dans Obj, am=E9liorer le module Size pour qu'il g=E8re les fonctions r=E9cursives, mutuellement r=E9cursives, une fonction qui en appelle une seconde qui peut s'appeler elle m=EAme, etc. En int=E9grant tout cela on obtient ce que j'appelle "un outil pour contr=F4ler l'occupation m=E9moire de son programme"=20 Diego Olivier ------------------- 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