Как устроен сборщик мусора в Go и что означает stop-the-world пауза?

Как устроен сборщик мусора в Go и что означает stop-the-world пауза?

• В Go применяется параллельный конкурентный GC
• В основе лежит трёхфазный алгоритм: маркировка (tracing), приостановка мира и очистка
• На этапе маркировки GC определяет объекты, которые остаются достижимыми
• Stop-the-world (STW) пауза — это период, в который приостанавливаются все goroutine
• Такая пауза необходима, чтобы сохранить целостность данных и корректно обойти корни
• В современных версиях Go длительность STW заметно снижена и обычно почти не ощущается — она составляет миллисекунды
• GC должен освобождать неиспользуемую память, практически не снижая производительность приложения

Развёрнутый ответ для интервью

Сборщик мусора Go представляет собой конкурентный трифазный GC, созданный для минимизации пауз приложения. Он проходит следующие основные этапы:

Маркировка (Marking): Работая параллельно с приложением, GC отмечает все достижимые объекты, начиная от корней — глобальных переменных и стеков goroutine. Чтобы выполнить эту операцию точно, сборщик на короткое время приостанавливает все goroutine: это и называется stop-the-world пауза. В рамках STW быстро сканируются корни и фиксируются актуальные ссылки. Длительность остановки стараются удерживать минимальной — как правило, в пределах нескольких миллисекунд.

Очистка (Sweeping): Завершив маркировку, GC возвращает память, занятую немаркированными, то есть недостижимыми, объектами. Очистка также выполняется одновременно с работой приложения.

Конкуррентность: GC в Go в основном работает параллельно с выполнением программы, оставляя STW-паузы лишь для тех критических операций, где они действительно необходимы.

Stop-the-world пауза — это короткая остановка всех goroutine, позволяющая GC работать с согласованными данными; без неё результат маркировки мог бы оказаться неверным. В новых версиях Go продолжительность таких пауз существенно уменьшена благодаря эвристикам и оптимизациям.

Итак, GC в Go объединяет эффективную автоматическую очистку памяти с небольшими накладными расходами, что особенно важно для серверов и высоконагруженных систем.

Подробный ответ

Основной ответ

В Go работает конкурентный трёхфазный сборщик мусора с пометкой и очисткой (mark-and-sweep), рассчитанный на минимальные задержки в многопоточных приложениях. Большую часть операций он выполняет параллельно с программой, однако на отдельных этапах все горутины временно останавливаются — это и есть stop-the-world (STW) пауза.

Ключевые моменты

• Алгоритм состоит из трёх фаз: сначала выполняется сбор корней (root scanning), затем — пометка достижимых объектов (marking), которая может идти параллельно с приложением, а завершается процесс удалением неиспользуемых объектов (sweeping).
• Stop-the-world пауза возникает в те моменты, когда все горутины останавливаются, чтобы GC получил согласованный "снимок" памяти, например при initial root scan. В Go 1.15+ такие остановки существенно оптимизированы и обычно для миллионов объектов занимают менее 1мс.
• Цель STW пауз — дать сборщику корректное и непротиворечивое представление о данных, одновременно уменьшая задержки, заметные конечному пользователю. Go сокращает продолжительность и количество таких остановок, делая сборку максимально конкурентной.

Практический контекст

В прикладных Go-системах (beyond Go 1.11) GC запускается автоматически, контролирует нагрузку на память и длительность пауз через runtime metrics и обычно удерживает GC pause на уровне сотен микросекунд. Частоту запусков можно регулировать параметром GOGC, находя баланс между расходом памяти и латентностью. Например, для latency-critical сервисов применяют значения GOGC около 100 или ниже: это уменьшает паузы, но повышает потребление памяти.