Puehlhofer Betriebsysteme1-1.pdf - von Petra Schuster

88 BETRIEBSSYSTEME
4. Überprüfe, ob von dem aktuellen Knoten noch nicht markierte
Kanten ausgehen. Falls ja, gehe zu Schritt 5, sonst zu Schritt 6.
5. Wähle eine der unmarkierten Kanten aus und markiere sie. Setze den
Endknoten dieser Kante als neuen aktuellen Knoten und gehe zu
Schritt 3.
6. Es ist nun eine Sackgasse erreicht. Gehe zurück zu dem vorherigen
Knoten, also zu dem Knoten, der zuvor der aktuelle Knoten war, und
setze den Algorithmus mit Schritt 3 fort. Falls dieser Knoten der
Startknoten ist, enthält der Graph keinen Zyklus und der Algorithmus
terminiert.
Es gibt bessere als den vorgestellten Algorithmus zur Lösung des Problems.
An dieser Stelle genügt uns jedoch die Existenz eines Algorithmus.
'HDGORFN(UNHQQXQJPLWPHKUHUHQ%HWULHEVPLWWHOQLQMHGHU.ODVVH
Wenn es mehrere Instanzen einer Betriebsmittelklasse gibt, wird ein Matrixbasierter
Algorithmus eingesetzt.
Im ersten Schritt sucht der Algorithmus nach einem Prozeß, der bis zu seiner
Beendigung ausgeführt werden kann. Ein solcher Prozeß ist dadurch
charakterisiert, daß alle seine Betriebsmittelanforderungen durch die aktuell
verfügbaren erfüllt werden können. Bei Beendigung gibt der Prozeß alle
seine Betriebsmittel frei.
Falls alle Prozesse vollständig ausgeführt werden können, ist keiner an
einem Deadlock beteiligt.
Falls einer oder mehrere niemals ausgeführt werden können, befinden sie
sich in einem Deadlock-Zustand.
Deadlocks können also erkannt werden. Aber wann soll die Suche
durchgeführt werden?
Wird bei jeder Anforderung überprüft, wird der Deadlock zum
frühestmöglichen Zeitpunkt erkannt, aber sehr viel Prozessorzeit verbraucht.
Wenn die Überprüfung nur durchgeführt wird, wenn die Prozessorauslastung
gering ist, fällt der Verlust an Rechenleistung nicht sehr ins Gewicht und
wenige ausführbare Prozesse deuten auf Blockaden hin.