Jak działa zbieracz śmieci w języku programowania Go?

Zbieracz śmieci w Go opiera się na algorytmie oznaczania i sprzątania z wyzwalaczem opartym na alokacji pamięci. Działa równolegle z głównym programem i minimalizuje przerwy.

Kluczowe punkty:

• Trzy zestawy kolorów:
  • Biały: Obiekty nieodwiedzane i potencjalnie śmieci.
  • Szary: Obiekty dostępne z korzeni, ale jeszcze nie skanowane.
  • Czarny: Obiekty dostępne z korzeni i już zeskanowane.
• Oznaczanie: Zbieracz zaczyna od korzeni (zmienne globalne, stos każdej goroutine), oznaczając dostępne obiekty jako szare. Następnie rekurencyjnie skanuje obiekty szare, oznaczając jako szare te osiągalne z nich, a skanowane obiekty stają się czarne.
• Faza STW (Stop-The-World) podczas oznaczania: Krótkie zatrzymanie wykonywania wszystkich goroutine na początku oznaczania w celu utworzenia migawki grafu obiektów i na końcu, aby zmienić stan.
• Równoległe oznaczanie: Większość oznaczania odbywa się równolegle z działaniem programu.
• Usuwanie: Po oznaczaniu wszystkie białe obiekty, które pozostają, są uważane za nieosiągalne i zwalniane. Go nie wymaga jawnego zerowania wskaźników.

// Przykład: gdy obiekt staje się nieosiągalny
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Obiekt utworzony, dostępny
    _ = d1                 // Użycie obiektu

    d1 = nil // Obiekt nie jest już dostępny z zmiennej d1.
            // Zbieracz śmieci może go zwolnić w następnym cyklu.

    // Inne obiekty, na które nikt nie wskazuje, również mogą zostać zebrane.
}

• Wyzwalacz: Zbieracz uruchamia się, gdy zaangażowana pamięć przekracza próg zależny od poprzedniego zużycia pamięci. Domyślnie próg ten jest dwukrotnie większy od poprzedniego zużycia.
• Cel: Utrzymanie niskiej latencji, unikając długich przerw "Stop-The-World".

// Zachowanie zbieracza można kontrolować za pomocą zmiennych środowiskowych
// na przykład ustawiając GOGC=off, wyłącza się zbieranie śmieci.

Ogólnie, zbieracz śmieci w Go jest wydajny i wymaga minimalnego udziału programisty.