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.

Previous slide Next slide Back to the first slide View Graphic Version