Basic lockable type
The standard library defines the following BasicLockable types:
A value m is of a BasicLockable type if the following expressions are well-formed:
- 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.
- 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.