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