Расскажи, как работает сборка мусора (Garbage Collection) в управляемых языках программирования.

Сборка мусора (Garbage Collection, GC) — это автоматическое управление памятью, которое ищет и освобождает память, занятую объектами, которые больше не используются программой.

Основные принципы работы GC:

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

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

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

Типы алгоритмов GC:

• Reference Counting (Подсчет ссылок): Каждый объект имеет счетчик ссылок на него. Когда счетчик достигает нуля, объект считается "мусором". Прост в реализации, но не справляется с циклическими ссылками.
• Mark and Sweep (Пометка и удаление):
  • Marking (Пометка): Начиная от "корней", GC обходит граф объектов и помечает все "живые" объекты.
  • Sweeping (Удаление): GC проходит по всей куче памяти и освобождает место, занятое непомеченными объектами. Может приводить к фрагментации памяти.
• Mark and Compact (Пометка и сжатие): После пометки "живых" объектов, GC перемещает