Module Binary
: sigendtypet
The type of binary semaphores.
valmake : bool->tmakeb returns a new binary semaphore. If b is true , the initial value of the semaphore is 1, meaning
"available". If b is false , the initial value of the semaphore is 0, meaning "unavailable".
valrelease : t->unitreleases sets the value of semaphore s to 1, putting it in the "available" state. If other threads are
waiting on s , one of them is restarted.
valacquire : t->unitacquires blocks the calling thread until the semaphore s has value 1 (is available), then atomically
sets it to 0 and returns.
valtry_acquire : t->booltry_acquires immediately returns false if the semaphore s has value 0. If s has value 1, its value is
atomically set to 0 and try_acquires returns true .
OCamldoc 2025-06-12 Semaphore.Binary(3o)