id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
5844,read_write_mutex.cpp: suffers race condition,noloader@…,viboes,"It appears race conditions exist in read_write_mutex.cpp.

class adjust_count, class adjust_dual_count, read_write_mutex_impl<Mutex>::do_read_unlock(). Example from adjust_dual_count:

{{{
void adjust_now(void)
{
  BOOST_ASSERT(max_count_ >= count_);

  if (adjust_)
  {
    BOOST_ASSERT(max_count_ > 0);
    if (count_ > 0)
      --count_;
    if (max_count_ > 0)
      --max_count_;
  }
  else
  {
    BOOST_ASSERT(max_count_ >= 0);
  }
  adjust_ = false;
}
}}}
",Support Requests,closed,,thread,Boost 1.47.0,Problem,invalid,,viboes