Deadlock & Ressourcen-Belegungsgraph

Zwei Prozesse, zwei Ressourcen — entsteht ein Zyklus?

P1 P2 R1 R2
⛔ DEADLOCK — Zyklus P1 → R2 → P2 → R1 → P1
1. Mutual ExclusionRessource nur exklusiv nutzbar
2. Hold and Waithält etwas & fordert mehr an
3. No Preemptionnur Besitzer gibt frei
4. Circular WaitZyklus wartender Prozesse
Alle vier Bedingungen sind notwendig und hinreichend. Fällt nur eine weg, ist kein Deadlock möglich. Klicke eine Bedingung oder den Button.
— hält— fordert an