[cpp-threads] memory model

[Peter Dimov]

Doug Lea wrote:
>> I think that these options do not cover the whole spectrum.
>
> The now-usual request: Could you flesh out your alternative into an
> informal proposal and show it in common examples so people
> can decide whether to pursue it?

I'll try, but this is not strictly relevant to the discussion at hand. It is 
already agreed that some mechanism of specifying finer-grained atomic 
operations should be available (right?), and the question is whether a 
qualifier-based approach should be provided in addition to this mechanism.