Semaphores and Critical
Sections
ä
For n processes
ä
Initialize S.count to 1
ä
Then only 1 process
is allowed into CS
(mutual exclusion)
ä
To allow k processes
into CS, we initialize
S.count to k
Process Pi:
repeat
wait(S);
CS
signal(S);
RS
forever