• mutual exclusion
• progress
• bounded waiting

solutions to the critical section problem:

• monitors
• semaphores
• only memory load/store instructions

Resources §

• cannontwo’s tests
• montty tests
• yalnix tests
• yfs tests