P and V semaphore

P and V semaphore 
The semaphore functions defined as mutex or counting semaphore , or to solve the classical producer- consumer problem when using a bounded buffer.