Hoe wordt automatische garbage collection geïmplementeerd in programmeertalen?

Automatische afvalverzameling (Garbage Collection, GC) is een geheugenbeheermechanisme dat automatisch het geheugen vrijmaakt dat wordt gebruikt door objecten die niet meer door het programma worden gebruikt.

Belangrijkste benaderingen voor de implementatie van GC:

1. Referentietelling (Reference Counting) — elk object krijgt een referentieteller. Wanneer deze nul bereikt, wordt het object verwijderd. Nadeel — werkt niet met cyclische verwijzingen.

2. Markeren en schoonmaken (Mark-and-Sweep) — GC markeert eerst alle toegankelijke objecten, en verwijdert vervolgens alle niet-gemarkeerde, die als afval worden beschouwd.

3. Kopiëren (Copying Collector) — het geheugen wordt in twee gebieden verdeeld, actieve objecten worden van het ene naar het andere gekopieerd, waardoor het oude gebied wordt vrijgegeven.

4. Generationele GC (Generational GC) — objecten worden op basis van hun levensduur in generaties verdeeld, waarbij de jonge generatie vaker wordt schoongemaakt, wat de efficiëntie verhoogt.

Bijvoorbeeld, op Android wordt Dalvik/ART met generationele GC gebruikt, dat op de achtergrond werkt, vertragingen minimaliseert en geheugenlekken voorkomt.