Thread pool for omp4j