Что такое поколение сборщика мусора?

Что такое поколение сборщика мусора?

Поколение сборщика мусора — это механизм оптимизации в управляемых средах выполнения, таких как .NET (используемая Unity), основанный на эмпирическом наблюдении, известном как гипотеза поколений. Она гласит: большинство объектов становятся мусором вскоре после создания, а выжившие объекты, как правило, живут долго. Система автоматического управления памятью использует эту гипотезу, разделяя объекты по "возрасту" (времени выживания в куче) на поколения, чтобы минимизировать затраты на сборку мусора.

Как это работает в .NET/Unity

В среде выполнения .NET (Mono или IL2CPP в Unity) куча для управляемых объектов делится на три поколения: Gen 0, Gen 1 и Gen 2, а также отдельную Large Object Heap (LOH) для очень больших объектов.

• Gen 0 (Поколение 0): Здесь размещаются новосозданные объекты. Это самое маленькое и часто сканируемое поколение. Сборка мусора в Gen 0 происходит часто и быстро, так как проверяется только небольшая, "молодая" часть кучи.
• Gen 1 (Поколение 1): Буферное поколение. Объекты, пережившие одну сборку Gen 0, продвигаются (promote) в Gen 1. Размер Gen 1 больше, чем Gen 0. Сборка здесь происходит реже.
• Gen 2 (Поколение 2): Здесь хранятся долгоживущие объекты, пережившие несколько сборок мусора. Это поколение может быть очень большим, и его полная сборка (Full GC) требует значительных вычислительных ресурсов, что часто приводит к заметным фризам (замираниям) в игре.
• Large Object Heap (LOH): Объекты больше определенного порога (~84 КБ в .NET) попадают сюда сразу. Сборка в LOH происходит только во время сборки Gen 2.

Процесс сборки по поколениям

Алгоритм оптимизирован под предположение, что в Gen 0 мусора больше всего.

// Пример в Unity C#
void Update() {
    // 1. Создается множество короткоживущих объектов (например, частицы, звуки).
    for(int i = 0; i < 100; i++) {
        var tempData = new TemporaryData(); // Объект создается в Gen 0
    }
    // В конце кадра GC может запустить сборку в Gen 0.
    // Большинство tempData будут уничтожены быстро и без сканирования всей кучи.

    // 2. Долгоживущий объект (например, менеджер игры) уже находится в Gen 2.
    // Он не затрагивается при сборках Gen 0/1, что экономит время.
}

1. Запуск сборки: Обычно сборка начинается с Gen 0. Если после очистки Gen 0 освобождается недостаточно памяти, сборщик переходит к Gen 1, а затем, если нужно, к Gen 2.
2. Продвижение объектов: Любой объект, переживший сборку мусора в своем поколении, перемещается в следующее поколение (из Gen 0 в Gen 1, из Gen 1 в Gen 2). Объекты в Gen 2 и LOH остаются там навсегда.

Зачем это нужно и как влияет на производительность в Unity?

Цель — снизить паузы, вызванные полным сканированием кучи.

• Частые, но быстрые сборки: Многие игровые объекты (например, Vector3, строки в цикле, временные структуры данных) живут 1-2 кадра. Сборщик эффективно удаляет их в быстрых циклах Gen 0.
• Редкие, но тяжелые сборки: Полная сборка (Gen 2 + LOH) — главный источник фризов. Задача разработчика — минимизировать ее запуск, сокращая создание долгоживущего мусора и частоту продвижения объектов в старшие поколения.

Практические советы для Unity-разработчика

• Пулы объектов (Object Pooling): Для часто создаваемых/уничтожаемых объектов (пули, враги, эффекты) используйте пулы. Это предотвращает постоянное выделение памяти и продвижение объектов в Gen 1/2.
• Структуры вместо классов: Для небольших, короткоживущих данных используйте struct (тип значения). Они размещаются на стеке или внутри родительского объекта и не нагружают кучу.
• Кэширование ссылок: Избегайте повторного создания объектов там, где можно переиспользовать существующие (например, не создавайте новые коллекции List<T> каждый кадр).
• Контроль над вызовом GC: В критичных по производительности моментах (например, загрузка уровня) можно принудительно вызвать полную сборку с помощью GC.Collect(), чтобы провести ее в "удобное" время, а не в середине боя. Однако злоупотреблять этим не стоит.

// Пример пула объектов (упрощенный)
public class BulletPool : MonoBehaviour {
    private Queue<Bullet> pool = new Queue<Bullet>();
    public Bullet prefab;

    public Bullet GetBullet() {
        if(pool.Count > 0) {
            var bullet = pool.Dequeue();
            bullet.gameObject.SetActive(true);
            return bullet;
        }
        return Instantiate(prefab); // Создание происходит только при необходимости
    }

    public void ReturnBullet(Bullet bullet) {
        bullet.gameObject.SetActive(false);
        pool.Enqueue(bullet); // Объект не уничтожается, а возвращается в пул
    }
}

Итог: Поколения сборщика мусора — это фундаментальный механизм, позволяющий балансировать между автоматическим управлением памятью и производительностью. Понимание его работы критически важно для написания оптимизированного и отзывчивого игрового кода в Unity, где неконтролируемые сборки мусора в старших поколениях — одна из основных причин просадок FPS.