[concurrency-interest] spurious wakeups semantics
jmanson at cs.purdue.edu
Fri Nov 4 15:02:51 EST 2005
Alexander Terekhov wrote:
> 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:
> Ah that. Well, do you see anything truly broken in
> then? ;-)
Actually, I was just using the word "broken" to quote David. As far as
I am concerned, code that is "broken" is code that does not work
according to spec. It is therefore impossible for code that is
specifically listed in the spec to be broken.
It is, of course, possible for a spec to be broken, but that is a
I was just re-asking the original question - what was the original
rationale for spurious wakeups? The code described in the paper that
you indicated was the same as the code on the POSIX page. David implied
there was something mysterious and ancient which required spurious
wakeups, and existed prior to the POSIX spec. Anyone know what it was?
More information about the Concurrency-interest