Алгоритмы сборки мусора

Коротко: Сборщик мусора автоматически освобождает память недостижимых объектов. Методы — подсчёт ссылок, mark-and-sweep и поколенческие сборщики.

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