[cpp-threads] Another strawman memory model proposal

[Peter Dimov]

- There is a sequence point between unlock on a mutex and a subsequent lock 
on the same mutex.

- 1.9/8 does not apply to functions that are executed in a separate thread. 
There is no sequence point between the end of such function and the 
evaluation of expressions outside this function.

- There is a sequence point between the end of a function executed in a 
separate thread and a join action or a successful try_join action on that 
thread.

- There is a sequence point between an atomic store and a subsequent atomic 
load of the same variable.

- There is a sequence point immediately before an atomic operation with 
release semantics.

- There is a sequence point immediately after an atomic operation with 
acquire semantics.

--
Peter Dimov
http://www.pdimov.com