Как механизм автоматической сборки мусора определяет, что объект больше недоступен и подлежит удалению?

Механизм автоматической сборки мусора (GC) в Go определяет, что объект недоступен, основываясь на достижимости объекта из корневых точек (root set). Корневыми точками являются глобальные переменные, локальные переменные текущих горутин и стеки вызовов. Если объект не достижим через цепочку ссылок из этих корневых точек, он считается «мертвым» и подлежит удалению.

Пример: если переменная ссылается на объект, GC считает его живым. Если ссылка удалена или вышла из области видимости, объект становится недостижимым и может быть собран.

Таким образом, GC периодически просматривает граф объектов, начиная с корней, и помечает все достижимые объекты. Все остальные объекты считаются мусором и освобождаются.