In: Computer Science
Show that the four conditions of deadlock apply to Figure.
Mutual exclusion: Only one car can occupy a given quadrant of the intersection at a time.
Hold and wait: No car ever backs up; each car in the intersection waits until the quadrant in front of it is available.
No preemption: No car is allowed to force another car out of its way.
Circular wait: Each car is waiting for a quadrant of the intersection occupied by another car.
Circular wait: Each car is waiting for a quadrant of the intersection occupied by another car.