Discussion :

[barthelv]

Mon idée est la suivante.

Lorsque l'on utilise les fonctions malloc ou calloc, on réserve une zone mémoire. Puis plus tard, on peut la libérer en utilisant la fonction free.

Existe-t'il une fonction qui puisse nous dire si oui on non le free a été fait. Je m'explique: celle ci prendrait un pointeur en argument et nous dirait si celui ci pointe vers une zone que l'on a préalablement réservée, ou si elle pointe vers une zone non réservée?

[Nasky]

Je ne connais pas de fonction qui le fasse.
Free() ne renvoyant rien, tu peux tester la valeur de ton pointeur mais je crois que meme après un free(), le ptr ne vaut pas NULL.
genre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
free(ptr) ;
if(!ptr)
puts("ok");
else puts("rate") ;

Nas'

[leneuf22]

D'ou l'intêret de se faire une macro :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

#define free(ptr) free(ptr),ptr=NULL

[Yabo]

Euh il va y avoir une erreur de lecture si tu fais un if sur un pointeur pas alloué non ?

[leneuf22]

Euh il va y avoir une erreur de lecture si tu fais un if sur un pointeur pas alloué non ?

Non, pas forcément, il faut donc prendre ses précautons avant de faire des bêtises

[barthelv]

D'ou l'intêret de se faire une macro :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

#define free(ptr) free(ptr),ptr=NULL

Effectivement ta macro est interressante, je pense que cela va me servir etant donné que je ne me sers en fait pas de free mais d'une fonction propriétaire.

Mais bon ce n'est pas si simple que cela. J'ai vraiment besoin d'une fonction qui me dise si la zone sur laquelle on pointe est désallouée ou non. Si cela n'existe pas, c'est un peu domage...

[barthelv]

Je ne connais pas de fonction qui le fasse.
Free() ne renvoyant rien, tu peux tester la valeur de ton pointeur mais je crois que meme après un free(), le ptr ne vaut pas NULL.

Nas'

Non justement malheureusement il ne vaut pas nul

[Elji]

Non ca n'existe pas. La valeur du pointeur est égale à une adresse, point.

Le meilleur moyen comme dit plus haut est de tester s'il est null et de le remettre à null à chaque désallocation. C'est ce qu'il y a de plus propre.

[D[r]eadLock]

Tu peux regarder le source de memwatch (ou autre malloc debugger), il [memwatch] se souvient de tous les allocs/free effectues ! C'est des redefinitions (macros) des fonctions alloc/malloc/free/...

Dans les traces de memwatch, il te dit si tu fais 2 fois un free je crois, mais il faut compiler tous les sources avec #include "memwatch.h", ce qui n'est a priori (d'apres tes posts pas gagne). Tu peux donc essayer une technique similaire:
- tu redefinis les appels vers les fonctions prop. avec des maj de structures internes (tableau de pointeurs indiquant, par exemple, alloues, la taille, la date...)
- apres, si c'est juste pour du debug tu fait des traces, sinon, tu fais des fonctions pour acceder a cette structure.

[barthelv]

eadLock]Tu peux regarder le source de memwatch (ou autre malloc debugger), il [memwatch] se souvient de tous les allocs/free effectues ! C'est des redefinitions (macros) des fonctions alloc/malloc/free/...

Si j'ai bien compris, cela permet de savoir au fur et à mesure du debug si on gère correctement la mémoire. Mais est-ce que il est possible grâce à cette librairie d'atteindre des fonctions pour faire un truc du type:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
si(la zone mémoire sur laquelle p pointe est une zone allouée)
{
  la désallouer
}
sinon
{
  ne rien faire
}

: : :

Car c'est ce que je cherche à faire.

[Anomaly]

Je saisis pas bien l'intérêt de faire ce genre de condition, mais si tu veux réellement faire ça je ne vois pas d'autre solution que de réécrire malloc et free ; ces fonctions, en plus d'allouer de la mémoire (resp. la libérer), ajouteront dans une liste à toi le pointeur vers la zone mémoire et sa taille (resp. retirera cette référence). Ainsi, tu sauras exactement quelle mémoire sera allouée en parcourant ta liste à condition de bien n'utiliser pour tes allocations que tes deux fonctions personnelles.

[barthelv]

Je saisis pas bien l'intérêt de faire ce genre de condition, mais si tu veux réellement faire ça je ne vois pas d'autre solution que de réécrire malloc et free ; ces fonctions, en plus d'allouer de la mémoire (resp. la libérer), ajouteront dans une liste à toi le pointeur vers la zone mémoire et sa taille (resp. retirera cette référence). Ainsi, tu sauras exactement quelle mémoire sera allouée en parcourant ta liste à condition de bien n'utiliser pour tes allocations que tes deux fonctions personnelles.

Ben justement j'utilise actuellement mes propres fonctions malloc et free, donc de ce côté là pas de problème. J'avais bien pensé à stocker ce genre d'infos, mais bon cela me paraissait fastidieux et c'est pour cela que je cherchais une fonction m'offrant ce type de fonctionnalité.

Bon ben tant pis, je vais donc faire cela.

Merci à tous pour votre coup de main.