Implementation of Semaphores
 
 

The traditional implementation

An Implementation that allows negative values for Semaphores

An implementation using test and set

What properties should be guaranteed by an implementation?

Implementing the counting semaphore using binary semaphores

Deepak's first solution deadlocks

Deepak's second solution again deadlocks, but points to a direction towards a correct solution

I am concerned about the 'block process' primitive !

Shah is concerned about the atomicity !