https://svn.boost.org/trac10/ticket/9527 <p> On <a href="http://www.boost.org/doc/libs/1_55_0/doc/html/atomic/thread_coordination.html">http://www.boost.org/doc/libs/1_55_0/doc/html/atomic/thread_coordination.html</a> </p> <p> In paragraph 'One can however also arrive at the same conclusion using happens-before: Either thread1 or thread2 will succeed first at m.lock(). If this is be thread1, then as a consequence, thread2 cannot succeed at m.lock() before thread1 has executed m.unlock(), consequently A happens-before B in this case. By symmetry, if thread2 succeeds at m.unlock() first, we can conclude B happens-before A." </p> <p> In the last sentence, that should probably be "... if thread2 succeeds at m.lock() first, ...". That is, change "unlock" to "lock". </p> en-us /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/9527 Trac 1.4.3 Andrey Semashev Sat, 17 May 2014 18:07:48 GMT https://svn.boost.org/trac10/ticket/9527#comment:1 https://svn.boost.org/trac10/ticket/9527#comment:1 <ul> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> <p> Fixed in <a class="ext-link" href="https://github.com/boostorg/atomic/commit/7fcb3b18b0e6128f134daf508214a802b5b387e7"><span class="icon">​</span>https://github.com/boostorg/atomic/commit/7fcb3b18b0e6128f134daf508214a802b5b387e7</a>. Thanks. </p> Ticket