the thread pool's header file