Counting semaphore

A counting semaphore is a variant of semaphores that allows a counter value greater than one, letting up to N threads access a resource simultaneously.