Boost C++ Libraries: Ticket #5844: read_write_mutex.cpp: suffers race condition https://svn.boost.org/trac10/ticket/5844 <p> It appears race conditions exist in read_write_mutex.cpp. </p> <p> class adjust_count, class adjust_dual_count, read_write_mutex_impl&lt;Mutex&gt;::do_read_unlock(). Example from adjust_dual_count: </p> <pre class="wiki">void adjust_now(void) { BOOST_ASSERT(max_count_ &gt;= count_); if (adjust_) { BOOST_ASSERT(max_count_ &gt; 0); if (count_ &gt; 0) --count_; if (max_count_ &gt; 0) --max_count_; } else { BOOST_ASSERT(max_count_ &gt;= 0); } adjust_ = false; } </pre> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/5844 Trac 1.4.3 Jeffrey Walton <noloader@…> Wed, 31 Aug 2011 00:48:00 GMT component changed; owner set https://svn.boost.org/trac10/ticket/5844#comment:1 https://svn.boost.org/trac10/ticket/5844#comment:1 <ul> <li><strong>owner</strong> set to <span class="trac-author">Anthony Williams</span> </li> <li><strong>component</strong> <span class="trac-field-old">None</span> → <span class="trac-field-new">thread</span> </li> </ul> Ticket viboes Fri, 02 Dec 2011 22:32:35 GMT owner, status changed; cc set https://svn.boost.org/trac10/ticket/5844#comment:2 https://svn.boost.org/trac10/ticket/5844#comment:2 <ul> <li><strong>cc</strong> <span class="trac-author">viboes</span> added </li> <li><strong>owner</strong> changed from <span class="trac-author">Anthony Williams</span> to <span class="trac-author">viboes</span> </li> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">assigned</span> </li> </ul> <p> Hi, </p> <p> sorry but I don't understand. Where is the file read_write_mutex.cpp? </p> Ticket viboes Sun, 04 Dec 2011 15:40:03 GMT type changed https://svn.boost.org/trac10/ticket/5844#comment:3 https://svn.boost.org/trac10/ticket/5844#comment:3 <ul> <li><strong>type</strong> <span class="trac-field-old">Bugs</span> → <span class="trac-field-new">Support Requests</span> </li> </ul> Ticket viboes Mon, 12 Dec 2011 22:52:02 GMT status changed; resolution set; milestone deleted https://svn.boost.org/trac10/ticket/5844#comment:4 https://svn.boost.org/trac10/ticket/5844#comment:4 <ul> <li><strong>status</strong> <span class="trac-field-old">assigned</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">invalid</span> </li> <li><strong>milestone</strong> <span class="trac-field-deleted">To Be Determined</span> </li> </ul> <p> Reopen it once you have clarified the file. </p> Ticket