$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Peter Dimov (pdimov_at_[hidden])
Date: 2006-10-09 14:28:00
Roland Schwarz wrote:
> Peter Dimov wrote:
>> Ummmm.... why is signal() not enough?
>
> I suspect, because the condition variable could be shared by multiple
> predicates?
Hmmmm.
A timed out waiter can only steal a wakeup if the condition variable has
been signal()ed. If it were broadcast()ed, there's no problem, as everyone
is woken up and there's nothing to steal.
Therefore, a signal() ought to be enough to return the potentially stolen
wakeup.