Does transition_and_fence really assume TSO?

[Andrew Haley]

On 03/08/16 01:25, David Holmes wrote:
>> The "assumes total store ordering!" comment is rather alarming.  My
>> > processor is not TSO.  But as far as I can see, all this really
>> > requires is single-variable coherency.  Is that right?
> That comment is pre-historic. The code does not assume TSO. There is a 
> direct, or implicit, full fence between the two stores:

Mmm, that's what I thought.  Thanks for confirming!

Andrew.