The BasicLockable requirements describe the minimal characteristics of types that provide exclusive blocking semantics for execution agents (i.e. threads).

The Lockable requirements extends the BasicLockable requirements to include attempted locking.