Vertel over de werkwijzen van de Garbage Collector.

De garbage collector is een proces van automatisch geheugenbeheer dat geheugen vrijmaakt dat wordt ingenomen door objecten die niet meer door het programma worden gebruikt.

De belangrijkste methoden van de garbage collector:

1. Referentieteller:

   • Elk object heeft een teller die het aantal referenties naar dat object bijhoudt.
   • Wanneer een referentie naar een object wordt gemaakt, wordt de teller verhoogd.
   • Wanneer een referentie verdwijnt (bijvoorbeeld, een variabele verlaat het bereik), wordt de teller verlaagd.
   • Wanneer de teller nul bereikt, wordt het object als onbereikbaar beschouwd en wordt het geheugen vrijgemaakt.
   • Problemen: Kan geen cyclische referenties verwerken, wanneer twee of meer objecten naar elkaar verwijzen, maar van buitenaf onbereikbaar zijn.

2. Tracing garbage collector:

   • Werkt in twee fasen: markering en scannen of comprimeren.
   • Markeerfase: Begint bij de "roots" (root set) - objecten die gegarandeerd toegankelijk zijn (bijvoorbeeld globale variabelen, objecten op de stack). De GC doorloopt alle bereikbare objecten vanaf de roots en markeert ze als "levend".
   • Scanfase: De GC doorloopt de hele heap. Niet-gemarkeerde objecten worden als "rommel" beschouwd en hun geheugen wordt vrijgemaakt.
   • Compressie (optioneel): Na het scannen kan de GC de "levende" objecten verplaatsen om geheugenfragmentatie te elimineren.
   • Voordelen: Kan cyclische referenties verwerken.
   • Nadelen: Kan pauzes veroorzaken in de uitvoering van het programma (stop-the-world) terwijl de GC werkt.

De meest voorkomende algoritmen van tracing garbage collectors:

• Mark-and-Sweep: Markeert levende objecten en verzamelt vervolgens de rommel.
• Mark-and-Compact: Markeert levende objecten en verplaatst ze voor defragmentatie.
• Copying: Verdeelt de heap in twee helften. Tijdens de verzameling kopieert de GC levende objecten van de ene helft naar de andere en vrijwaart vervolgens de oorspronkelijke helft.
• Generationeel: Gebaseerd op de hypothese dat de meeste objecten jong sterven. De heap wordt verdeeld in generaties (bijvoorbeeld, jong en oud). De GC verzamelt vaker in de jonge generatie, wat leidt tot kortere pauzes.

De specifieke methode van de garbage collector hangt af van de gebruikte programmeertaal en de implementatie ervan. Bijvoorbeeld, Java en C# gebruiken verschillende varianten van tracing garbage collectors, inclusief generationeel. Python gebruikte traditioneel referentietelling met een extra mechanisme om cyclische referenties te detecteren, en in nieuwere versies worden ook tracing-elementen gebruikt.