Puehlhofer Betriebsysteme1-1.pdf - von Petra Schuster

BETRIEBSSYSTEME 91
Algorithmus, zur Überprüfung, ob ein Zustand sicher ist.
1. Suche eine Zeile in R, in der alle Betriebsmittelanforderungen kleiner
oder gleich A sind. Falls keine solche Zeile existiert, wird das System
einen Deadlock-Zustand erreichen, da kein Prozeß seine
Berechnungen vollständig ausführen kann.
2. Nimm an, daß der Prozeß der ausgewählten Zeile alle benötigten
Betriebsmittel angefordert hat und später seine Ausführungen
beendet. Markiere den Prozeß als terminiert, und füge die von ihm
belegten Betriebsmittel zum Vektor A hinzu.
3. Wiederhole die Schritte 1. und 2. solange, bis entweder alle Prozesse
als terminiert markiert sind, und damit der Anfangszustand sicher ist,
oder bis ein Deadlock-Zustand auftritt, und damit der
Anfangszustand unsicher ist.
Beispiel: Der Rechner hat 10 Magnetbandstationen
Zustand 1 Zustand 2 Zustand 3
Prozess bel. Max. Prozess bel. Max. Prozess bel. Max.
----------------- ----------------- -----------------
A 0 6 A 1 6 A 1 6
B 0 5 B 1 5 B 2 5
C 0 4 C 2 4 C 2 4
D 0 7 D 4 7 D 4 7
----------------- ----------------- ----------------
sicher sicher unsicher
10 frei 2 frei 1 frei
Ein Zustand ist dann sicher, wenn das BS mindestens bei einem Prozeß seine
Maximalforderung erfüllen kann (die anderen müssen u. U. warten).
Zustand 1 ist sicher, da jeder Prozeß befriedigt werden kann.
Zustand 2 ist sicher, da Prozeß C befriedigt werden kann.
Zustand 3 ist unsicher, da keiner der der Prozesse voll befriedigt werden
kann.
Das Schema kann auf beliebig viele Betriebsmittel erweitert werden.