Previous
Up
Module
Thread_pool.Helper_thread
module
Helper_thread:
sig
..
end
type
t
A helper thread is a thread with its own dedicated work queue. Work added for the helper thread is guaranteed to be run by that thread. The helper thread only runs work explicitly supplied to it.