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 release.
Not the only one such pasto (e.g. "operations coming after ``atomic_store_release()`` can still be reordered before it", the text said "after"). I have fixed all of them. Paolo