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

From: Alexander Terekhov (terekhov_at_[hidden])
Date: 2006-10-09 14:25:43

Peter Dimov wrote:
[...]
> > Another possible fix is to broadcast() (signal() is not enough).
> >
> > while (!pred()) { if (!timed_wait(lock, xt)) return broadcast(),
> > false; }
> 
> Ummmm.... why is signal() not enough?

Threads A and B waiting (A does timed wait), C changes something, 
signals and enters wait expecting another state change followed by 
signaling from either A or B (whichever gets the signal and makes
processing). If A times out and only re-signal, that signal can be 
consumed by C as spurious wake. So broadcast() is needed to wake B 
and let it do the job.

regards,
alexander.