Когда инициируется сборка мусора

Сборка мусора (Garbage Collection, GC) в .NET инициируется автоматически средой CLR (Common Language Runtime) в нескольких случаях: при недостатке памяти, при достижении порога выделения для поколения, при низком уровне системной памяти, при завершении приложения, а также может быть вызвана явно через GC.Collect(). Основной принцип — минимизировать вмешательство разработчика, поэтому в большинстве случаев GC работает сам, и явные вызовы не рекомендуются.

Как это работает

GC управляет памятью в управляемой куче, которая разделена на поколения (0, 1, 2). Новые объекты попадают в поколение 0. Когда поколение 0 заполняется, происходит сборка мусора поколения 0: выжившие объекты перемещаются в поколение 1. Аналогично, при заполнении поколения 1, выжившие объекты переходят в поколение 2. Сборка поколения 2 — это полная сборка всей кучи.

CLR отслеживает объем выделенной памяти для каждого поколения. Когда выделение нового объекта приводит к превышению порога для поколения 0, запускается сборка поколения 0. Если после этого памяти все еще недостаточно, может быть запущена сборка поколения 1 или 2.

Когда инициируется сборка мусора

1. Недостаток памяти: Когда приложение запрашивает память для нового объекта, а в куче недостаточно свободного места, CLR запускает GC, чтобы освободить память от недостижимых объектов.
2. Достижение порога поколения: Для каждого поколения существует порог выделения. При его достижении запускается сборка соответствующего поколения.
3. Низкий уровень памяти в системе: Если операционная система сообщает CLR о нехватке памяти, GC может быть запущен для освобождения памяти в пользу системы.
4. Завершение приложения: При завершении работы приложения CLR выполняет финальную сборку мусора для очистки всех управляемых объектов.
5. Явный вызов GC.Collect(): Разработчик может принудительно запустить сборку мусора, но это обычно не рекомендуется, так как может негативно сказаться на производительности.

Пример

В большинстве случаев разработчику не нужно вызывать GC вручную. Однако иногда возникает соблазн вызвать GC.Collect() после освобождения больших ресурсов. Рассмотрим пример:

// Явный вызов сборки мусора (обычно не рекомендуется)
GC.Collect();
GC.WaitForPendingFinalizers(); // ожидание завершения финализаторов

Лучше полагаться на автоматический механизм. Если нужно освободить неуправляемые ресурсы, используйте паттерн IDisposable и оператор using.

Подводные камни

• Производительность: Частые вызовы GC.Collect() могут привести к снижению производительности, так как сборка мусора требует времени и может вызвать паузы в работе приложения.
• Преждевременная сборка: Явный вызов GC может переместить объекты в старшие поколения раньше времени, что увеличит частоту полных сборок.
• Финализаторы: Объекты с финализаторами требуют дополнительной обработки: они попадают в очередь финализации и переживают как минимум одну сборку, что замедляет освобождение памяти.

Когда использовать явный вызов

Явный вызов GC.Collect() оправдан в редких случаях, например, при тестировании утечек памяти или в приложениях с очень специфическими требованиями к памяти. В production-коде лучше избегать его, полагаясь на автоматическое управление памятью CLR.

Коротко

• GC запускается автоматически при нехватке памяти, достижении порога поколения, низком уровне системной памяти и завершении приложения.
• Явный вызов GC.Collect() возможен, но не рекомендуется из-за риска снижения производительности.
• Поколения (0, 1, 2) помогают оптимизировать сборку: короткоживущие объекты собираются чаще.
• Для освобождения неуправляемых ресурсов используйте IDisposable, а не ручную сборку мусора.