Sú zásobníkové štruktúry volaní prípustnými koreňovými objektmi pre automatické riadenie pamäte v systéme zberu odpadu?

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