[concurrency-interest] spurious wakeups semantics

Alexander Terekhov TEREKHOV at de.ibm.com
Fri Nov 4 14:47:04 EST 2005


Jeremy Manson <jmanson at cs.purdue.edu> wrote:
[...]
> > : The POSIX rationale shows a piece of broken code and uses that to
> > : justify the possibility of spurious wakeups.
> >
> > I have no idea what piece of broken code in the POSIX rationale David
> > was talking about.
> >
>
> Okay.  I was specifically thinking of the one on this page:
>
>
http://www.opengroup.org/onlinepubs/009695399/functions/pthread_cond_signal.html

Ah that. Well, do you see anything truly broken in

http://www.terekhov.de/DESIGN-futex-CV.cpp
http://www.terekhov.de/DESIGN-futex-CV-with-async.cancelable-wait.txt

then? ;-)

regards,
alexander.



More information about the Concurrency-interest mailing list