Сколько поколений имеет куча?

Поколения в управляемой куче .NET

В управляемой куче (managed heap) .NET используется система сборки мусора (Garbage Collection, GC), которая организует объекты по поколениям (generations) для оптимизации процесса очистки памяти. Всего существует три поколения: Generation 0, Generation 1 и Generation 2. Также существует отдельная область для больших объектов (Large Object Heap, LOH), которая технически считается частью Generation 2, но имеет свои особенности.

Основные поколения

Generation 0 (Gen 0)

• Назначение: Здесь размещаются новые, недавно созданные объекты. Объём памяти под Generation 0 относительно невелик (несколько мегабайт в современных CLR).
• Особенности GC: Сборка мусора в Gen 0 происходит наиболее часто. Это самая быстрая сборка, так как проверяется небольшая область памяти, и статистически большинство объектов (особенно временные) умирают молодыми. Выжившие после сборки объекты продвигаются (promoted) в Generation 1.
• Алгоритм: Используется алгоритм "копирования" (copying collector). Память Gen 0 делится на две полупространства (from-space и to-space). Живые объекты копируются в to-space, после чего from-space полностью очищается. Это обеспечивает компактизацию (compaction) памяти "на лету".

Generation 1 (Gen 1)

• Назначение: Буферная зона между Gen 0 и Gen 2. Содержит объекты, пережившие одну или несколько сборок мусора в Gen 0.
• Особенности GC: Сборка мусора в Gen 1 происходит реже, чем в Gen 0. Обычно сборка мусора затрагивает Gen 0 и Gen 1 одновременно (это называется ephemeral GC — скоротечная сборка). Выжившие объекты из Gen 1 продвигаются в Generation 2.
• Алгоритм: Также может использовать копирующий алгоритм (в рамках ephemeral сегмента).

Generation 2 (Gen 2)

• Назначение: Здесь находятся долгоживущие объекты (long-lived objects), которые пережили несколько сборок мусора в младших поколениях. Это ядро приложения: синглтоны, кэши, статические данные и т.д.
• Особенности GC: Сборка мусора в Gen 2 (также называемая full GC) происходит наиболее редко, но является самой дорогой по времени и может приводить к заметным паузам в работе приложения. Она затрагивает всю управляемую кучу (Gen 0, Gen 1, Gen 2 и LOH).
• Алгоритм: Использует алгоритм "помечать-и-сметать" (mark-and-sweep) с последующей компактизацией (compaction) для устранения фрагментации. Compaction — самая затратная часть процесса.

Large Object Heap (LOH) — Куча больших объектов

LOH — это специальная область памяти, предназначенная для объектов, размер которых превышает пороговое значение (по умолчанию 85 000 байт в .NET Framework и современных версиях .NET Core/.NET 5+).

// Пример создания объекта, который, скорее всего, попадёт в LOH
byte[] largeBuffer = new byte[100_000]; // > 85 000 байт

• Отношение к поколениям: LOH логически относится к Generation 2. При сборке мусора Gen 2 обрабатывается и LOH.
• Ключевые отличия от обычной кучи:

    1.  **Отсутствие продвижения между поколениями:** Объект сразу создаётся в LOH.
    2.  **Отсутствие компактизации по умолчанию:** Из-за высоких затрат на копирование больших блоков памяти, GC до версии .NET 4.5.1 не компактизировал LOH, что могло приводить к **фрагментации**. В современных версиях .NET компактизация LOH возможна (при определенных условиях или принудительно через `GCSettings.LargeObjectHeapCompactionMode`).
    3.  **Сборка мусора:** Происходит только во время полной сборки мусора (Gen 2 GC).

Принцип работы и оптимизация

Идея поколенческой кучи основана на двух эмпирических наблюдениях, известных как гипотезы поколенческого сборщика мусора:

1. Молодые объекты умирают быстро.
2. Старые объекты ссылаются на молодые, а не наоборот.

Эта модель позволяет сборщику мусора фокусировать усилия на небольшой, наиболее "плодородной" области памяти (Gen 0), где вероятность найти мусор максимальна, и реже затрагивать большую область со стабильными объектами (Gen 2). Это значительно повышает общую производительность и снижает среднее время пауз.

Практическое значение для разработчика

1. Снижение количества долгоживущих объектов: Старайтесь минимизировать количество объектов, достигающих Gen 2 (например, избегайте необоснованных синглтонов или бесконтрольного роста кэшей).
2. Внимание к большим объектам: Частое создание и освобождение больших объектов (например, больших массивов) может вызвать фрагментацию LOH и частые полные сборки мусора, что критично для производительности.
3. Использование структур (struct): Для небольших, короткоживущих данных использование типов значений (размещаемых в стеке или внутри родительского объекта) позволяет полностью избежать нагрузки на кучу и сборщик мусора.
4. Мониторинг: Анализ счетчиков производительности (.NET CLR Memory) или использование профайлеров (dotTrace, PerfView) для отслеживания частоты сборок по поколениям и размера кучи.

Итог: Управляемая куча .NET имеет три основных поколения (0, 1, 2) и специальную область для больших объектов (LOH), что составляет эффективную иерархическую систему, позволяющую сборщику мусора работать с максимальной производительностью, минимизируя паузы в работе приложения.