• mutual exclusion
• progress
• bounded waiting

solutions to the critical section problem:

• monitors
• semaphores
• only memory load/store instructions