Ребята, не подскажете, где можно найти подробное описание процесса выявления потерянных сильных ссылок на объекты в контексте стека при сборке мусора? 

Я собираюсь писать на НИРС упрощённую системку времени исполнения типа CLR для .NET Framework и хотел бы познакомиться с деталями существующих реализаций подобных сред. Стоит следующий вопрос. Сборка мусора инициируется кодом, сгенерированным JIT? Т.е. JIT Compiler так строит код, что тот сам при откате стека (выход из контекста) вычленяет потерянные ссылки и вызывает метод GAC для освобождения сильной ссылки? (Такой подход мне кажется простым и логичным). Но, может, GAC – сущность с самостоятельным поведением и каким-то образом сам распознаёт эти ссылки? (туманно и непонятно…). Короче, жду вашего совета или ссылки на соответствующий док. Спасибо.