Re: [boost] Probably bug in condition::timed_wait()

Alexander Terekhov wrote:

Another possible fix is to broadcast() (signal() is not enough).

while (!pred()) { if (!timed_wait(lock, xt)) return broadcast(), false; }

Roland will like that. ;-)

You got me. I am an advocate in favour of spurious wakeups, in specific if they serve no other purpose than making the implementation adhere to the documentation ;-) Roland