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.

[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...

[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...

[Foogiz972]

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...

Si j'ai bien compris tu me proposes une solution qui me permettrait de connaitre tous les membres des classes d'objet, et avec le RTTI, je pourrais savoir s'il s'agit d'un pointeur ou pas et ainsi voir les dépendence entre mes objets ?

Dans ce cas pourrais-tu me donner des pistes sur la façon de procéder. Je ne vois pas ce que tu appelles "définition de classe".

[Médinoc]

Je parle de construire en mémoire un truc qui dit "Telle classe GC contient une référence GC à tel offset".

[Foogiz972]

Je suis vraiment désolé mais je n'arrive pas à comprendre ce que tu veux me dire.

En fait, je n'aurai dans le programme qui va utiliser mon garbage collector qu'un seul et unique objet GC qui va organiser tous les pointeurs du programme.

Ceci dit, je pense avoir trouvé une solution à priori plus simple et qui ne vas pas chercher à faire des dépendances entre le objets. J'y travaille et je vous tiens au courant si mes résultats sont prometteurs.

Merci encore pour vos réponse. Je reste tout de même à l'écoute de toutes propositions