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