CPSolver.Space.ThreadPool (Fixpoint v0.20.2)

Link to this section Summary

Link to this section Functions

Link to this function

checkin(thread_pool)

Link to this function

checkout(thread_pool, timeout \\ :infinity)

Link to this function

child_spec(init_arg)

Returns a specification to start this module under a supervisor.

See Supervisor.

Link to this function

get_pool_state(thread_pool)

Link to this function

get_waiting_process(queue)

Link to this function

run_task(task, thread_pool, timeout \\ :infinity)