Use std::timed_mutex