[cpp-threads] Somewhat relevant technical report

[Alexander Terekhov]

On 12/18/05, Hans Boehm <Hans.Boehm at hp.com> wrote:
> Where does the standard say that such locks can be removed?
>
> It states that pthread_mutex_lock() synchronizes memory unless it fails.

The standard doesn't define the term "synchronize memory". The entire point of

http://www.opengroup.org/austin/mailarchives/ag-review/msg01875.html

(and subsequent DRs) was to get id of *not defined* term "memory
synchronization".

http://www.opengroup.org/austin/mailarchives/ag/msg07649.html
http://www.opengroup.org/austin/mailarchives/ag/msg07651.html
http://www.opengroup.org/austin/mailarchives/ag/msg07653.html

regards,
alexander.