Semaphores
Associated with each semaphore is a queue of waiting processes.
If you execute wait(s) and the semaphore is free, you continue; if not, you block on the waiting queue.
A signal(s) unblocks a process if it’s waiting.
Previous slide
Next slide
Back to first slide
View graphic version