concept

BasicLockable

Basic lockable type

A basic lockable type is a BasicLockable type that supports lock and unlock.

Types

The standard library defines the following BasicLockable types:
headertype
<mutex>mutex
recursive_mutex
timed_mutex
recursive_timed_mutex
unique_lock

Requirements

A value m is of a BasicLockable type if the following expressions are well-formed:
m.lock()
  • Effects: Block until a lock can be acquired for the current execution agent. If an exception is thrown, then a lock shall not have been acquired for the current execution agent.
m.unlock()
  • Requires: The current execution agent shall hold a lock on m.
  • Effects: Releases a lock on m held by the current execution agent.
  • Throws: Nothing.

See also