Насколько я понимаю, есть два фундаментальных подхода к сборе мусора:
- Copying collectors
- Mark-and-sweep
Оба алгоритма описываются в этой статье. По второму алгоритму автор статьи пишет:
- Объекты аллоцируются в памяти
- Нужно запустить GC
- Приложение приостанавливается
- Сборщик проходится по дереву объектов, помечая живые объекты
- Сборщик проходится по всей памяти, находя все не отмеченные куски памяти, сохраняя их в "free list"
- Когда новые объекты начинают аллоцироватся они аллоцируются в память доступную в "free list"
Если я правильно понимаю, то объекты, которые необходимо удалить, переносятся в "free list". Но где, собственно, происходит удаление этих объектов? Или они явно не удаляются, а просто перезаписываются при создании новых объектов?