Ho a che fare con un sacco di programmazione multithread sul lavoro. Nello specifico, voglio sapere come il modello di memoria ARM differisce da IA64. Entrambi sono modelli molto deboli, ma ci sono delle differenze specifiche che dovrei sapere? Conosco ia64, non con il braccio.In che modo il modello di memoria del braccio è diverso da ia64?
Ho la stessa domanda, e mentre non ho trovato la risposta del tutto, questo documento potrebbe essere utile: Reasoning about the ARM weakly consistent memory model
Nella sezione Ulteriori lavoro, sembra implicare che nessuno (anche a ARM, dal momento che ha scritto il giornale) ha risposto alla domanda formale:
... ci sono diversi completezza domande che dobbiamo rispondere. In che modo il modello assiomatico si integra con il modello operativo ? ... E qual è l'incorporamento preciso del modello ARM in Alpha, Intel, JMM?
Aggiornamento: un'occhiata anche a Memory Barriers: a Hardware View for Software Hackers da Paul McKenney. Descrive i tipi di riordino dell'accesso alla memoria che i vari processori fanno e quali istruzioni sono disponibili per recintare gli accessi.
http://en.wikipedia.org/wiki/Memory_ordering potrebbe rispondere alla tua domanda. Dalla tabella mostra, sembra che ARMv7 abbia lo stesso IA64.