Как устроена куча?

🏗️ Общее устройство управляемой кучи (Managed Heap)

Куча (heap) в контексте C# и .NET — это область динамической памяти, управляемая сборщиком мусора (Garbage Collector, GC), предназначенная для хранения ссылочных типов данных (объектов, массивов, строк и т.д.). В отличие от стека, где память выделяется и освобождается строго по LIFO, куча предоставляет гибкое управление временем жизни объектов.

🧠 Ключевые компоненты кучи .NET

// Пример: объекты размещаются в управляемой куче
class User { public string Name; }
var user = new User(); // Выделение памяти в куче

1. Сегменты памяти (Managed Heap Segments)

Куча разделена на логические сегменты:

• Поколения (Generations): 0, 1, 2 (для оптимизации сборки мусора).
• Сегмент малых объектов (Small Object Heap, SOH): для объектов < 85 КБ.
• Сегмент больших объектов (Large Object Heap, LOH): для объектов ≥ 85 КБ (массивы, большие строки).

2. Поколения (Generational Model)

• Generation 0: Молодые объекты. Частые проверки, быстрая сборка.
• Generation 1: Буфер между Gen0 и Gen2. Выжившие после сборки Gen0 объекты.
• Generation 2: Долгоживущие объекты. Редкие, но тяжелые сборки.

// Жизненный цикл объекта через поколения
var obj = new object(); // Gen0
GC.Collect(0); // Если obj выжил → Gen1
GC.Collect(1); // Если obj выжил → Gen2

3. Алгоритмы сборки мусора

• Mark-and-Compact: Помечать живые объекты → сдвигать → освобождать фрагменты.
• Background GC: Фоновая сборка для Gen2 и LOH без остановки приложения.
• Workstation vs Server GC: Оптимизации под тип приложения.

⚙️ Механизм выделения памяти

// Внутренний процесс выделения (упрощенно)
public class Example {
    private int _value = 42; // Поле хранится в куче с объектом
}
// При new Example():
// 1. Проверка свободного места в Gen0
// 2. Если есть — "указатель кучи" сдвигается
// 3. Если нет — запуск сборки мусора

Шаги выделения:

1. Поток запрашивает память для нового объекта.
2. Среда выполнения проверяет доступное пространство в текущем сегменте Gen0.
3. Если пространства достаточно, используется bump-the-pointer (линейное выделение).
4. При нехватке памяти инициируется сборка мусора в Gen0.
5. Если после сборки места недостаточно, расширяется сегмент кучи.

🔄 Сборка мусора (Garbage Collection)

// Пример влияния на память
List<string> CreateData() {
    var list = new List<string>(); // Объект в куче
    for(int i = 0; i < 1000; i++) {
        list.Add(i.ToString()); // Множество объектов
    }
    return list; // list остается "живым"
}

Фазы сборки мусора:

1. Marking: Обход графа достижимых объектов (от корней: статические поля, локальные переменные, регистры CPU).
2. Relocating: Обновление ссылок на перемещаемые объекты.
3. Compacting: Уплотнение памяти для уменьшения фрагментации.
4. Clearing: Освобождение "мертвых" областей.

📊 Особенности сегментов

Small Object Heap (SOH):

• Все объекты < 85 КБ.
• Подвергается уплотнению (compaction).
• Быстрое выделение за счет смещения указателя.

Large Object Heap (LOH):

• Объекты ≥ 85 КБ.
• Отсутствует уплотнение по умолчанию (может приводить к фрагментации).
• Выделение через поиск подходящего свободного блока.

🛠️ Управление и оптимизация

// Пример мониторинга
var gen0 = GC.CollectionCount(0);
var mem = GC.GetTotalMemory(false); // Текущее использование кучи

// Для критических объектов
GCHandle handle = GCHandle.Alloc(obj, GCHandleType.Pinned);
// Предотвращает перемещение объекта при сборке мусора

Практические аспекты:

• Фрагментация: Больше проблем в LOH, реже в SOH благодаря уплотнению.
• Производительность: Сборки Gen0 — быстрые (миллисекунды), Gen2 — медленные (может быть сотни миллисекунд).
• Локальность данных: Уплотнение улучшает кэширование CPU.
• Finalization: Объекты с финализаторами требуют дополнительных проходов.

🚀 Эволюция в современных .NET

• Региональные кучи (Region-based heap) в .NET Core 3.0+ для уменьшения пауз GC.
• Контейнерная осведомленность: GC адаптируется под лимиты памяти в контейнерах.
• Поколение Pinned Object (POH) в .NET 5+ для специальных сценариев.

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