A call to an atomic waiting operation on an atomic object M
is eligible to be unblocked
by a call to an atomic notifying operation on M
if there exist side effects X
- the atomic waiting operation has blocked after observing the result of X,
- X precedes Y in the modification order of M, and
- Y happens before the call to the atomic notifying operation.