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