std::timed_mutex::timed_mutex (3) Linux Manual Page
std::timed_mutex::~timed_mutex – std::timed_mutex::~timed_mutex
Synopsis
~timed_mutex();Destroys the mutex.
The behavior is undefined if the mutex is owned by any thread or if any thread terminates while holding any ownership of the mutex.