В C# механизм автоматического управления памятью — это сборщик мусора (Garbage Collector, GC). Он выявляет объекты, недоступные для использования, с помощью обхода графа объектов, начиная с корневых ссылок (roots), таких как статические переменные, локальные переменные в стеке и т.п.

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

Примерно процесс выглядит так:

GC начинает с корневых ссылок и помечает все достижимые объекты.
Все объекты, которые не были помечены, считаются недоступными.
Память, занимаемая недоступными объектами, освобождается.

Таким образом, сборщик мусора автоматически очищает память от объектов, которые программа больше не использует.

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