Какие знаешь разделы кучи?

Структура и разделы памяти в управляемой куче (.NET)

В контексте C# и .NET, "куча" обычно относится к Managed Heap — управляемой памяти, которую контролирует сборщик мусора (GC). Ключевое отличие от неуправляемых языков (C/C++) — .NET не делит кучу на явные "разделы" (sections/segments) как в классической литературе по алгоритмам, а организует её по поколениям и сегментам для оптимизации сборки мусора.

Основные логические разделы/зоны управляемой кучи

1. Память под поколениями (Generations)
GC делит кучу на три поколения для эффективного управления жизненным циклом объектов:

• Generation 0: Самый молодой раздел. Здесь размещаются новые объекты. Частая сборка мусора (частичная), так как большинство объектов быстро становятся недостижимыми.
• Generation 1: Буферное поколение. Объекты, выжившие после сборки Gen0, перемещаются здесь. Сборка происходит реже.
• Generation 2: Старейшее поколение. Объекты, выжившие после многих сборок (часто долгоживущие, например, статические данные или крупные кэши). Полная сборка затрагивает все поколения.

Код, иллюстрирующий поколения:

// Пример: объекты перемещаются по поколениям
var obj1 = new MyClass(); // Скорее всего размещается в Gen0
GC.Collect(0); // Принудительная сборка Gen0
// Если obj1 выжил, он переместится в Gen1

2. Сегменты кучи (Heap Segments)
Каждое поколение может состоять из нескольких сегментов памяти — непрерывных блоков виртуальной памяти, выделенных GC. Сегменты бывают:

• Ephemeral segment: Содержит Gen0 и Gen1 (часто вместе, так как они маленькие и тесно связаны).
• Large Object Segment (LOH): Специальный сегмент для больших объектов (≥ 85 000 байт в .NET Framework, 85 КБ в .NET Core/5+). Объекты в LOH не перемещаются (нет компактизации), сборка происходит редко.

Пример большого объекта:

byte[] largeArray = new byte[100_000]; // Размещается в LOH

3. Специальные разделы для внутренних структур CLR
Помимо пользовательских объектов, куча содержит внутренние структуры:

• SyncBlock таблицы: Для управления синхронизацией (мониторы).
• Информация о типах и методах: Метаданные, связанные с объектами.
• Статические поля: Если они относятся к классам, могут храниться в Gen2.

Физическая организация и стратегии GC

В зависимости от режима работы GC (Workstation/Server) структура кучи меняется:

• Workstation GC: Одна куча с сегментами для каждого процесса, оптимизирована для UI-приложений.
• Server GC: Множество куч (обычно по числу логических CPU) с отдельными сегментами для каждого поколения на каждой куче, максимизирует параллельность в серверных приложениях.

Пример настройки режима GC (в .NET Core):

// В файле проекта .csproj
<PropertyGroup>
    <ServerGarbageCollection>true</ServerGarbageCollection>
</PropertyGroup>

Роль разделов в управлении памятью

• Эффективность сборки: Разделение на поколения позволяет GC чаще сканировать молодые объекты (где смертность высока), и реже — старые.
• Управление большими объектами: LOH предотвращает частую компактизацию крупных данных, снижая нагрузку.
• Параллельная обработка: В Server GC разделы распределяются по потокам, уменьшая конкуренцию.

Важные нюансы

• Pinned objects: Объекты, закрепленные в памяти (например, для межоперабельности с неуправляемым кодом), могут создавать "дыры" в куче, препятствующие компактизации.
• Сборка мусора поколения 2: Это полная сборка, может быть затратной. Современные версии .NET (Core/5+) улучшили её через background GC (для Workstation) и concurrent GC (для Server), позволяя работать приложениям параллельно со сборкой.

Таким образом, управляемая куча в .NET — это не монолитная структура, а сложная, динамически организуемая область памяти, разделенная по поколениям, сегментам и специальным зонам (LOH), оптимизированная для баланса между производительностью аллокаций, эффективностью сборки мусора и масштабируемостью. Это фундамент для стабильной работы C# backend-приложений.