id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
8410,lockfree 1.53.0: queue.cpp: push is broken  if tail_.compare_exchange_strong returns false,robert.hranitzky@…,timblechmann,"
see line 299, queue.hpp, in lockfree, boost version 1.53.0

the implementation of compare_exchange_strong on x86 may return false;
see line 320, boost/atomic/detail/gcc-x86.hpp
however that isn't checked in push() of queue.hpp;

proof: add an assert to the code, line 299 in queue.hpp:
assert (tail_.compare_exchange_strong(tail, new_tail) && ""ERROR: broken"");
return true;

and run a stress test with lots of pthreads pushing and popping data.
I can provide the test code on demand.

Follow up: maybe this issue applies also to other parts of the lockfree code ?

",Bugs,closed,To Be Determined,lockfree,Boost 1.53.0,Problem,invalid,,