Developing the Dekker's Algorithm
 
 

An algorithm (with two variables) that deadlocks

Defer the decision to another process: an algorithm that solves the deadlock, but introduces a livelock

Only one process defers the decision: strict arbitrator: livelock solved, but unfair

Introduce a fair arbitrator (the third vaiable)  --> Dekker's Algorithm