[cpp-threads] C++ memory model

[Peter Dimov]

Boehm, Hans wrote:

> I'd like to just delete the second senetnce:
>
> "Implementations shall not move an atomic operation out of an
> unbounded loop."

I'd like to cast my vote in favor of the sentence. It does indeed carry 
little formal value, but in practice, it can (easily) settle a hypothetical 
debate between a compiler user and a compiler writer about whether such an 
optimization is allowed.