$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
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