[cpp-threads] memory model

[Doug Lea]

Peter Dimov wrote:
> 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. 
> 
> 

Mostly so. But among the motivations for qualifier is that
the library versions will be difficult to learn, error-prone
to use, and uncheckable for consistency by compilers. If we
find an alternative that doesn't have these problems, then we
ought to reconsider it.

-Doug