Cum funcționează colectorul de gunoi în limbajul de programare Go?

Colectorul de gunoi în Go se bazează pe un algoritm de marcaj și ștergere cu un declanșator bazat pe alocarea de memorie. Funcționează în paralel cu programul principal și minimizează pauzele.

Puncte cheie:

• Trei seturi de culori:
  • Alb: Obiecte care nu au fost vizitate și potențial sunt gunoi.
  • Gri: Obiecte accesibile din rădăcini, dar încă ne scanate.
  • Negru: Obiecte accesibile din rădăcini și deja scanate.
• Marcarea: Colectorul începe de la rădăcini (variabile globale, stivă a fiecărei goroutine), marcând obiectele accesibile ca gri. Apoi scanează recursiv obiectele gri, marcând ca gri cele accesibile din ele, iar obiectele scanate devin negre.
• Faza STW (Stop-The-World) în timpul marcării: O oprire scurtă a execuției tuturor goroutine-urilor la începutul marcării pentru a crea o fotografie instantanee a grafului de obiecte și la sfârșit pentru a schimba starea.
• Marcarea paralelă: Majoritatea marcării se face în paralel cu rularea programului.
• Ștergere: După marcaj, toate obiectele rămase albe sunt considerate inaccesibile și sunt eliberate. Go nu necesită resetarea explicită a pointerilor.

// Exemplu: când un obiect devine inaccesibil
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Obiect creat, accesibil
    _ = d1                 // Utilizarea obiectului

    d1 = nil // Obiectul nu mai este accesibil din variabila d1.
            // Colectorul de gunoi îl poate elibera în următorul ciclu.

    // Alte obiecte la care nimeni nu face referire pot fi, de asemenea, colectate.
}

• Declanșator: Colectorul pornește atunci când volumul de memorie alocat depășește un prag care depinde de volumul anterior de memorie alocat. În mod implicit, acest prag este de două ori volumul anterior utilizat.
• Obiectiv: Menținerea unei latențe scăzute, evitând pauze lungi "Stop-The-World".

// Comportamentul colectorului poate fi controlat prin variabile de mediu
// de exemplu, setând GOGC=off, colectarea gunoiului este dezactivată.

În general, colectorul de gunoi din Go este eficient și necesită o intervenție minimă din partea dezvoltatorului.