Module WorkerPool.Make

Parameters

module Model : PoolModel

Signature

type pool
val create : Model.extra -> size:int -> CoqworkmgrApi.priority -> pool
val is_empty : pool -> bool
val n_workers : pool -> int
val cancel : worker_id -> pool -> unit
val cancel_all : pool -> unit
val destroy : pool -> unit
val worker_handshake : CThread.thread_ic -> Stdlib.out_channel -> unit