Is Alpha non-other-multicopy atomic?

[Ignacio Encinas Rubio <ignacio@iencinas.com>]

Hello!

I recently looked at memory consistency models with a particular focus on hardware details and
found this book to be great, but I was left wondering about something regarding Alpha's memory 
model. 

I tried to find previous discussions about this but didn't find anything, so I'll go ahead:

Table 15.5: Summary of Memory Ordering states that Alpha is *NOT* Other-Multicopy Atomic but 
I couldn't find the explanation for this. Other sources contradict this statement [1] [2].
[3] Documents ARM's adoption of other-multicopy atomicity, using POWER as an example of 
non-other-multicopy-atomicity but fails to mention Alpha.

Furthermore, [2] models non-other-multicopy-atomicity by having "Read from external" (rfe) not 
impose ordering. Alpha's reference manual [3] Section 5.6.1.5 states 

  If u is a write access Pi:W<m>(x,a) and v is an overlapping read access Pj:R<n>(y,b), u is visible to v only if:
    - u <- v, or
    - u precedes v in processor issue sequence (possible only if Pi=Pj).

Which seems to confirm that Alpha was indeed other-multicopy atomic.

Best regards,
Ignacio


[1] https://arxiv.org/pdf/1707.05923 - First page
[2] http://www0.cs.ucl.ac.uk/staff/j.alglave/these.pdf - Section 4.2.3.1
[3] https://download.majix.org/dec/alpha_arch_ref.pdf