Aké sú vaše znalosti o zberači odpadkov v jazyku Go?

Golang používa paralelný a nízkozáťažový garbage collector založený na algoritme mark-sweep.

Hlavné vlastnosti:

1. Trojfarebný algoritmus (Three-color algorithm): Označuje objekty tromi farbami: bielou (potenciálny odpad), sivou (objekt je dostupný, ale jeho potomkov nie sú preskúmaní) a čiernou (objekt a jeho potomkovia sú dostupní).
2. Paralelnosť (Parallel): Funguje paralelne s používateľskými gorutinami na viacerých jadrách, minimalizujúc dobu zastavenia.
3. Konkurentnosť (Concurrent): Väčšina práce GC sa vykonáva súčasne s behom programu.
4. Minimalizácia doby zastavenia (Low-latency Stop-The-World): Čas zastavenia všetkých gorútin (STW) je mimoriadne krátky, používa sa iba pre fázy "začiatok označovania" (start of marking) a "ukončenie označovania" (end of marking), aby bola zabezpečená konzistencia grafu objektov.
5. Opakovane použiteľné skenovania (Stack scanning): Skenovanie zásobníkov je tiež vykonávané paralelne a konkurentne s STW.
6. Cieľová úroveň naplnenia haldy (Heap growth target): GC sa snaží udržiavať určitý percentuálny podiel naplnenia haldy po každom cykle, aby sa zabránilo príliš častým alebo príliš zriedkavým cyklom. Tento prah možno riadiť premennou GOGC. Predvolene GOGC=100, čo znamená, že GC sa spustí, keď veľkosť haldy zdvojnásobí.

Cyklus práce GC sa skladá z nasledujúcich fáz:

1. GCstart: Krátka STW fáza. Určuje koreňové objekty pre označovanie.
2. GCmark: Konkurentná fáza. GC prechádza grafom objektov a označuje dostupné objekty (sivá farba -> čierna farba). Používa write barrier na sledovanie zmien v grafe počas označovania.
3. GCmarktermination: Krátka STW fáza. Dokončuje označovanie a prepína z write barrier na sweep.
4. GCsweep: Konkurentná fáza. Nedostupné (biele) objekty sú uvoľnené. Táto fáza môže prebiehať na pozadí alebo podľa potreby pri alokácii novej pamäte.

GC v Go je riadený automaticky a nevyžaduje manuálne volanie vo väčšine prípadov. Výkon GC je možné sledovať pomocou premenných prostredia GODEBUG=gctrace=1.

Príklad sledovania:

$ GODEBUG=gctrace=1 go run your_program.go

Výstup gctrace ukazuje informácie o každom cykle GC, vrátane časov fáz, veľkosti haldy a času STW.

Pre optimalizáciu GC, okrem nastavenia GOGC, možno zvážiť:

• Zníženie počtu alokácií (napríklad opätovným použitím bufferov, vyhýbaním sa zbytočným konverziám).
• Profilovanie na základe "escape analysis" pre pochopenie, ktoré objekty sa alokujú na halde.
• Použitie poolov (sync.Pool) pre často vytvárané a uvoľňované objekty.