Сборщик мусора в Go основан на маркирующем-удаляющем алгоритме с триггером по выделению памяти. Он работает параллельно с основной программой и минимизирует паузы.
Ключевые моменты:
- Три набора цветов:
- Белый: Объекты, которые не были посещены и потенциально являются мусором.
- Серый: Объекты, доступные из корней, но еще не просканированные.
- Черный: Объекты, доступные из корней и уже просканированные.
- Маркировка: Сборщик начинается с корней (глобальные переменные, стек каждого горутины), помечая доступные объекты как серые. Затем он рекурсивно сканирует серые объекты, помечает достижимые из них как серые, а сканируемые объекты становятся черными.
- Фаза STW (Stop-The-World) во время маркировки: Кратковременная остановка выполнения всех горутин в начале маркировки для создания снимка графа объектов и в конце для переключения состояния.
- Параллельная маркировка: Основная часть маркировки выполняется параллельно с работой программы.
- Удаление: После маркировки все объекты, о