Comment le mécanisme de collecte des déchets détermine-t-il qu'un objet doit être supprimé de la mémoire?

Le mécanisme de collecte des déchets (Garbage Collector) détermine qu’un objet doit être supprimé de la mémoire en fonction de sa disponibilité pour le programme. Si aucune référence active à l’objet n’existe (c’est-à-dire qu’il est inaccessible), cela signifie qu’il n’est pas nécessaire et peut être supprimé.

La méthode principale pour le déterminer consiste à parcourir le graphe d’objets, en commençant par les références racines (par exemple, la pile d’appels, les variables statiques). Tous les objets accessibles par des références sont considérés comme vivants. Les objets inaccessibles sont considérés comme des déchets et peuvent être supprimés.

Exemple d’un algorithme simplifié :

• Commencer par les objets racines.
• Marquer tous les objets accessibles depuis les racines.
• Tous les objets non marqués sont considérés comme des déchets.
• Libérer la mémoire occupée par ces objets.

Dans Android (basé sur JVM), on utilise par exemple l’algorithme de marquage et de balayage (Mark-and-Sweep) et d’autres optimisations.