Semaphores and Bounded Buffer. Semaphores Semaphore is a type of generalized lock –Defined by Dijkstra in the last 60s –Main synchronization primitives.