Use a custom pthread_mutex_t wrapper because std::mutex adds overhead.