[cpp-threads] Causality on more than two processors, write atomicity

[Alexander Terekhov]

On 9/3/05, Alexander Terekhov <alexander.terekhov at gmail.com> wrote:
[...]
> Itanic defines "remote write atomicity" for st.rel to WB memory only.

That's in addition to a single total order for semas (irrespective of acq/rel).

FYI:

http://www.opengroup.org/austin/mailarchives/ag-review/msg01962.html

regards,
alexander.