Для того чтобы можно было обсуждать сборку мусора в многопоточной среде в Обероне, нужно чтобы в Обероне была Модель Памяти. Но в Обероне нет Модели Памяти, соответственно обсуждать пока нечего. Например,Модель Памяти Goочень похожа наМодель Памяти Javaдля которой существует большое количестворазнообразных сборщиков мусора. Современные сборщики мусора умеют почти обходиться без "остановки мира", собирая мусор в отдельном потоке.

Если язык допускает превращение произвольного адреса в ссылку, то сборщик мусора здесь не поможет.