Сборка муссора в C#

Корни — это объекты, с которых начинает строиться граф объектов.

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

Рассмотрим пример со статическим свойством.

public class Foo
{
    public static Bar Bar { get; set; } = new Bar();
}
public class Bar
{
    public string Baz { get; set; }
    public string Qux { get; set; }
    . . .
}

Здесь Foo.Bar — статическое свойство, в котором хранится ссылка на объект Bar, где находятся строки Baz и Qux.

При сборке мусора Foo.Bar это активный корень, и все объекты, доступные из него, будут считаться используемыми.

Обнулим свойство:

Foo.Bar = null;

У нас в памяти остались объект Bar, и строки Baz и Qux. Но теперь на них нет ссылок ниоткуда. Когда сборщик мусора в следующий раз будет строить граф используемых объектов, он их не найдёт и не пометит.

Поэтому сборщик очистит память, которую занимают все три объекта. Важно помнить, что адрес объекта Bar в этот момент не хранится ни в статическом поле, ни в локальной переменной. И — по определению — он уже не корень.

Имхо, нет такого понятия, как "неактивные корни" так как корень у приложения один. Правильнее говорить "недостижимые объекты из корня приложения."

Статика не очищается. Очистка статики происходит лишь при выгрузке домена.

Ресурсы системы тоже автоматически не вычитаются => если взяли какой-то дескриптор у системы через WinAPI, то вы должны его вернуть. В противном случае утечка ресурсов.

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