D.5.2. Класс std::recursive_mutex
Класс std::recursive_mutex предоставляет базовые средства взаимного исключения и синхронизации потоков, применяемые для защиты разделяемых данных. Перед тем как обращаться к данным, защищаемым мьютексом, этот мьютекс необходимо захватить (или заблокировать), вызвав функцию lock() или try_lock(). В любой момент времени удерживать мьютекс может только один поток; если другой поток попытается захватить тот же мьютекс, то функция try_lock() вернет ошибку, а функция lock() приостановит выполнение потока. Закончив операции над разделяемыми данными, поток должен вызвать функцию unlock(), чтобы освободить мьютекс и дать другим потокам возможность захватить его.
Этот мьютекс называется рекурсивным, потому что поток, удерживающий мьютекс типа std::recursive_mutex, может снова обратиться к функции lock() или try_lock(), что приведёт к увеличению счетчика захватов. Никакой другой поток не сможет захватить этот мьютекс, пока владеющий им поток не вызовет функцию unlock столько раз, сколько было успешных вызовов lock() или try_lock().
Экземпляр std::recursive_mutex удовлетворяет требованиям концепции Lockable.
Определение класса
class recursive_mutex {
public:
recursive_mutex(recursive_mutex const&) = delete;
recursive_mutex& operator=(recursive_mutex const&) = delete;
recursive_mutex() noexcept;
~recursive_mutex();
void lock();
void unlock();
bool try_lock() noexcept;
};
STD::RECURSIVE_MUTEX , КОНСТРУКТОР ПО УМОЛЧАНИЮ
Конструирует объект std::recursive_mutex.
Объявление
recursive_mutex() noexcept;
Результат
Конструирует экземпляр std::recursive_mutex.
Постусловия
Вновь сконструированный объект std::recursive_mutex первоначально не захвачен.
Исключения
Исключение типа std::system_error, если не удалось создать экземпляр std::recursive_mutex.
STD::RECURSIVE_MUTEX , ДЕСТРУКТОР
Уничтожает объект std::recursive_mutex.
Объявление
~recursive_mutex();
Предусловия
Объект *this не должен быть захвачен.
Результат
Уничтожает *this.
Исключения
Нет.
STD::RECURSIVE_MUTEX::LOCK , ФУНКЦИЯ-ЧЛЕН
Захватывает объект std::recursive_mutex для текущего потока.
Объявление
void lock();
Результат
Блокирует текущий поток, пока мьютекс *this не будет захвачен.
Постусловия
*this захвачен текущим потоком. Если вызывающий поток уже удерживал *this, то счетчик захватов увеличивается на единицу.
Исключения
Исключение типа std::system_error в случае ошибки.
STD::RECURSIVE_MUTEX::TRY_LOCK , ФУНКЦИЯ-ЧЛЕН
Пытается захватить объект std::recursive_mutex для текущего потока.
Объявление
bool try_lock() noexcept;
Результат
Пытается захватить объект std::recursive_mutex для текущего потока без блокирования.
Возвращаемое значение
true, если вызывающий поток захватил мьютекс, иначе false.
Постусловия
*this захвачен вызывающим потоком, если функция вернула true.
Исключения
Нет.
Примечание. Если вызывающий поток уже удерживал *this, то функция возвращает true, и счетчик захватов *this текущим потоком увеличивается на единицу. Если текущий поток не удерживал *this, то функция может не захватить мьютекс (и вернуть false), даже если никакой другой поток не удерживает *this.
STD::RECURSIVE_MUTEX::UNLOCK , ФУНКЦИЯ-ЧЛЕН
Освобождает объект std::recursive_mutex, удерживаемый текущим потоком.
Объявление
void unlock();
Предусловия
Вызывающий поток должен удерживать мьютекс *this.
Результат
Освобождает мьютекс std::recursive_mutex, удерживаемый текущим потоком. Если это последний захват *this данным потоком, и другие потоки были блокированы в ожидании *this, то один из них разблокируется.
Постусловия
Количество захватов *this вызывающим потоком, уменьшается на единицу.
Исключения
Нет.