Wat zijn uw kennis over de garbage collector in de programmeertaal Go?

Golang gebruikt een parallel en lage-latentie garbage collector gebaseerd op het mark-sweep algoritme.

Belangrijkste kenmerken:

1. Driekleuren algoritme (Three-color algorithm): Markeert objecten met drie kleuren: wit (potentiële rommel), grijs (bereikbaar object, maar de nakomelingen niet geïnspecteerd) en zwart (object en nakomelingen bereikbaar).
2. Parallelisme (Parallel): Werkt parallel met de gebruikersgoroutines op meerdere cores, minimaliseert de stop-tijd.
3. Concurrerend (Concurrent): Het grootste deel van het GC-werk wordt gelijktijdig met de uitvoering van het programma gedaan.
4. Lage-latentie Stop-The-World (Low-latency Stop-The-World): De stop-tijd van alle goroutines (STW) is uiterst kort, alleen gebruikt voor de "start van marking" (start of marking) en "einde van marking" (end of marking) fasen, om de consistentie van de objectgraf te waarborgen.
5. Herbruikbare stack-scanning (Stack scanning): Stack-scanning wordt ook parallel en gelijktijdig met STW uitgevoerd.
6. Heap groei doel (Heap growth target): GC probeert een bepaald percentage van de heap-occupatie na elke cyclus te behouden, om te voorkomen dat de cycli te vaak of te zeldzaam zijn. Deze drempel kan worden geregeld via de variabele GOGC. Standaard is GOGC=100, wat betekent dat GC wordt gestart wanneer de heapgrootte verdubbelt.

De GC-cyclus bestaat uit de volgende fasen:

1. GCstart: Korte STW-fase. Worden de root-objecten voor marking bepaald.
2. GCmark: Concurrerende fase. De GC doorloopt de objectgraf en markeert bereikbare objecten (kleur grijs -> zwart). Gebruikt een write barrier om wijzigingen in de graf te volgen tijdens marking.
3. GCmarktermination: Korte STW-fase. Voltooit de marking en schakelt van write barrier naar sweep.
4. GCsweep: Concurrerende fase. Onbereikbare (witte) objecten worden vrijgegeven. Deze fase kan op de achtergrond plaatsvinden of indien nodig bij het toewijzen van nieuw geheugen.

De GC in Go wordt automatisch beheerd en vereist in de meeste gevallen geen handmatige aanroepen. De prestaties van GC kunnen worden gemonitord met de omgevingsvariabelen GODEBUG=gctrace=1.

Voorbeeld van monitoring:

$ GODEBUG=gctrace=1 go run your_program.go

De output van gctrace toont informatie over elke GC-cyclus, inclusief fasetijden, heapgrootte en STW-tijd.

Om GC te optimaliseren, naast het instellen van GOGC, kan men overwegen:

• Het verminderen van het aantal allocaties (bijvoorbeeld door buffers te hergebruiken, onnodige conversies te vermijden).
• Profilering voor "escape analysis" om te begrijpen welke objecten op de heap worden gealloceerd.
• Pools (sync.Pool) gebruiken voor vaak aangemaakte en vrijgegeven objecten.