[cpp-threads] C++ memory model

[Nelson, Clark]

> > I think it would be helpful to see an example of a program for which
> > this sentence might be considered relevant.
> 
>     while( x );
> 
> ?
> 
>     while( !x.compare_exchange_weak( &t, t+1 ) );
> 
> ?

OK. Now it's clear what the standard says about the way these are executed in the abstract machine. By what sort of "as-if" logic might an implementation decide it could move the references out of the loop?

Clark