Deadlocks

Eine Menge von Prozessen befindet sich in einem Deadlock-Zustand, wenn jeder Prozess aus der Menge auf ein Ereignis wartet, das nur ein anderer Prozess aus der Menge auslösen kann.

Wenn sich mehrere Prozesse in Deadlock-Zustand befinden, so sagt man auch vereinfachend: Es ist ein Deadlock aufgetreten. 

Vier Bedinnungen damit ein Deaklock auftritt:

Mutual exclusion condition: Eine Ressource steht einem Prozess nur exklusiv zur Verfügung

Wait for condition: Prozesse warten und behalten dabei Kontrolle über bereits Ressourcen

No preemption condition: Ressourcen können Prozess nicht entrissen werden.

Circular wait condition: Es gibt eine zyklische Kette von Prozessen

Prinzip des ersten Kontos

P1: Schnappt sich K1 Kontextwechsel

P2: Schnappt sich K2 Kontextwechsel

P3: Möchte K1 haben ist aber belegt: blockiert; Kontextwechsel

P1: Möchte K2 haben ist aber belegt: blockiert; Kontextwechsel

P2: schnappt sich K3: Fetch, Decode, Execute

Deadlocks ignorieren"Es gibt keine Deadlocks, weil ich daran glaube, dass es keine Deadlocks gibt!", sagt das Betriebssystem.Zum Ignorieren von Deadlocks kommt in Betriebssystemen üblicherweise der Vogel-Strauß-Algorithmus zum Einsatz.

Deadlocks vermeidenEin Betriebssystem könnte von vorneherein so konstruiert werden, dass Deadlocks gar nicht möglich sind.

Verhinderung von Deadlocks Prozess nur dann weitere Ressource zuzusprechen, wenn sichergestellt ist, dass in der Zukunft kein Deadlock entstehen kann

Allgemein ist davon auszugehen, dass die Erkennung, Vermeidung oder Verhinderung von Deadlocks sehr aufwendig ist. Eine ausnahmlose Abdeckung aller denkbarer Fälle scheint nahezu unmöglich.