Что такое "корневая ссылка"?

Это означает корень GC.

Прочтите Эту статью, может быть, это поможет вам понять:

Корни GC не являются объектами сами по себе, а являются ссылками на объекты. Любой объект, на который ссылается корневой каталог GC, автоматически переживет следующую сборку мусора. Существует четыре основных вида корня в .NET:

Локальная переменнаяв методе, который в данный момент выполняется , считается корнем GC. Объекты, на которые ссылается к этим переменным всегда можно получить немедленный доступ с помощью метода, в котором они объявлены, и поэтому они должны быть сохранены. Время жизни этих корней может зависеть от способа построения программы. В отладочных построениях локальная переменная сохраняется до тех пор, пока метод находится в стеке. В построениях выпуска JIT может посмотреть на структуру программы, чтобы определить последнюю точку в выполнении, что переменная может использоваться методом, и отбросить ее, когда она больше не требуется. Эта стратегия не всегда используется и может быть отключена, например, при запуске программы в отладчике.

Статические переменные также всегда считаются корнями GC. Объекты, на которые они ссылаются, могут быть доступны в любое время классом, объявившим их (или остальной частью программы, если они являются общедоступными), поэтому .NET всегда будет держать их рядом. Переменные, объявленные как "поток статический", будут существовать только до тех пор, пока этот поток выполняется.

Если управляемый объект передается в неуправляемая библиотека COM+ через interop , то она также станет корнем GC с количеством ссылок. Это происходит потому, что COM+ не выполняет сборку мусора: вместо этого он использует систему подсчета ссылок; как только библиотека COM+ завершает работу с объектом, устанавливая счетчик ссылок равным 0, он перестает быть корнем GC и может быть собран снова.

Еслиобъект имеет финализатор , он не удаляется немедленно, когда сборщик мусора решает, что он больше не "живой". Вместо этого он становится особым видом корня, пока .NET не вызовет метод finalizer. Это означает, что для удаления этих объектов из памяти обычно требуется более одной сборки мусора, так как они выживут в первый раз, когда их обнаружат неиспользуемыми.

(Курсив мой)