qui me connaît? (Chroniques d'un objet)

Question

Si un objet possède 5 références, cet objet peut-il trouver ce qui lui est référencé? Parce que je sais que Java (et j'espère que C#) en a une liste pour le GC.

Answer 1

Non, il n'y a pas de "liste de références". Le GC n'a pas besoin de savoir tout ce qui fait référence à un objet - il doit simplement savoir si quoi que ce soit fait référence à un objet. Comme un modèle très grossier de ce que le GC fait, il marque chaque objet dans le tas comme de la foutaise, puis regarde les objets qu'il sait pour être non-ordures (objets "root").Par exemple, il va regarder la pile de chaque thread et pour chaque méthode d'instance dans le thread, il généralement marquer l'instance cible comme non-garbage.

Ensuite, il va passer par chacune de ces racines, et voir quels objets ceux se réfèrent à ... et les marquer comme non-ordures. Il va se rhabiller, trouver tout ce qu'il peut. Tout ce qui n'a pas été marqué comme non-déchet peut alors être collecté (ou finalisé).

Comme vous pouvez le voir à partir de cet algorithme, le GC n'a pas besoin de garder une liste complète de références pour chaque objet - juste un peu pour dire "garbage" ou "non-garbage". En réalité, le GC est beaucoup plus compliqué que cela, en Java et .NET, avec génératrice garbage collectors et diverses stratégies pour minimiser la "pause" GC et utiliser plusieurs threads pour GC. Espérons que cette vue simplifiée est suffisante pour expliquer pourquoi même le GC n'a pas de liste de références.

---

Pas toujours, dans le cas de .NET. Un objet peut être collecté alors qu'une méthode d'instance est encore en cours d'exécution "in", si cette méthode ne fait référence à aucun champ de l'objet à partir du point actuel.

Answer 2

Si vous ne parvenez pas à trouver la prise en charge de la langue pour cela, il suffit que chaque objet qui veut contenir une référence à l'objet en question appelle une méthode qui indique à l'objet en question qu'il est référencé. Cet objet ajouterait alors l'objet référent à une liste. Chaque fois que vous abandonnez votre référence à cet objet, vous appelez une autre méthode qui supprimerait le référent de la liste.