Как устроен сборщик мусора в Go и в какой области памяти работает?

Сборщик мусора (GC) в Go — это триггерный, конкурентный, инкрементальный и параллельный сборщик мусора с алгоритмом маркировки и очистки (mark-and-sweep).

Он работает в куче (heap) — области памяти, где размещаются динамически выделяемые объекты. Стек и статические данные не подлежат сборке мусора.

Основные этапы работы GC:

• Маркировка: GC проходит по всем корням (стек, глобальные переменные) и помечает все достижимые объекты.
• Очистка: все объекты, не помеченные как достижимые, считаются мусором и освобождаются.

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

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