Java Monitor implementation of Semaphores
Java Monitor implementation of Semaphores
Semaphores are the synchronization datatype defined by Dijkstra*.
*Dijkstra E.W.(1968) Co-operating Sequential Processes. In Programming
Languages (Genuys F., ed.) Academic Press.
Semaphore S;
S.down() // - when S>0 decrement S;
S.up() // - increment S;
In Dijkstra’s original paper the down() operation was called P
and the up() operation V.