thread_pool

A simple thread pool.