Что такое сборщик мусора (Garbage Collector)?

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

Принципы работы:

• Определение достижимости объектов: Отслеживает объекты, на которые ссылаются живые (доступные) объекты из корней (например, стек потоков).
• Освобождение недостижимых объектов: Объекты, на которые нет ссылок, считаются "мусором" и их память может быть переиспользована.

Типы сборщиков мусора (зависят от языка/платформы):

• Mark and Sweep: Помечает достижимые объекты (маркировка), затем проходит по куче и освобождает не помеченные (очистка). Может приводить к фрагментации памяти.
• Copying: Делит кучу на две части. Копирует живые объекты в новую часть, затем очищает старую. Предотвращает фрагментацию, но требует больше памяти.
• Generational: Разделяет объекты по возрасту на поколения. Чаще собирает мусор в "молодом" поколении, где большинство объектов живут недолго.

Преимущества:

• Снижение вероятности утечек памяти.
• Упрощение разработки (не нужно явно освобождать память).

Недостатки:

• Может вызывать задержки (паузы) в выполнении программы во время сборки.
• Непредсказуемое время сборки.