NAME

       Semaphore.Binary - no description

Module

       Module   Semaphore.Binary

Documentation

       Module Binary
        : sig end

       type t

       The type of binary semaphores.

       val make : bool -> t

       make  b 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".

       val release : t -> unit

       release  s  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.

       val acquire : t -> unit

       acquire s blocks the calling thread until the semaphore s has value 1 (is available), then
       atomically sets it to 0 and returns.

       val try_acquire : t -> bool

       try_acquire s immediately returns false if the semaphore s has value 0.  If s has value 1,
       its value is atomically set to 0 and try_acquire s returns true .