Module CCThread.Barrier

module Barrier: sig .. end

type t 
Barrier, used to synchronize threads
val create : unit -> t
Create a barrier
val reset : t -> unit
Reset to initial (non-triggered) state
val wait : t -> unit
wait b waits for barrier b to be activated by activate b. All threads calling this wait until activate b is called. If b is already activated, wait b does nothing
val activate : t -> unit
activate b unblocks all threads that were waiting on b
val activated : t -> bool
activated b returns true iff activate b was called, and reset b was not called since. In other words, activated b = true means wait b will not block.