int dm_io_get(unsigned int num_pages) { return resize_pool(_num_ios + pages_to_ios(num_pages)); }
void dm_io_put(unsigned int num_pages) { resize_pool(_num_ios - pages_to_ios(num_pages)); }
Thread_Pool::Thread_Pool() { resize_pool (std::thread::hardware_concurrency(), RaptorQ__v1::Work_State::ABORT_COMPUTATION); }