Peterson’s algorithm
Global array-variable flag indicates position of each process with reference to mutual exclusion.
Global variable turn resolves simultaneity conflicts.
Advantage of Peterson’s over Dekker’s:
- Simple proof.
- Easily extendible to n-processes (exam question?)