Spurious wake-up

Also written: spurious wake-ups

A thread waking from `wait` for no reason, with no notify. The predicate passed to `wait` makes it harmless.