> Как работает Garbage Collector и что такое минорная сборка мусора (Go)

Короткий ответ

Garbage Collector (GC) - это компонент рантайма, который автоматически освобождает память от объектов, на которые больше нет ссылок. Минорная сборка мусора - это сборка, которая обрабатывает только молодое поколение объектов (или, в контексте Go, - быструю сборку, затрагивающую небольшую часть кучи). В Go нет поколений, поэтому термин "минорная сборка" чаще относится к JVM, а в Go говорят о коротких сборках, которые происходят часто и быстро.

Подробное объяснение

В Go используется concurrent, tri-color mark-and-sweep GC. Он работает параллельно с основной программой, чтобы минимизировать паузы (stop-the-world). Основные фазы:

1. Mark - GC проходит по графу объектов от корней (глобальные переменные, стек, регистры) и помечает достижимые объекты.
2. Sweep - удаляет непомеченные объекты и возвращает память аллокатору.

В JVM (Java, Kotlin, Scala) GC часто поколенческий: молодое поколение (eden + survivor spaces) собирается часто и быстро - это и есть минорная сборка. Старое поколение собирается реже - мажорная сборка (full GC). Минорная сборка дешевле, потому что большинство объектов умирают молодыми.

В Go поколений нет, но есть похожая идея: GC запускается по порогу роста кучи (например, GOGC=100 - удвоение размера живой памяти). Сборка в Go - это всегда полный цикл mark-and-sweep, но она оптимизирована: mark phase работает конкурентно, а stop-the-world паузы очень короткие (обычно < 1 мс).

На практике

Для backend-разработчика на Go важно:

• Понимать, что GC влияет на latency и throughput.
• Настраивать GOGC или использовать debug.SetGCPercent для управления частотой сборок.
• Избегать создания большого количества короткоживущих объектов в hot path - это увеличивает нагрузку на GC.
• Использовать sync.Pool для переиспользования объектов, если аллокации критичны.
• В JVM-мире (если вы пишете на Java/Kotlin) - настраивать размеры поколений через флаги -Xms, -Xmx, -XX:NewRatio и выбирать GC (G1, ZGC, Shenandoah) под требования по паузам.

Пример кода

GO
package main

import (
    "fmt"
    "runtime"
    "time"
)

func main() {
    // Устанавливаем GOGC = 50 (сборка при росте кучи на 50%)
    runtime.GC() // принудительная сборка для чистоты замера

    var m runtime.MemStats
    runtime.ReadMemStats(&m)
    fmt.Printf("HeapAlloc before: %d KB\n", m.HeapAlloc/1024)

    // Создаём много короткоживущих объектов
    for i := 0; i < 100000; i++ {
        _ = make([]byte, 1024)
    }

    runtime.ReadMemStats(&m)
    fmt.Printf("HeapAlloc after allocs: %d KB\n", m.HeapAlloc/1024)

    runtime.GC() // принудительная сборка

    runtime.ReadMemStats(&m)
    fmt.Printf("HeapAlloc after GC: %d KB\n", m.HeapAlloc/1024)

    // Замер паузы GC
    start := time.Now()
    runtime.GC()
    fmt.Printf("GC pause: %v\n", time.Since(start))
}

Как отвечать на собеседовании

Начни с определения GC и его цели. Затем опиши базовый алгоритм mark-and-sweep. Если спрашивают про минорную сборку - уточни, что это термин из поколенческих GC (JVM), и объясни, почему молодые объекты собираются чаще. Для Go подчеркни, что GC конкурентный, без поколений, и что паузы минимизированы. Приведи пример настройки (GOGC) и упомяни trade-off: частая сборка - меньше пиковое потребление памяти, но больше CPU overhead. Говори уверенно, но не углубляйся в детали реализации, если не просят.

Что проверяет интервьюер

• Базовое понимание управления памятью.
• Знание отличий между поколенческими и не-поколенческими GC.
• Понимание trade-off между частотой сборок и потреблением памяти.
• Практический опыт: как GC влияет на производительность приложения.
• Умение объяснить простыми словами сложную тему.

Типичные ошибки

• Путать минорную и мажорную сборку в Go (в Go их нет).
• Говорить, что GC в Go - это stop-the-world (это не так, он конкурентный).
• Не упоминать про корни (roots) и достижимость объектов.
• Считать, что runtime.GC() - это нормальный способ управления памятью в production (это не так, лучше настраивать GOGC).
• Забывать про sync.Pool и аллокации как источник нагрузки на GC.