> -- Madzi писал(а):
> Для того чтобы можно было обсуждать сборку мусора в многопоточной среде в Обероне, нужно чтобы в Обероне была Модель Памяти. Но в Обероне нет Модели Памяти, соответственно обсуждать пока нечего. Например,  очень похожа на ...
Просмотрел ссылки про "Модель Памяти". Как мне показалось, там больше не про память, а про модель параллельности: параллельность с общей памятью и про оптимизирующие компиляторы (или о ужас! процессоры!), которые могут переупорядочивать инструкции. А далее уже идут следствия, что если есть два потока, а инструкции внутри этих потоков упорядочены не так, как задумал программист, то "можно свободно ожидать чего угодно". А чтобы не было "чего угодно", то надо использовать синхронизирующие примитивы.

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