[cpp-threads] A draft memory model paper

[Alexander Terekhov]

On 8/8/06, Peter Dimov <pdimov at mmltd.net> wrote:
[...]
> On x86, plain load is ld.acq and plain store is st.rel,

Except that IA-64's st.rel obeys remote write atomicity per IA-64
memory model spec, but IIRC there's nothing in IA-32 specs that would
guarantee remote write atomicity (native hardware, not IA-64 mapping
which may well implement stricter memory model with remote write
atomicity property of IA-64's st.rel for simplicity reasons) in
absence of a dummy locked RMW in place of plain load.

regards,
alexander.