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

From: Roland Schwarz (roland.schwarz_at_[hidden])
Date: 2006-10-09 02:50:20

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