33 Thread support library [thread]

33.4 Mutual exclusion [thread.mutex]

33.4.4 Locks [thread.lock]

33.4.4.3 Class template unique_­lock [thread.lock.unique]

33.4.4.3.2 unique_­lock locking [thread.lock.unique.locking]

void lock();

1
#

Effects: Как будто мимо pm->lock().

2
#

Postconditions: owns == true.

3
#

Throws: Любое выброшенное исключение pm->lock(). system_­error когда требуется исключение ([thread.req.exception]).

4
#

Error conditions:

  • (4.1)

    operation_­not_­permitted - если pm есть nullptr.

  • (4.2)

    resource_­deadlock_­would_­occur - если на входе owns есть true.

bool try_lock();

5
#

Requires: Поставляемый Mutex должен соответствовать Lockable требованиям.

6
#

Effects: Как будто мимо pm->try_­lock().

7
#

Returns: Значение, возвращаемое вызовом try_­lock().

8
#

Postconditions: owns == res, где res - значение, возвращаемое вызовом try_­lock().

9
#

Throws: Любое выброшенное исключение pm->try_­lock(). system_­error когда требуется исключение ([thread.req.exception]).

10
#

Error conditions:

  • (10.1)

    operation_­not_­permitted - если pm есть nullptr.

  • (10.2)

    resource_­deadlock_­would_­occur - если на входе owns есть true.

template <class Clock, class Duration> bool try_lock_until(const chrono::time_point<Clock, Duration>& abs_time);

11
#

Requires: Поставляемый Mutex тип должен соответствовать TimedLockable требованиям.

12
#

Effects: Как будто мимо pm->try_­lock_­until(abs_­time).

13
#

Returns: Значение, возвращаемое вызовом try_­lock_­until(abs_­time).

14
#

Postconditions: owns == res, где res - значение, возвращаемое вызовом try_­lock_­until(abs_­time).

15
#

Throws: Любое выброшенное исключение pm->try_­lock_­until(). system_­error когда требуется исключение ([thread.req.exception]).

16
#

Error conditions:

  • (16.1)

    operation_­not_­permitted - если pm есть nullptr.

  • (16.2)

    resource_­deadlock_­would_­occur - если на входе owns есть true.

template <class Rep, class Period> bool try_lock_for(const chrono::duration<Rep, Period>& rel_time);

17
#

Requires: Поставляемый Mutex тип должен соответствовать TimedLockable требованиям.

18
#

Effects: Как будто мимо pm->try_­lock_­for(rel_­time).

19
#

Returns: Значение, возвращаемое вызовом try_­lock_­until(rel_­time).

20
#

Postconditions: owns == res, где res - значение, возвращаемое вызовом try_­lock_­for(rel_­time).

21
#

Throws: Любое выброшенное исключение pm->try_­lock_­for(). system_­error когда требуется исключение ([thread.req.exception]).

22
#

Error conditions:

  • (22.1)

    operation_­not_­permitted - если pm есть nullptr.

  • (22.2)

    resource_­deadlock_­would_­occur - если на входе owns есть true.

void unlock();

23
#

Effects: Как будто мимо pm->unlock().

24
#

Postconditions: owns == false.

25
#

Throws: system_­error когда требуется исключение ([thread.req.exception]).

26
#

Error conditions:

  • (26.1)

    operation_­not_­permitted - если на входе owns есть false.