arm内存模型与ia64有何不同？

Question

我必须在工作中处理许多多线程编程。具体来说，我想知道ARM内存模型与IA64的区别。两者都是非常弱的模型，但是我应该知道哪些具体的差异？我熟悉ia64，而不是手臂。

Answer 1

我有同样的问题，虽然我还没有完全找到答案，但本文可能很有用：Reasoning about the ARM weakly consistent memory model

在“进一步工作”部分，似乎暗示没有人（即使在ARM，因为他们撰写论文）已正式回答了这个问题：

  

......有几个完整性   我们需要回答的问题。如何   公理模型适合于   运作一个？ ......那是什么？   精确嵌入ARM模型   进入Alpha，英特尔，JMM？

更新：另请参阅Paul McKenney撰写的Memory Barriers: a Hardware View for Software Hackers。它讨论了各种处理器执行的内存访问重新排序的类型以及可用于限制访问的指令。特别是，请注意第16页的表5，其中总结了每种体系结构允许的重新排序。 ARMv7，IA64，POWER和SPARC RMO都具有相同的特性，即没有屏障，除了依赖负载之外的任何东西都可以重新排序。

Answer 2

http://en.wikipedia.org/wiki/Memory_ordering可能会回答您的问题。从它显示的表中可以看出，ARMv7与IA64相同。