The Bakery Algorithm
 
 

Sequencing

Two arrays of size n: choosing[0..n-1], number [0..n-1]

What was the need to include the choosing [ ] array ?

The Semaphore Abstractions of Dijkstra

P(S) and V(S) or Down(S) and Up (S) or Wait (S) and Signal (S)

Counting Semaphore

Binary Semaphore