Re: [PATCH 2/5] atomics: update documentation

2020-04-07 Thread Paolo Bonzini
On 07/04/20 17:25, Richard Henderson wrote: > On 4/7/20 7:07 AM, Paolo Bonzini wrote: >> +- release operations will appear to happen, with respect to the other >> + components of the system, after all the LOAD or STORE operations >> + specified afterwards. > "specified before", not after for rele

Re: [PATCH 2/5] atomics: update documentation

2020-04-07 Thread Richard Henderson
On 4/7/20 7:07 AM, Paolo Bonzini wrote: > +- release operations will appear to happen, with respect to the other > + components of the system, after all the LOAD or STORE operations > + specified afterwards. "specified before", not after for release. Otherwise, Reviewed-by: Richard Henderson

[PATCH 2/5] atomics: update documentation

2020-04-07 Thread Paolo Bonzini
Some of the constraints on operand sizes have been relaxed, so adjust the documentation. Deprecate atomic_mb_read and atomic_mb_set; it is not really possible to use them correctly because they do not interoperate with sequentially-consistent RMW operations. Finally, extend the memory barrier pai