[boost] Re: [shared_ptr] Interlocked* - possible bug?

Ben Hutchings wrote:

I think the answer is that it cannot change the order of an atomic_read and an atomic update, assuming that the latter uses an Interlocked* operations which includes a full memory barrier, but unfortunately it would be able to change the order of two atomic_reads.

It doesn't matter whether two reads are reordered or not, because they will see the same value regardless of the order.