Wie ist der Arm Speichermodell unterscheidet sich von ia64?

Question

Ich habe mit vielen Multithread-Programmierung bei der Arbeit beschäftigen. Insbesondere möchte ich von IA64, wie die ARM-Speichermodell unterscheidet sich kennen. Beide sind sehr schwach Modelle, aber gibt es spezifische Unterschiede, dass ich wissen sollte? Ich bin vertraut mit ia64, nicht mit dem Arm.

Answer 1

Ich habe die gleiche Frage, und während ich habe nicht ganz die Antwort gefunden, kann dieses Papier nützlich sein: Reasoning über die ARM schwach konsistentes Speichermodell

Im weiteren Arbeitsabschnitt, so scheint es zu bedeuten, dass niemand (auch bei ARM, da sie das Papier geschrieben) die Frage formell beantwortet hat:

... gibt es mehrere Vollständigkeit Fragen müssen wir beantworten. Wie funktioniert die axiomatischen Modell fit in mit der Betrieb eines? ... Und was ist das präzise Einbettung des ARM-Modell in Alpha, Intel, JMM?

Update: Schauen Sie auch unter Memory Barriers: eine Hardware-Ansicht für Software Hacker von Paul McKenney. Es werden die Arten von Zugriffsspeicher Neuordnen, dass verschiedene Prozessoren tun und welche Anweisungen sind die Zugriffe auf Zaun zur Verfügung. Insbesondere beachten Sie Tabelle 5 auf Seite 16, die die erlaubten Umordnungen für jede Architektur zusammenfasst. ARMv7, IA64, Macht und SPARC RMO alle teilen die gleichen Eigenschaften, nämlich, dass es ohne eine Barriere, alles außer abhängigen Lasten neu geordnet werden können.

Answer 2

http://en.wikipedia.org/wiki/Memory_ordering könnte Ihre Frage beantworten. Aus der Tabelle es zeigt, scheint es ARMv7 die gleiche wie IA64 hat.