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

Основные подходы реализации GC:

Подсчёт ссылок (Reference Counting) — каждому объекту ведётся счётчик ссылок. Когда счётчик достигает нуля, объект удаляется. Недостаток — не работает с циклическими ссылками.
Маркировка и очистка (Mark-and-Sweep) — GC сначала помечает все доступные объекты, затем очищает все непомеченные, считая их мусором.
Копирование (Copying Collector) — память делится на две области, активные объекты копируются из одной области в другую, освобождая старую.
Поколенческий GC (Generational GC) — объекты делятся на поколения по времени жизни, чаще очищается молодое поколение, что повышает эффективность.

В Android, например, используется Dalvik/ART с поколенческим GC, который работает в фоне, минимизируя задержки и предотвращая утечки памяти.

Каким образом реализуется автоматическая сборка мусора в языках программирования?