Что происходит с программой когда включается сборщик мусора?

Внутренний механизм сборки мусора в .NET

Когда в программе .NET запускается сборщик мусора (Garbage Collector, GC), происходит сложный процесс управления памятью, направленный на освобождение ресурсов, занятых объектами, которые стали недостижимыми. Это не просто "удаление" объектов, а многоступенчатый алгоритм, обеспечивающий баланс между производительностью и использованием памяти.

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

1. Фаза маркировки (Marking Phase)

GC начинает работу с корневых объектов (roots) — это ссылки в стеке вызовов, статические поля и ссылки из финализируемых объектов. Алгоритм проходит по всем достижимым объектам в графе ссылок, "маркируя" их как живые.

// Пример: GC анализирует граф ссылок
class Node { public Node Next; }
var root = new Node();
root.Next = new Node(); // Создается граф объектов
// При сборке мусора начнет с root, затем проверит root.Next

2. Фаза компоновки (Plan Phase)

На этой стадии GC определяет стратегию очистки на основе типа сборки (эпическая/фоновая) и анализирует разрыв между поколениями объектов.

3. Фаза перемещения (Relocate Phase)

Обновляются ссылки на объекты, которые будут перемещены в памяти во время следующей фазы.

4. Фаза компактизации (Compact Phase)

Живые объекты перемещаются в начало памяти, устраняя "дыры" и освобождая непрерывные блоки. Это предотвращает фрагментацию памяти.

// До компактизации: память [объект1][пусто][объект2]
// После компактизации: память [объект1][объект2][пусто]

5. Фаза очистки (Sweep Phase)

Память, занятая неотмаркированными (мертвыми) объектами, окончательно освобождается и возвращается в пул доступной памяти.

Что происходит с программой во время GC?

Влияние на потоки выполнения

• Потоки приложения временно останавливаются во время эпической сборки мусора (для поколений 0 и 1). Это необходимо для безопасного обновления ссылок.
• Фоновая сборка мусора (Background GC) для поколения 2 работает параллельно, минимизируя паузы, но тонкие остановки могут возникать.
• GC сам управляет этими паузами, стараясь сократить их продолжительность.

Особенности для разных поколений объектов

.NET использует generational GC, разделяя объекты на три поколения:

• Generation 0: Кратковременные объекты. Сборка происходит чаще, очень быстрая.
• Generation 1: "Буферные" объекты, которые survived сборку Gen0.
• Generation 2: Долгоживущие объекты (например, статические данные). Сборка наиболее затратная.

// Объект перемещается по поколениям
var obj = new object(); // Создается в Gen0
GC.Collect(0); // Если obj survives, переходит в Gen1
GC.Collect(1); // Если obj survives again, переходит в Gen2

Финализация (Finalization)

Если объект реализует финализатор (finalize), он не удаляется сразу:

• GC помечает его как мертвый и перемещает в очередь финализации.
• Позже отдельный поток финализатора вызывает метод Finalize, после чего объект окончательно удаляется.

class Resource 
{
    ~Resource() { /* финализатор */ }
}
// При сборке: сначала в очередь финализации, затем очистка

Возможные побочные эффекты для программы

• Паузы (Latency): Основное влияние — остановка потоков, что может повлиять на responsiveness приложения, особенно при частых сборках Gen0.
• Изменение адресов объектов: После компактизации физические адреса объектов меняются, GC обновляет все ссылки.
• Повышение CPU utilization: Сам процесс GC потребляет процессорное время, особенно при полных сборках.

Оптимизации и особенности в современных .NET

• Background GC в .NET Core/5+ значительно снижает паузы для долгоживущих объектов.
• GC регионы (региональный GC) для больших объектов (Large Object Heap — LOH) минимизируют фрагментацию.
• Настройки режима GC: Серверный, рабочий станции, могут выбираться для баланса throughput/latency.

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