4.1.34. Definition of terms
Binary (two-state) locks
locked, unlocked associated with item X
Mutual exclusion
Four requirements
Must lock before access
Must unlock after all access
No relocking of already locked
No unlocking of already unlocked