Мне приходится иметь дело с большим количеством многопоточных программ на работе. В частности, я хочу знать, как модель памяти ARM отличается от IA64. Обе модели очень слабые, но есть ли какие-то конкретные различия, о которых я должен знать? Я знаком с ia64, а не с рукой.Как модель памяти руки отличается от ia64?
У меня есть один и тот же вопрос, и пока я полностью не нашел ответ, эта статья может быть полезной: Reasoning about the ARM weakly consistent memory model
В разделе Дальнейшая работа, по-видимому, подразумевает, что ни один (даже на ARM, так как они написали документ) ответил на вопрос формально:
... есть несколько завершенных вопросов вопросов, на которые нам нужно ответить. Как аксиоматическая модель вписывается в операционный ? ... А что такое точное встраивание модели ARM в Alpha, Intel, JMM?
Update: Также обратите внимание на Memory Barriers: a Hardware View for Software Hackers Пола McKenney. В нем обсуждаются типы переупорядочения доступа к памяти, которые выполняются различными процессорами и какие инструкции доступны для защиты доступа.
http://en.wikipedia.org/wiki/Memory_ordering может ответить на ваш вопрос. Из таблицы видно, что ARMv7 имеет то же самое, что и IA64.