Semaphores and mutexes.
This module provides the Semaphore type, which implements counting semaphores and mutexes.
Semaphore