Care sunt cunoștințele tale despre colectorul de gunoi în limbajul Go?

Golang utilizează un colector de gunoi paralel și cu latență scăzută bazat pe algoritmul mark-sweep.

Caracteristici principale:

1. Algoritmul cu trei culori (Three-color algorithm): Marchează obiectele cu trei culori: alb (posibil gunoi), gri (obiect accesibil, dar descendenții săi nu sunt inspectați) și negru (obiect și descendenții săi accesibili).
2. Paralelism (Parallel): Funcționează în paralel cu gorutinele utilizatorului pe mai multe nuclee, minimizând timpul de oprire.
3. Concurență (Concurrent): Majoritatea muncii GC se realizează simultan cu execuția programului.
4. Minimizarea timpului de oprire (Low-latency Stop-The-World): Timpul de oprire al tuturor gorutinelor (STW) este extrem de scurt, utilizat doar pentru fazele "începutul marcării" (start of marking) și "sfârșitul marcării" (end of marking), pentru a asigura coerența grafului de obiecte.
5. Scanarea stivei reutilizabile (Stack scanning): Scanarea stivei se face și ea în paralel și în mod concurent cu STW.
6. Ținta de creștere a heap-ului (Heap growth target): GC încearcă să mențină un anumit procentaj de umplere a heap-ului după fiecare ciclu, pentru a evita cicluri prea frecvente sau prea rare. Acest prag poate fi controlat prin variabila GOGC. Implicit, GOGC=100, ceea ce înseamnă că GC se pornește când dimensiunea heap-ului se dublează.

Ciclul de lucru al GC constă din următoarele faze:

1. GCstart: Fază scurtă STW. Se determină obiectele rădăcină pentru marcaj.
2. GCmark: Fază concurentă. GC parcurge graful de obiecte, marcând obiectele accesibile (culoare gri -> negru). Utilizează o barieră de scriere pentru a urmări modificările în graful în timpul marcajului.
3. GCmarktermination: Fază scurtă STW. Încheie marcajul și trece de la bariera de scriere la sweep.
4. GCsweep: Fază concurentă. Obiectele inaccesibile (albe) sunt eliberate. Această fază poate avea loc în fundal sau după cum este necesar la alocarea de memorie nouă.

GC în Go este gestionat automat și nu necesită apeluri manuale în cele mai multe cazuri. Performanța GC poate fi monitorizată cu variabilele de mediu GODEBUG=gctrace=1.

Exemplu de monitorizare:

$ GODEBUG=gctrace=1 go run your_program.go

Ieșirea gctrace oferă informații despre fiecare ciclu GC, inclusiv timpii fazelor, dimensiunea heap-ului și timpul STW.

Pentru a optimiza GC, pe lângă configurarea GOGC, se poate lua în considerare:

• Reducerea numărului de alocări (de exemplu, reutilizarea bufferelor, evitarea conversiilor inutile).
• Profilarea pentru "escape analysis" pentru a înțelege ce obiecte sunt alocate pe heap.
• Utilizarea pool-urilor (sync.Pool) pentru obiecte create și eliberate frecvent.