I have the same question, and although I did not find a complete answer, this article may be useful: a discussion of a weakly consistent ARM memory model
The section โFurther workโ seems to imply that no one (even in ARM, since they wrote the article) formally answered the question:
... , . ?... ARM Alpha, Intel, JMM?
: : . , , . , 5 16, . ARMv7, IA64, POWER SPARC RMO , , , , .