Как сборщики мусора узнают о ссылках на кадр стека?

Какие методы используют современные сборщики мусора (как в CLR, JVM), чтобы определить, на какие объекты кучи ссылаются из стека?

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