D.5.3. Класс std::timed_mutex
Класс std::timed_mutex предоставляет поддержку блокировок с таймаутами сверх базовых средств взаимного исключения и синхронизации, предоставляемых классом std::mutex. Перед тем как обращаться к данным, защищаемым мьютексом, этот мьютекс необходимо захватить (или заблокировать), вызвав функцию lock(), try_lock(), try_lock_for() или try_lock_until(). Если мьютекс уже захвачен другим потоком, то функция try_lock() вернет ошибку, функция lock() приостановит выполнение потока до получения мьютекса, а функции try_lock_for() и try_lock_until() приостановят выполнение потока до получения мьютекса или истечения таймаута. Закончив операции над разделяемыми данными, поток должен вызвать функцию unlock() (вне зависимости от того, какой функцией мьютекс был захвачен), чтобы освободить мьютекс и дать другим потокам возможность захватить его.
Экземпляр std::timed_mutex удовлетворяет требованиям концепции TimedLockable.
Определение класса
class timed_mutex {
public:
timed_mutex(timed_mutex const&)=delete;
timed_mutex& operator=(timed_mutex const&)=delete;
timed_mutex();
~timed_mutex();
void lock();
void unlock();
bool try_lock();
template<typename Rep, typename Period>
bool try_lock_for(
std::chrono::duration<Rep, Period> const& relative_time);
template<typename Clock, typename Duration>
bool try_lock_until(
std::chrono::time_point<Clock, Duration> const& absolute_time);
};
STD::TIMED_MUTEX , КОНСТРУКТОР ПО УМОЛЧАНИЮ
Конструирует объект std::timed_mutex.
Объявление
timed_mutex();
Результат
Конструирует экземпляр std::timed_mutex.
Постусловия
Вновь сконструированный объект std::timed_mutex первоначально не захвачен.
Исключения
Исключение типа std::system_error, если не удалось создать экземпляр std::timed_mutex.
STD::TIMED_MUTEX , ДЕСТРУКТОР
Уничтожает объект std::timed_mutex.
Объявление
~timed_mutex();
Предусловия
Объект *this не должен быть захвачен.
Результат
Уничтожает *this.
Исключения
Нет.
STD::TIMED_MUTEX::LOCK , ФУНКЦИЯ-ЧЛЕН
Захватывает объект std::timed_mutex для текущего потока.
Объявление
void lock();
Предусловия
Вызывающий поток не должен удерживать мьютекс *this
Результат
Блокирует текущий поток, пока мьютекс *this не будет захвачен.
Постусловия
*this захвачен текущим потоком.
Исключения
Исключение типа std::system_error в случае ошибки.
STD::TIMED_MUTEX::TRY_LOCK , ФУНКЦИЯ-ЧЛЕН
Пытается захватить объект std::timed_mutex для текущего потока.
Объявление
bool try_lock();
Предусловия
Вызывающий поток не должен удерживать мьютекс *this.
Результат
Пытается захватить объект std::timed_mutex для текущего потока без блокирования.
Возвращаемое значение
true, если вызывающий поток захватил мьютекс, иначе false.
Постусловия
*this захвачен вызывающим потоком, если функция вернула true.
Исключения
Нет.
Примечание. Функция может не захватить мьютекс (и вернуть false), даже если никакой другой поток не удерживает *this.
STD::TIMED_MUTEX::TRY_LOCK_FOR , ФУНКЦИЯ-ЧЛЕН
Пытается захватить объект std::timed_mutex для текущего потока.
Объявление
template<typename Rep, typename Period>
bool try_lock_for(
std::chrono::duration<Rep, Period> const& relative_time);
Предусловия
Вызывающий поток не должен удерживать мьютекс *this.
Результат
Пытается захватить объект std::timed_mutex для текущего потока в течение времени, заданного аргументом relative_time. Если relative_time.count() равно нулю или отрицательно, то функция возвращается немедленно, как если бы это был вызов try_lock(). В противном случае вызывающий поток приостанавливается до получения мьютекса или до истечения времени, заданного аргументом relative_time.
Возвращаемое значение
true, если вызывающий поток захватил мьютекс, иначе false.
Постусловия
*this захвачен вызывающим потоком, если функция вернула true.
Исключения
Нет.
Примечание. Функция может не захватить мьютекс (и вернуть false), даже если никакой другой поток не удерживает *this. Поток может быть блокирован дольше, чем указано. Если возможно, истекшее время измеряется по стабильным часам.
STD::TIMED_MUTEX::TRY_LOCK_UNTIL , ФУНКЦИЯ-ЧЛЕН
Пытается захватить объект std::timed_mutex для текущего потока.
Объявление
template<typename Clock, typename Duration>
bool try_lock_until(
std::chrono::time_point<Clock, Duration> const& absolute_time);
Предусловия
Вызывающий поток не должен удерживать мьютекс *this.
Результат
Пытается захватить объект std::timed_mutex для текущего потока, пока не наступит момент времени, заданный аргументом absolute_time. Если в момент вызова absolute_time <= Clock::now(), то функция возвращается немедленно, как если бы это был вызов try_lock(). В противном случае вызывающий поток приостанавливается до получения мьютекса или до наступления момента времени, большего или равного absolute_time.
Возвращаемое значение
true, если вызывающий поток захватил мьютекс, иначе false.
Постусловия
*this захвачен вызывающим потоком, если функция вернула true.
Исключения
Нет.
Примечание. Функция может не захватить мьютекс (и вернуть false), даже если никакой другой поток не удерживает *this. Не дается никаких гарантий относительно того, сколько времени будет блокирован вызывающий поток. Гарантируется лишь, что если функция вернула false, то значение, возвращенное Clock::now(), больше или равно absolute_time в точке, где поток разблокировался.
STD::TIMED_MUTEX::UNLOCK , ФУНКЦИЯ-ЧЛЕН
Освобождает объект std::timed_mutex, удерживаемый текущим потоком.
Объявление
void unlock();
Предусловия
Вызывающий поток должен удерживать мьютекс *this.
Результат
Освобождает мьютекс *this, удерживаемый текущим потоком. Если другие потоки были блокированы в ожидании *this, то один из них разблокируется.
Постусловия
*this не захвачен вызывающим потоком.
Исключения
Нет.