thread_pool::get_executor
Obtains the executor associated with the pool.
executor_type get_executor();