Какие поколения управляемой кучи .NET (GC) существуют и как объекты переходят между ними?

Поколения управляемой кучи .NET и продвижение объектов между ними

• В управляемой куче .NET предусмотрены три поколения: Gen 0, Gen 1 и Gen 2
• Gen 0 предназначено для недавно созданных объектов и очищается быстро и часто
• Gen 1 выполняет роль промежуточного буфера между краткоживущими и долгоживущими объектами
• В Gen 2 находятся долгоживущие объекты; это поколение собирается реже, а его очистка требует больше ресурсов
• Каждый новый объект помещается в Gen 0, а переживший сборку мусора объект перемещается в Gen 1
• Если объект продолжает оставаться живым, после этого он переходит из Gen 1 в Gen 2
• Такое продвижение позволяет реже обрабатывать старые объекты и повышает эффективность работы GC
• Этот принцип лежит в основе генерационного сборщика: он уменьшает затраты на очистку кучи и ускоряет приложение

Модель особенно эффективна для приложений, где преобладают кратковременные объекты и лишь небольшая часть объектов живёт долго, поскольку она сокращает паузы сборки мусора.

Подробный ответ

Основной ответ

В .NET CLR Garbage Collector (GC) управляемая куча организована по трём поколениям: Gen 0, Gen 1 и Gen 2. Они характеризуют предполагаемую продолжительность жизни объектов и определяют подход к освобождению памяти. Молодые поколения обрабатываются чаще и быстрее, а старшие — реже: объекты, которые уже долго существуют, с большей вероятностью продолжат использоваться.

Новый объект создаётся в Gen 0. Если во время GC Gen 0 он остаётся живым, объект продвигается в Gen 1. Пережив сборку Gen 1, он аналогичным образом переходит в Gen 2. Это "старшее" поколение очищается существенно реже, благодаря чему сокращается объём работы по перемещению объектов, которые с высокой вероятностью ещё долго будут нужны приложению.

Ключевые моменты

• Назначение поколений: Gen 0 хранит короткоживущие объекты, Gen 1 служит промежуточным поколением, а Gen 2 предназначено для долгоживущих объектов.
• Promotion (продвижение): после сборки мусора оставшиеся живыми объекты переводятся в старшее поколение, что избавляет GC от дорогостоящей повторной проверки часто используемых объектов.
• Large Object Heap (LOH) представляет отдельный пул для крупных объектов (>85КБ). Объектам в LOH поколение не назначается, поэтому они собираются реже — обычно во время полной сборки Gen 2.
• Поколенческий GC снижает расход ресурсов: вместо регулярной полной проверки всей кучи он позволяет повысить производительность приложений с большим количеством объектов.

Практический контекст

В прикладных проектах, например в ASP.NET Core 6+, такой подход помогает избегать частых полных сборок мусора и снижать latency примерно до 10–50 мс для Gen 0, что особенно важно для высоконагруженных web-сервисов. Знание поколенческой модели GC позволяет управлять созданием объектов и сроком их жизни, в том числе не допускать ненужного "проживания" в Gen 2, способного увеличить паузы сборки мусора.