33 Thread support library [thread]

33.2 Requirements [thread.req]

33.2.5 Requirements for Lockable types [thread.req.lockable]

33.2.5.2 BasicLockable requirements [thread.req.lockable.basic]

Тип L соответствует BasicLockable требованиям, если следующие выражения правильно сформированы и имеют указанную семантику (m обозначает значение типа L).

m.lock()

Effects: Блокируется до тех пор, пока для текущего агента выполнения не будет получена блокировка. Если выбрасывается исключение, то для текущего агента выполнения блокировка не должна быть получена.

m.unlock()

Requires: Текущий агент исполнения должен удерживать блокировку m.

Effects: Снимает блокировку, m удерживаемую текущим агентом выполнения.

Throws: Ничего такого.