Webs_tpool
Thread pools.
type t
The type for thread pools.
val create : int -> t
create n is a tread pool with at most n threads.
create n
n
val exec : t -> (unit -> unit) -> unit
exec p f k.
exec p f k
Warning. There's no protection against spurious exns in f.
f
val finish : t -> unit
finish p blocks until all tasks are done and destroys the pool.
finish p