Jak mechanizm automatycznego zbierania śmieci określa, że obiekt jest już niedostępny i należy go usunąć?

Mechanizm automatycznego zbierania śmieci (GC) w Go określa, że obiekt jest niedostępny, opierając się na jego osiągalności z punktów korzeniowych (root set). Punktami korzeniowymi są zmienne globalne, lokalne zmienne bieżących gorutyn i stosy wywołań. Jeśli obiekt nie jest osiągalny przez łańcuch odwołań z tych punktów, jest uważany za 'martwy' i może zostać usunięty.

Przykład: jeśli zmienna odwołuje się do obiektu, GC uznaje go za żywy. Jeśli odwołanie zostanie usunięte lub wyjdzie z zakresu, obiekt staje się niedostępny i może zostać zebrany.

W ten sposób GC okresowo przeszukuje graf obiektów, zaczynając od korzeni, i oznacza wszystkie osiągalne obiekty. Pozostałe obiekty są uważane za śmieci i są zwalniane.