Puehlhofer Betriebsysteme1-1.pdf - von Petra Schuster

BETRIEBSSYSTEME 85
9HUNOHPPXQJHQ
Eine Menge von Prozessen befindet sich in einem „Deadlock“-Zustand,
falls jeder Prozeß der Menge auf ein Ereignis wartet, das nur ein anderer
Prozeß der Menge auslösen kann.
Für eine Deadlock-Situation müssen die folgenden vier Bedingungen erfüllt
sein:
Die Bedingungen des wechselseitigen Ausschlusses. Jedes Betriebsmittel
wird entweder von genau einem Prozeß belegt oder ist frei.
Die Belegungs- und Wartebedingung. Ein Prozeß, der bereits
Betriebsmittel belegt, kann weitere Betriebsmittel anfordern.
Die Ununterbrechbarkeitsbedingung. Die Betriebsmittel, die von einem
Prozeß belegt werden, können nicht entzogen werden, sondern müssen
explizit vom belegenden Prozeß freigegeben werden.
Die zyklische Wartebedingung. Es muß eine zyklische Kette aus zwei oder
mehr Prozessen existieren, so daß jeder Prozeß ein Betriebsmittel anfordert,
das von dem nächsten Prozeß in der Kette belegt wird.
Alle vier Bedingungen müssen erfüllt sein, damit eine Deadlock- Situation
eintreten kann. Falls eine Bedingung nicht erfüllt ist, ist keine Deadlock-
Situation möglich.
0RGHOOLHUXQJPLW%HWUHLEVPLWWHOJUDSKHQ
Die Graphen besitzen zwei Arten von Knoten: Prozesse, die als Kreise
dargestellt werden, und Betriebsmittel, die als Quadrate dargestellt werden.
Eine Kante von einem Betriebsmittel zu einem Prozeß bedeutet, daß das
Betriebsmittel von diesem Prozeß belegt ist.
Eine Kante von einem Prozeß auf ein Betriebsmittel bedeutet, daß der Prozeß
blockiert ist, weil er auf die Zuteilung dieses Betriebsmittels wartet.