Энтони Уильямс - Параллельное программирование на С++ в действии. Практика разработки многопоточных программ

Возвращаемое значение

true, если вызывающий поток захватил мьютекс, иначе false.

Постусловия

*thisзахвачен вызывающим потоком, если функция вернула true.

Исключения

Нет.

Примечание. Если вызывающий поток уже удерживал *this, то функция возвращает true, и счетчик захватов *thisтекущим потоком увеличивается на единицу. Если текущий поток не удерживал *this, то функция может не захватить мьютекс (и вернуть false), даже если никакой другой поток не удерживает *this. Не дается никаких гарантий относительно того, сколько времени будет блокирован вызывающий поток. Гарантируется лишь, что если функция вернула false, то значение, возвращенное Clock::now(), больше или равно absolute_timeв точке, где поток разблокировался.

STD::RECURSIVE_TIMED_MUTEX::UNLOCK , ФУНКЦИЯ-ЧЛЕН

Освобождает объект std::recursive_timed_mutex, удерживаемый текущим потоком.

Объявление

void unlock();

Предусловия

Вызывающий поток должен удерживать мьютекс *this.

Результат

Освобождает мьютекс *this, удерживаемый текущим потоком. Если это последний захват *thisданным потоком, и другие потоки были блокированы в ожидании *this, то один из них разблокируется.

Постусловия

Количество захватов *thisвызывающим потоком, уменьшается на единицу.

Исключения

Нет.

Шаблон класса std::lock_guardпредоставляет простую обертку владения блокировкой. Тип блокируемого мьютекса задается параметром шаблона Mutexи должен удовлетворять требованиям концепции Lockable. Заданный мьютекс захватывается в конструкторе и освобождается в деструкторе. Тем самым мы получаем простое средство захвата мьютекса в некотором блоке кода, которое гарантирует освобождение мьютекса при выходе из блока вне зависимости от того, как этот выход произведен: по достижении закрывающей скобки, в результате предложения, меняющего поток управления, например breakили return, или вследствие исключения.

Экземпляры std::lock_guardне удовлетворяют требованиям концепций MoveConstructible, CopyConstructibleи CopyAssignable.

Определение класса

template

class lock_guard {

public:

typedef Mutex mutex_type;

explicit lock_guard(mutex_type& m);

lock_guard(mutex_type& m, adopt_lock_t);

~lock_guard();

lock_guard(lock_guard const&) = delete;

lock_guard& operator=(lock_guard const&) = delete;

};

STD::LOCK_GUARD , ЗАХВАТЫВАЮЩИЙ КОНСТРУКТОР

Конструирует экземпляр std::lock_guard, который захватывает указанный мьютекс.

Объявление

explicit lock_guard(mutex_type& m);

Результат

Конструирует экземпляр std::lock_guard, который ссылается на указанный мьютекс. Вызывает m.lock().

Исключения

Любое исключение, возбуждаемое m.lock().

Постусловия

*thisвладеет блокировкой m.

STD::LOCK_GUARD , КОНСТРУКТОР, ПЕРЕНИМАЮЩИЙ БЛОКИРОВКУ

Конструирует экземпляр std::lock_guard, который владеет блокировкой указанного мьютекса.

Объявление

lock_guard(mutex_type& m, std::adopt_lock_t);

Предусловия

Вызывающий поток должен владеть блокировкой m.

Результат

Конструирует экземпляр std::lock_guard, который ссылается на указанный мьютекс и принимает владение блокировкой m, удерживаемой вызывающим потоком.

Исключения

Нет.

Постусловия

*thisвладеет блокировкой m, удерживаемой вызывающим потоком.

STD::LOCK_GUARD , ДЕСТРУКТОР

Уничтожает экземпляр std::lock_guardи освобождает соответствующий мьютекс.

Объявление

~lock_guard();

Результат

Вызывает m.unlock()для мьютекса m, заданного при конструировании *this.

Исключения

Нет.

Шаблон класса std::unique_lockпредоставляет более общую обертку владения блокировкой, чем std::lock_guard. Тип блокируемого мьютекса задается параметром шаблона Mutexи должен удовлетворять требованиям концепции BasicLockable. Вообще говоря, заданный мьютекс захватывается в конструкторе и освобождается в деструкторе, хотя имеются также дополнительные конструкторы и функции-члены, предлагающие другие возможности. Тем самым мы получаем средство захвата мьютекса в некотором блоке кода, которое гарантирует освобождение мьютекса при выходе из блока вне зависимости от того, как этот выход произведен: по достижении закрывающей скобки, в результате предложения, меняющего поток управления, например breakили return, или вследствие исключения.

Функции ожидания в классе std::condition_variableтребуют объекта std::unique_lock, и любая конкретизация шаблона std::unique_lockможет быть использована в качестве параметра типа Lockableв любом варианте функции waitиз класса std::condition_variable_any.

Если тип Mutexудовлетворяет требованиям концепции Lockable, то им удовлетворяет и тип std::unique_lock. Если, кроме того, тип Mutexудовлетворяет требованиям концепции TimedLockable, то им удовлетворяет и тип std::unique_lock.

Экземпляры std::unique_lockудовлетворяют требованиям концепций MoveConstructibleи MoveAssignable, но не CopyConstructibleи CopyAssignable.

Определение класса

template

class unique_lock {

public:

typedef Mutex mutex_type;

unique_lock() noexcept;

explicit unique_lock(mutex_type& m);

unique_lock(mutex_type& m, adopt_lock_t);

unique_lock(mutex_type& m, defer_lock_t) noexcept;

unique_lock(mutex_type& m, try_to_lock_t);

template

unique_lock(

mutex_type& m,

std::chrono::time_point const& absolute_time);

template

unique_lock(

mutex_type& m,

std::chrono::duration const& relative_time);

~unique_lock();

unique_lock(unique_lock const&) = delete;

unique_lock& operator=(unique_lock const&) = delete;

unique_lock(unique_lock&&);

unique_lock& operator=(unique_lock&&);

void swap(unique_lock& other) noexcept;

void lock();

bool try_lock();

template

bool try_lock_for(

std::chrono::duration const& relative_time);

template

bool try_lock_until(

std::chrono::time_point const& absolute_time);

void unlock();

explicit operator bool() const noexcept;

bool owns_lock() const noexcept;

Mutex* mutex() const noexcept;

Mutex* release() noexcept;

};

STD::UNIQUE_LOCK , КОНСТРУКТОР ПО УМОЛЧАНИЮ

Конструирует экземпляр std::unique_lock, с которым не ассоциирован мьютекс.

Объявление

unique_lock() noexcept;

Результат

Конструирует экземпляр std::unique_lock, с которым не ассоциирован мьютекс.

Постусловия