Фазы GC

Четыре фазы

1. Sweep termination — STW-пауза: дочистить spans, оставшиеся от ленивой уборки прошлого цикла, включить write barrier и подготовить корни к маркировке.
2. Mark — основная фаза, идёт конкурентно, без остановки. Программа работает, а фоновые горутины сборщика помечают достижимые объекты. Плюс mark assist: горутины, которые активно аллоцируют, помогают маркировать, иначе они убегут далеко вперёд и куча будет расти всю mark-фазу.
3. Mark termination — снова короткая STW-пауза: доразобрать остаток серой очереди, выключить write barrier, посчитать статистику.
4. Sweep — подметание белых объектов. Тоже конкурентное и ленивое: spans разбираются по мере того, как аллокатору нужна память, а не все сразу. Возврат страниц ОС — отдельная забота scavenger'а.

Что дают короткие паузы

Две STW-паузы обычно субмиллисекундные. Это не жёсткая гарантия спецификации, а конструктивная цель и поведение стандартной реализации: Go проектировался под низкие паузы, и на практике типичная суммарная остановка — доли миллисекунды.

Но GC не бесплатен

«Короткие паузы» не означают «GC бесплатен». Конкурентная маркировка ест CPU наравне с твоим кодом, а mark assist отбирает время у аллоцирующих горутин. Под нагрузкой сборка ощущается как просадка пропускной способности, даже если пауз почти нет.