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