This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author kristjan.jonsson
Recipients csernazs, jyasskin, kristjan.jonsson, neologix, pitrou, python-dev
Date 2012-04-11.10:50:34
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
> But, once again, "the condition may not yet hold true" is false.
In our current implementation, yes.  But it is intentionally left undefined in the specification of the condition variable protocol, for very good reasons.
While I'm fine with not mentioning it in the docs, I would be very much against us actually specifying the opposite (that early wakeups never occur) because this will unnecessarily limit our options.  Since the while() loop pattern is already recommended because of the "stolen wakeup" problem, leaving the "early/spurious" wakeup behaviour" undefined is wise, since there is nothing to be gained by actually guaranteeing that there will be no early wakeups.  This is just good software engineering practice.

This is also why we, IMHO, shouldn't rely on this behaviour in the unittests.  One should never write tests that depend on unspecified behaviour, again, good engineering practice.
Date User Action Args
2012-04-11 10:50:35kristjan.jonssonsetrecipients: + kristjan.jonsson, csernazs, pitrou, jyasskin, neologix, python-dev
2012-04-11 10:50:35kristjan.jonssonsetmessageid: <>
2012-04-11 10:50:35kristjan.jonssonlinkissue8799 messages
2012-04-11 10:50:34kristjan.jonssoncreate