Architecture arm内存模型与ia64有何不同?

Architecture arm内存模型与ia64有何不同?,architecture,arm,itanium,Architecture,Arm,Itanium,我必须在工作中处理很多多线程编程。具体来说,我想知道ARM内存模型与IA64有什么不同。这两个模型都很弱,但有什么具体的区别我应该知道吗?我熟悉ia64,不熟悉arm。我也有同样的问题,虽然我还没有完全找到答案,但这篇文章可能有用: 在进一步的工作部分,似乎暗示没有人(即使是在ARM,因为他们写了论文)正式回答了这个问题: 。。。有几个完整性 我们需要回答的问题。怎么做 公理化模型符合 行动一号。。。这是什么 ARM模型的精确嵌入 阿尔法,英特尔,JMM 更新:另请看保罗·麦肯尼的作品。它讨论了

我必须在工作中处理很多多线程编程。具体来说,我想知道ARM内存模型与IA64有什么不同。这两个模型都很弱,但有什么具体的区别我应该知道吗?我熟悉ia64,不熟悉arm。

我也有同样的问题,虽然我还没有完全找到答案,但这篇文章可能有用:

在进一步的工作部分,似乎暗示没有人(即使是在ARM,因为他们写了论文)正式回答了这个问题:

。。。有几个完整性 我们需要回答的问题。怎么做 公理化模型符合 行动一号。。。这是什么 ARM模型的精确嵌入 阿尔法,英特尔,JMM


更新:另请看保罗·麦肯尼的作品。它讨论了各种处理器执行的内存访问重新排序的类型,以及可用于限制访问的指令。特别要注意的是,第16页的表5总结了每个架构允许的重新排序。ARMv7、IA64、POWER和SPARC RMO都具有相同的特性,即在没有屏障的情况下,除了依赖负载以外的任何负载都可以重新排序。

可能会回答您的问题。从表中可以看出,ARMv7似乎与IA64相同。

那篇文章中提到的英特尔几乎肯定是指x86,而不是安腾。但是,是的,一般来说,将ARM模型与其他模型进行比较并不是一个已解决的问题(或者在编写时不是)