Module WorkerPool.Make

Parameters

• 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