Как работает сборщик мусора (Garbage Collection) в .NET?

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

Представь себе, что твоя оперативка — это твоя квартира. А ты в ней — натуральный свинтус. Кидаешь носки, пустые пачки от сигарет, обёртки от шоколадок. Заходишь в комнату — хуяк, хлам на полу. И вот живёшь ты так, пока совсем не начинаешь тонуть в этом дерьме.

А потом приходит Сборщик Мусора. Это не какой-то там дворник-алкаш, а крутой, прокачанный робот-уборщик с искусственным интеллектом. Его основная задача — находить в твоей берлоге хлам, который тебе уже нахуй не упёрся, и выносить его на помойку, чтобы можно было дышать и вообще жить.

Как этот робот работает, или деление на поколения (Generations)

Он не тупой, он умный. Он знает, что не весь хлам одинаковый. Поэтому он разделил твою квартиру на три зоны:

1. Gen 0 (Поколение 0) — Прихожая. Туда ты скидываешь всё, что только что принёс с улицы: чек из магазина, фантик, использованную маску. Этот хлам живёт секунды. Робот заходит сюда часто и быстро, пылесосит — и прихожая снова чистая. С объектами в коде так же: локальная переменная в методе, результат на пару строк — они создались, отработали и почти сразу стали никому не нужны. Их сборка — дешёвая и быстрая. Не бойся их создавать, это нормально!

2. Gen 1 (Поколение 1) — Коридор. Это буфер, промежуточная зона. Если тот фантик из прихожей каким-то чудом не выкинули (например, ты его в карман куртки сунул, а куртка висит в коридоре), то он переезжает сюда. Сборка здесь происходит реже.

3. Gen 2 (Поколение 2) — Завал на балконе/в кладовке. Сюда попадает тот хлам, который ты тащишь годами: старый монитор, коробка от гироскутера, три сломанных дрели. Это — долгоживущие объекты. Твой кэш данных, синглтоны, статические коллекции. Уборка здесь — это пиздец какой стресс. Роботу надо разобрать эту кучу, выкинуть старьё, а остальное аккуратно сложить. Это долго, тяжело и тормозит всю систему. Поэтому главное правило: не засирай Gen 2 без крайней нужды. Если засунул туда кэш — сделай ему механизм очистки, а то он там будет вонять до скончания времён.

4. LOH (Large Object Heap) — Гараж/Подвал. Отдельная, огромная камера хранения для объектов больше 85 КБ. Большой массив байт, здоровенная bitmap-картинка. Собирается вместе с уборкой балкона (Gen 2), но обычно без уплотнения — просто выкидывает мусор, а дыры так и остаются дырами.

Что делает робот-уборщик, когда приходит? Фазы работы

1. Пометка (Marking). Он начинает с корней (roots). Корни — это как ключевые точки в квартире: твой рабочий стол (статические поля), карманы на тебе (локальные переменные в стеке), твои руки (регистры процессора). Он смотрит: вот от стола идёт ссылка на ноутбук, от ноутбука — на зарядку. Всё, что можно достичь по цепочке от корней — живое. Всё остальное — хлам. Он помечает его крестиком, типа «на выброс».

2. Перемещение и Сжатие (Relocation/Compaction). Особенно для Gen 0 и 1. Он берёт всё живое из прихожей и аккуратно переносит в коридор, упаковывая плотно к одной стене. Освобождается цельный, чистый кусок памяти. Все указатели (адреса) на эти объекты он, умница, попутно обновляет.

3. Освобождение (Sweeping). Всё, что помечено как хлам, отправляется в небытие. Память свободна.

А теперь, блядь, практические выводы для твоего кода

• Не забивай голову мелочью. Создавать мелкие, короткоживущие объекты в методах — это нормально и дёшево. GC для того и заточен, чтобы их быстро утилизировать.
• Держи в чистоте свой «балкон» (Gen 2). Задумайся, прежде чем пихать что-то в статическую коллекцию. А оно точно должно жить вечно? Может, стоит почистить иногда? Иначе однажды твоё приложение схватит полную, тотальную паузу на секунду-две, и все пользователи подумают, что оно сдохло.
• Реализуй IDisposable для всего, что пахнет «неуправляемым». GC — крутой, но он убирает только свой, управляемый мусор. Открытые файлы, сокеты, хендлы окон, подключения к базам — это всё не его епархия. За это отвечаешь ты сам. Паттерн using — твой лучший друг.

  // Вот так надо, блядь. Красиво и безопасно.
  using (var fileStream = new FileStream("file.txt", FileMode.Open))
  using (var reader = new StreamReader(fileStream))
  {
      var content = reader.ReadToEnd();
  } // Здесь автоматически вызовется Dispose(), даже если посередине вылетит исключение. Ресурс освободится.

• Самое главное: НЕ ВЫЗЫВАЙ GC.Collect() САМОСТОЯТЕЛЬНО! Серьёзно, выкинь эту идею из головы. Ты же не звонишь каждый час в ЖЭК с криком «Немедленно приезжайте, у меня в прихожей две пылинки!». Ты доверяешь графику уборки. Так и тут. Робот-уборщик умнее тебя, он сам знает, когда пора. Твои ручные вызовы ломают его внутреннюю статистику и почти всегда только вредят производительности, вызывая лишние, тяжёлые уборки.

Итог: GC в .NET — это ёбаный шедевр инженерной мысли. Если ты его понимаешь, ты пишешь быстрый и отзывчивый код. Если нет — рано или поздно получаешь приложение, которое жрёт память как не в себя и периодически встаёт колом. Выбор за тобой.