Journal : Comment débugger l'allocation mémoire en Ocaml ?

Posté par iug () le 19 avril 2004
0
Bonjour,

Je suis comme toujours en train de m'occuper de mon mldonkey et de ses memory-leaks (même si c'est bien connu qu'avec un langage fonctionnel on n'a pas à se prendre la tête avec la gestion de la mémoire lol :).

Je voudrais savoir si certains connaitraient un programme directement prévu pour ocaml, ou des paramètres de compilation à passer, ou autres. Mon objectif seraient d'obtenir un état du tas à la fin de l'exécution pour comparer ce qu'il y a dans un tas de 20 Mo (normal) et dans un tas de 100 Mo (leaké). J'imagine qu'il sera alors aisé de voir quelle donnée n'est pas libérée. Je sais qu'on peut généré du C et ensuite utiliser les outils standards, mais j'ai un peu la flemme.

C'est pas la première fois que je cherche, mais les développeurs de ocaml ont l'air de penser qu'on peut pas avoir de memory leaks avec leur langage, ou alors ne veulent pas mettre sur la même page web des phrases disant qu'on n'a pas besoin de gérer sa mémoire et des softs pour détecter des memory-leaks :)

> Lire le journal (7 commentaires, moyenne: 1).  

Cette discussion est archivée, il n'est plus possible de laisser des commentaires.

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.

Re: Comment débugger l'allocation mémoire en Ocaml ?

Posté par HappyCrow () le 19/04/2004 à 11:32. (lien). Évalué à 0.

T''as des preuves de ce que tu avances,
comme quoi le GC de ocaml serait buggé?
J'ai de très fort doutes...

  • [^]Re: Comment débugger l'allocation mémoire en Ocaml ?

    Posté par Pascal Terjan (Jabber id, page perso, ) le 19/04/2004 à 11:48. (lien). Évalué à 1.

    Pas forcement, ca peut être mldonkey qui garde des réferences inutiles.. Il dit pas qu'il y a des memory leak dans ocaml mais dans un soft en ocaml et cherche comment les repérer.

    • [^]Re: Comment débugger l'allocation mémoire en Ocaml ?

      Posté par iug () le 19/04/2004 à 11:55. (lien). Évalué à 1.

      Excatement :)
      Je pense pas qu'il y ait des bugs dans ocaml, vu le niveau des développeurs...
      Par contre je peste (troll) un peu parce que j'ai pas réussi à trouver d'infos pour résoudre mon problème.

    • [^]Re: Comment débugger l'allocation mémoire en Ocaml ?

      Posté par _seb_ () le 19/04/2004 à 11:59. (lien). Évalué à 2.

      Tu connais probablement déjà le debug de OCaml
      http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/book-ora098.html(...)

      Si tu as des doutes sur le GC de OCaml
      http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/book-ora089.html(...)

      Dans la doc., il y a aussi une section intitulée "Suivi de l'évolution du tas"
      http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/book-ora091.html(...)
      (sous Galéon, cette page s'affiche très mal)

      • [^]Re: Comment débugger l'allocation mémoire en Ocaml ?

        Posté par iug () le 19/04/2004 à 12:04. (lien). Évalué à 1.

        Merci pour les infos.
        Je connais qu'un peu ocaml, et j'ai pas vraiement envie de me taper toutes les docs. J'ai déjà passé quelques heures sur le problème et je me disais bien que quelqu'un aurait la réponse qu'il me faut sur linuxfr.

        • [^]Re: Comment débugger l'allocation mémoire en Ocaml ?

          Posté par iug () le 19/04/2004 à 12:06. (lien). Évalué à 1.

          Ca a l'air d'être ce que je cherchais. Je me disais bien qu'il existait tout un tas d'analyseurs statiques ou à base de traces pour ce langages, vu que c'est un peu la spécialité de pas mal de développeurs de ocaml.

Re: Comment débugger l'allocation mémoire en Ocaml ?

Posté par iug () le 19/04/2004 à 12:16. (lien). Évalué à 1.

http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/book-ora099.html(...)

Revenir en haut de page