Kā darbojas atkritumu savācējs Go programmēšanas valodā?

Go atkritumu savācējs ir balstīts uz marķēšanas-noņemšanas algoritmu ar atmiņas piešķiršanas trigeri. Tas darbojas paralēli ar galveno programmu un maksimāli samazina pārtraukumus:

Galvenie punkti:

• Trīs krāsu komplekti:
  • Balts: Objekti, kuriem nav apmeklējuma un kuri iespējams ir atkritumi:
  • Pelēks: Objekti, kas pieejami no saknēm, bet vēl nav skenēti:
  • Melns: Objekti, kas pieejami no saknēm un jau ir skenēti:
• Marķēšana: Savācējs sāk no saknēm (globālās mainīgās, katras gorutīnas stāvs), atzīmējot pieejamos objektus kā pelēkus. Tad tas rekursīvi skenē pelēkos objektus, atzīmējot no tiem sasniedzamos kā pelēkus, un skenējamie objekti kļūst melni:
• STW fāze (Apturēt-Visur) marķēšanas laikā: Īss apturējums visām gorutīnām sākumā, lai izveidotu objektu grafika momentuzņēmumu un beigās – stāvokļa pārslēgšanu:
• ** Paralēla marķēšana:** Galvenā marķēšanas daļa tiek veikta paralēli ar programmas darbību:
• Dzēšana: Pēc marķēšanas visi balti objekti tiek uzskatīti par nepieejamiem un atbrīvoti:

// Piemērs: kad objekts kļūst nepieejams
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Objekts izveidots, pieejams
    _ = d1                 // Objekta izmantošana

    d1 = nil // Objekts vairs nav pieejams no mainīgā d1:
            // Savācējs to var atbrīvot nākamajā ciklā:

    // Citi objekti, uz kuriem neviens neatsaucas, arī var tikt savākti:
}

• Trigeris: Savācējs tiek aktivizēts, kad piešķirtā atmiņa pārsniedz noteiktu slieksni, kas ir atkarīgs no iepriekšējās piešķirtās atmiņas apjoma. Noklusējuma slieksnis ir divreiz lielāks par iepriekšējo izmantoto apjomu.
• Mērķis: uzturēt zemu aizkavi, izvairoties no ilgām "Apturēt-Visur" pauzēm:

// Savācēja uzvedību var kontrolēt ar vides mainīgajiem
// Piemēram, iestatot GOGC=off, atkritumu savākšana tiek deaktivizēta:

Kopumā, Go atkritumu savācējs ir efektīvs un prasa minimālu izstrādātāja iejaukšanos.