Discussion :

[Foogiz972]

Bonjour,

Je dois implanter un garbage collector en C++. J'ai pu lire de la documentation sur les différents algorithmes qui existent. Je pense me pencher sur la méthode de l'algorithme copiant.

Mon problème concerne la génération de l'arbre des objets. Je n'arrive pas à voir comment à partir d'un objet, ne connaissant pas sa structure, je peux savoir qu'il possède un pointeur sur un autre objet.

Auriez-vous une idée ?

Merci d'avance de bien vouloir me proposer votre avis et/ou vos idées sur la question.

[Médinoc]

Tu peux faire de toutes les références des classes (typiquement template) qui, lors de leur création, doivent "s'enregistrer" auprès du GC. Ensuite, pour détecter les cycles, tu peux rendre obligatoire le fait qu'elles enregistrent aussi l'objet qui les contient...

Sachant que dans un système comme Java, les objets ne peuvent être que sur le tas.

[JolyLoic]

Je n'ai pas bien compris : Tu dois faire un GC en C++, certes, mais il doit gérer des objets à toi dans un langage à toi, ou il doit gérer les objets C++ de ton application ?

Dans le second cas, tu n'as pas trop le choix... Soit tu t'inscrit dans une phase de compilation pour obtenir plus d'info sur la structure des objets, soit tu fait l'hypothèse que tout ce que contiennent tes objets sont potentiellement des pointeurs, et doit donc être protégé. C'est ce que fait le GC de Boehms je crois.

A noter que ça ne protège pas des petits malins qui manipulent les pointeurs étrangement (le coup du xor pour des listes doublement chaînées, par exemple).

[Mat.M]

Je n'ai pas bien compris : Tu dois faire un GC en C++, certes, mais il doit gérer des objets à toi dans un langage à toi, ou il doit gérer les objets C++ de ton application ?

non je crois qu'il veut faire un GC générique

[Foogiz972]

Merci beaucoup pour la rapidité de vos réponse.

Donc je précise ma problématique :

Je dois faire un GC générique. Pour ce faire, je crée un singleton GC qui va stocker tous les pointeurs qui seront instanciés au cours de l'exécution du programme. Par surcharge de l'opérateur new, je mets à jour mon GC, et ainsi je peux avoir accès à tous les objets qui auront été initialisés.

Selon les documents que j'ai pu lire, il aurait fallut que je sois capable de construire un arbre qui me permettra de savoir quels sont les objets qui sont atteignables. Après comparaison avec les pointeurs de mon GC, je serai capable alors de déterminer les objets qui sont à détruire.

Ensuite, pour détecter les cycles, tu peux rendre obligatoire le fait qu'elles enregistrent aussi l'objet qui les contient...

Cette idée me paraît être une solution à creuser mais si je pouvais éviter de contraindre l'utilisateur de mon GC, ça me plairait un peu plus.

[Médinoc]

Sinon, tu peux créer une "définition de classe" logicielle qui indique pour chaque classe d'objet, les offsets (pointeur vers membres) de ses champs contenant des pointeurs...
Ensuite, utiliser un peu de RTTI pour faire correspondre un pointeur d'objet à une "définition de classe". Ce qui sera encore plus facile si tous les objets du GC doivent hériter d'une classe commune...

[Mat.M]

euuh c'est très pointu ce que tu demandes là..
tu serais le concepteur du compilateur tu pourrais le faire mais un Garbage Collector générique cela me parait ardu sans pouvoir toucher au compilateur...
Pour la bonne et unique raison que le compilateur connait les types ,taille et adresse mémoire de chaque objet; en C++ c'est pas comme en Java les types doivent être connus à la compilation..

Mon problème concerne la génération de l'arbre des objets. Je n'arrive pas à voir comment à partir d'un objet, ne connaissant pas sa structure, je peux savoir qu'il possède un pointeur sur un autre objet.

Et moi non plus et je ne vois vraiment pas non plus...
si tu déclares int *p, le pointeur p est en fait une adresse mémoire sur 32 bits pour un compilateur 32 bits..
Donc comment sait-on que c'est un pointeur en runtime? Le compilateur le sait à la compilation...