We therefore postulate that whenever a process initiates … to sleep until (another) process has performed a … zero, one or more processes may be blocked … , one of them is woken up … The choice of this latter process is such …
Google-1
Google-2
Copyright clearance needed for quotation.