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

Механизм автоматического управления памятью, например, сборщик мусора в C#, выявляет объекты для удаления, используя алгоритм обхода графа объектов от корневых ссылок (root references). Корневыми считаются объекты, доступные напрямую из стека, статических полей или регистров.

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

Пример:

• Стек вызовов содержит ссылки на объекты A и B.
• Объект C не достижим из стека или статических полей.
• Значит, C считается мусором и будет удалён.