[cpp-threads] New strawman proposal

[Peter Dimov]

Doug Lea wrote:
> 3. The first test of the approach will be to create tables
> of synchronizing operations that define the relations.
> Offhand, it seems necessary to do this as a full N X N
> table, where N is the number of synchronizing operations
> (plus rows/cols for non-synchronizing ones?). Maybe the
> advocates of 16-fold atomic operations would like to
> try to create such tables and see if they come out sensibly?

I haven't found a way to express granular atomics with happens-before, but I 
may be missing something.