Concurrency control
Linearizability
Lock
Resource Acquisition Is Initialization
FIFO
Mutual exclusion
Queue
Monitor