|
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
TheBasicLockable requirements describe the minimal characteristics of types that provide exclusive blocking semantics for execution agents (i.e. threads).
Contents |
For typeL to beBasicLockable, the following conditions have to be satisfied for an objectm of typeL:
| Expression | Preconditions | Effects |
|---|---|---|
| m.lock() | Blocks until a lock can be acquired for the current execution agent (thread, process, task). If an exception is thrown, no lock is acquired. | |
| m.unlock() | The current execution agent holds a non-shared lock onm. | Releases the non-shared lock held by the execution agent. Throws no exceptions. |
A lock on an object is said to benon-shared lock if it is acquired by a call tolock,try_lock,try_lock_for, ortry_lock_until member function.
The following standard library types satisfyBasicLockable requirements:
(C++11) | provides basic mutual exclusion facility (class)[edit] |
(C++11) | provides mutual exclusion facility which can be locked recursively by the same thread (class)[edit] |
(C++11) | provides mutual exclusion facility which can be locked recursively by the same thread and implements locking with a timeout (class)[edit] |
(C++17) | provides shared mutual exclusion facility (class)[edit] |
(C++14) | provides shared mutual exclusion facility and implements locking with a timeout (class)[edit] |
(C++11) | provides mutual exclusion facility which implements locking with a timeout (class)[edit] |
