Как сортируются объекты в сборщике мусора?

Обзор работы Garbage Collector в Unity

В Unity используется инкрементальный сборщик мусора (Garbage Collector, GC) на базе Boehm-Demers-Weiser garbage collector. Сортировка объектов в процессе сборки мусора — это сложный многоэтапный процесс, который напрямую влияет на производительность.

Основные принципы сортировки и управления памятью

Сборщик мусора НЕ сортирует объекты в традиционном смысле (по значениям или ключам), а организует их по жизненному циклу и достижимости:

1. Разделение на поколения (Generations):
   • Generation 0: Новые, недавно созданные объекты. Имеют высокую вероятность быстрого уничтожения.
   • Generation 1: Объекты, пережившие одну сборку мусора.
   • Generation 2: Долгоживущие объекты, пережившие несколько сборок.

// Пример: создание объектов, попадающих в разные поколения
List<string> temporaryList = new List<string>(); // Generation 0
SomeClass persistentObject = new SomeClass(); // Generation 0

// После вызова GC.Collect() выжившие объекты перейдут в Generation 1

1. Маркировка достижимых объектов (Mark Phase): GC начинает с корневых объектов (статические поля, локальные переменные в стеке, активные GameObject) и рекурсивно помечает все достижимые объекты. Это формирует граф достижимости.

Процесс "сортировки" во время сборки мусора

Во время фазы сжатия (Compaction) происходит фактическая реорганизация памяти:

// Визуализация состояния памяти ДО сборки мусора
// [ObjA][СВОБОДНО][ObjB][ObjC][СВОБОДНО][ObjD]

// После маркировки (предположим, ObjB не достижим):
// [ObjA][СВОБОДНО][НЕ_ДОСТИЖИМ][ObjC][СВОБОДНО][ObjD]

// После сжатия:
// [ObjA][ObjC][ObjD][СВОБОДНО_ЕДИНЫЙ_БЛОК]

Ключевые этапы реорганизации:

• Идентификация фрагментации: GC находит "дыры" — освобожденные участки памяти
• Перемещение живых объектов: Достижимые объекты сдвигаются в начало heap
• Обновление ссылок: Все указатели на перемещенные объекты обновляются
• Сброс указателя аллокации: Указатель на свободную память устанавливается после последнего живого объекта

Оптимизации и особенности в Unity

1. Инкрементальная сборка (Incremental GC):

   • Разделяет работу GC на несколько кадров
   • Уменьшает "проседания" FPS
   • Настраивается в Project Settings > Player > Incremental Garbage Collection

2. Куча малых объектов (Small Object Heap) и куча больших объектов (Large Object Heap):

   // Объекты больше ~85KB размещаются в LOH
   byte[] largeArray = new byte[100000]; // Попадает в LOH
   byte[] smallArray = new byte[1000];   // Попадает в SOH
   

3. Сортировка по времени жизни:

   • Часто используемые объекты кэшируются разработчиком
   • Unity автоматически управляет пулами для некоторых ресурсов

Практические рекомендации

// ПЛОХО: Создание мусора каждый кадр
void Update() {
    List<Vector3> points = new List<Vector3>(); // GC аллокация
    // ... использование
    // points становится мусором в конце кадра
}

// ХОРОШО: Переиспользование объектов
private List<Vector3> cachedPoints = new List<Vector3>();

void Update() {
    cachedPoints.Clear(); // Без аллокаций
    // ... использование
}

Критические факторы производительности:

• Частота вызовов GC: Чем реже — тем лучше
• Размер поколений: Большое Generation 2 увеличивает время паузы
• Фрагментация heap: Высокая фрагментация снижает эффективность аллокаций

Мониторинг и отладка

Используйте Unity Profiler (Memory > GC Allocated) для отслеживания:

• GC.Collect calls: Количество вызовов сборщика
• GC Used Memory: Память, используемая управляемыми объектами
• Allocation Rate: Скорость аллокации объектов в heap

Вывод: Сборщик мусора в Unity "сортирует" объекты не по значению, а по достижимости и времени жизни, оптимизируя использование памяти через поколения и сжатие. Понимание этого процесса критически важно для создания производительных приложений, особенно для мобильных платформ и VR, где паузы GC особенно заметны.