Functor Duppy.Monad.Condition.Factory

module Factory: 
functor (Mutex : Duppy.Monad.Mutex.Mutex_t) -> sig .. end

type condition 

Type of a condition, used in wait and broadcast

val create : unit -> condition

Create a condition. Implementation-wise, a duppy task is created that will be used to select a waiting computation, and resume it. Thus, priority and s represents, resp., the priority and scheduler used when running calling process' computation.

val wait : condition ->
       Mutex.mutex -> (unit, 'a) Duppy.Monad.t

wait h m is a computation that:

• Unlock mutex m
• Wait until Condition.signal c or Condition.broadcast c has been called
• Locks mutex m
• Returns unit

val broadcast : condition -> (unit, 'a) Duppy.Monad.t

broadcast c is a computation that resumes all computations waiting on c. It should return immediately.

val signal : condition -> (unit, 'a) Duppy.Monad.t

signal c is a computation that resumes one computation waiting on c. It should return immediately.