我必须在工作中处理很多多线程编程。具体来说，我想知道 ARM 内存模型与 IA64 有何不同。两者都是非常弱的模型，但是我应该了解哪些具体差异？我熟悉 ia64，而不是 arm。
最佳答案
我有同样的问题，虽然我还没有完全找到答案，但这篇论文可能有用:Reasoning about the ARM weakly consistent memory model
在进一步工作部分，似乎暗示没有人(即使在 ARM，因为他们写了论文)正式回答了这个问题:
... there are several completeness questions we need to answer. How does the axiomatic model fit in with the operational one? ... And what is the precise embedding of the ARM model into Alpha, Intel, JMM?
更新:还看Memory Barriers: a Hardware View for Software Hackers保罗·麦肯尼。它讨论了各种处理器执行的内存访问重新排序的类型以及哪些指令可用于保护访问。请特别注意第 16 页上的表 5，该表总结了每种架构允许的重新排序。 ARMv7、IA64、POWER 和 SPARC RMO 都具有相同的特性，即没有障碍，除了依赖负载之外的任何东西都可以重新排序。
关于architecture - arm内存模型与ia64有何不同？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3578587/