implementation of thread_pool under linux