У меня тот же вопрос, и хотя я не нашел полного ответа, эта статья может быть полезна: Рассуждения о слабосогласованной модели памяти ARM
В дальнейшей работеВ этом разделе, похоже, подразумевается, что никто (даже в ARM, с тех пор как они написали статью) формально не ответил на вопрос:
... есть несколько вопросов о полноте, на которые мы должны ответить.Как аксиоматическая модель вписывается в операционную?... А каково точное встраивание модели ARM в Alpha, Intel, JMM?
Обновление: Также посмотрите на Барьеры памяти: аппаратное представление дляSoftware Hackers от Пола МакКенни.В нем обсуждаются типы переупорядочения доступа к памяти, которые делают различные процессоры, и какие инструкции доступны для ограничения доступа.В частности, обратите внимание на Таблицу 5 на странице 16, в которой приведены разрешенные переупорядочения для каждой архитектуры.ARMv7, IA64, POWER и SPARC RMO имеют одинаковые характеристики, а именно то, что без барьера все, кроме зависимых нагрузок, может быть переупорядочено.