read_write_mutex.cpp: suffers race condition

[noloader@…]

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;
}

[viboes]

Hi,

sorry but I don't understand. Where is the file read_write_mutex.cpp?

[viboes]

Reopen it once you have clarified the file.