id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
8536,Repeated shared_mutex.unlock_shared() can underflow,Zack Moratto <zmoratto@…>,Anthony Williams,"Boost 1.53's shared_mutex can underflow if the user calls unlock_shared twice or right after construction.

shared_mutex m();[[BR]]
m.unlock_shared();

The problem is specifically this line which can be found inside boost/thread/pthread/shared_mutex.hpp. ''(should be line 148)''

{{{
            bool const last_reader=!--state.shared_count;
}}}

It doesn't check that state.shared_count is nonzero before decrementing.",Bugs,closed,To Be Determined,thread,Boost 1.53.0,Problem,invalid,"shared, mutex, underflow",