[Boost-bugs] [Boost C++ Libraries] #5194: unique_lock::unlock() does not protect modification of is_locked with mutex

Subject: [Boost-bugs] [Boost C++ Libraries] #5194: unique_lock::unlock() does not protect modification of is_locked with mutex
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2011-02-16 09:40:22

#5194: unique_lock::unlock() does not protect modification of is_locked with mutex
-----------------------------------------------------+----------------------
 Reporter:  Andrei Kazarov <Andrei.Kazarov@…>        |       Owner:         
     Type:  Bugs                                     |      Status:  new    
Milestone:  To Be Determined                         |   Component:  None   
  Version:  Boost 1.45.0                             |    Severity:  Problem
 Keywords:                                           |  
-----------------------------------------------------+----------------------
 Shouldn't first is_locked=false and then m->unlock()? Otherwise is_locked
 value is undetermined in case of simultaneous calls to lock() and
 unlock()...

 void unlock()
 {
 ...
 m->unlock();
 is_locked=false;
 }

 void lock()
 {
 ...
 m->lock();
 is_locked=true;
 }

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/5194>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.