https://bugs.kde.org/show_bug.cgi?id=374414
--- Comment #3 from Yuval Lifshitz <yuva...@yahoo.com> ---
what about the following case:
we change:
cv.wait(lk, []{return ready;});
to (which should be similar):
while (!ready) cv.wait(lk);
in this case, as long as there is only one thread waiting on the condition the
program would always be correct - even if we add sleep before the waiting.
the waiter cannot be sleeping while "ready" is modified, because it is mutex
protected. this mean that either "ready" was modified before the waiter takes
its mutex, and then it does not even wait. or it is waiting and then it is
getting notified.
note that even after the code is modified helgrind still gives the same error
--
You are receiving this mail because:
You are watching all bug changes.
