Koja su vaša znanja o sakupljaču smeća u jeziku Go?

Golang koristi paralelni i niskozakasniji sakupljač smeća zasnovan na algoritmu mark-sweep.

Glavne karakteristike:

1. Trobojni algoritam (Three-color algorithm): Obeležava objekte trobojnim bojama: belom (potencijalni otpad), sivom (objekat je dostizan, ali njegovi potomci nisu proveren) i crnom (objekat i njegovi potomci su dostizni).
2. Paralelnost (Parallel): Radi paralelno sa korisničkim gorutinama na više jezgara, minimizirajući vreme zaustavljanja.
3. Konkurentnost (Concurrent): Veći deo rada GC se obavlja istovremeno sa izvršavanjem programa.
4. Minimizacija vremena zaustavljanja (Low-latency Stop-The-World): Vreme zaustavljanja svih gorutina (STW) je izuzetno kratko, koristi se samo za faze "početak označavanja" (start of marking) i "završetak označavanja" (end of marking), kako bi se obezbedila konzistentnost grafa objekata.
5. Ponovo upotrebljiva skeniranja (Stack scanning): Skeniranje stekova se takođe obavlja paralelno i konkurentno sa STW.
6. Ciljni nivo popunjenosti hrpe (Heap growth target): GC teži da održava određeni procenat popunjenosti hrpe nakon svakog ciklusa, kako bi izbegao prečeste ili retke cikluse. Ovaj prag se može kontrolisati putem promenljive GOGC. Podrazumevano GOGC=100, što znači da se GC pokreće kada se veličina hrpe udvostruči.

Ciklus rada GC sastoji se od sledećih faza:

1. GCstart: Kratka STW faza. Određuju se koren objekti za označavanje.
2. GCmark: Konkurentna faza. GC obilazi graf objekata, obeležavajući dostignute objekte (siva boja -> crna boja). Koristi write barrier za praćenje promena grafa tokom označavanja.
3. GCmarktermination: Kratka STW faza. Završava označavanje i prebacuje se sa write barrier na sweep.
4. GCsweep: Konkurentna faza. Nedostupni (beli) objekti se oslobađaju. Ova faza može da se obavlja u pozadini ili po potrebi pri alokaciji nove memorije.

GC u Go se automatski upravlja i ne zahteva ručno pozivanje u većini slučajeva. Performanse GC mogu se pratiti pomoću promenljivih okruženja GODEBUG=gctrace=1.

Primer monitoringa:

$ GODEBUG=gctrace=1 go run your_program.go

Izlaz gctrace prikazuje informacije o svakom ciklusu GC, uključujući vreme faza, veličinu hrpe i vreme STW.

Za optimizaciju GC, pored podešavanja GOGC, može se razmotriti:

• Smanjenje broja alokacija (npr. ponovnim korišćenjem bafera, izbegavanjem nepotrebnih konverzija).
• Profilisanje na osnovu "escape analysis" za razumevanje koje objekte alocira na hrpi.
• Korišćenje poolova (sync.Pool) za često kreirane i oslobađane objekte.