Eine Methode zur formalen Modellierung von ...

4.3 Dispatching fur einen Proze 53
Der nachste Schritt besteht in der Ausfuhrung von Step 2 und wird mit der Box Ausfuhrung
Step2 von P1 dargestellt. Sie enthalt zwei alternative EETs und entspricht dem EET zur
Ausfuhrung von Step 1 , wobei Step 1 durch Step 2 ersetzt und statt der Box Ausfuhrung von
Step1 eine Box Ausfuhrung von Step3 verwendet wird diese wird im folgenden erklart. Wir
verzichten auf die graphische Darstellung der Box zur Ausfuhrung von Step 2 .
Ausfuhrung Step3 von P1
P1
Queue Prozessor Dispatcher Timer
h Step 3 i
.
.
h Ok(Step 3 ) i
p
p
p
p
p
Terminierung P1
p
p
p
p
p
P1
Queue Prozessor Dispatcher Timer
h Ok(Step 3 ) Suspend i
.
h OutputP 1 i
. .
h Step 3 i .
h T erm P orts i .
.
h Suspend i
Ports
.
.
h T imeout i
p
p
p
p
p
Als nachstes ist Step 3 auszufuhren. Dieser Ablauf wird durch die Box Ausfuhrung Step3
von P1 dargestellt, die zwei alternative EETs enthalt. Zunachst erfolgt die Ausfuhrung
von Step 3 entsprechend zur Ausfuhrung von Step 1 und Step 2 . Da Step 3 jedoch der letzte
auszufuhrende Berechnungsschritt ist, terminiert die Berechnung abschlieend. Bei der
Terminierung von P 1 werden folgende Falle unterschieden:
1. Die Zeitscheibe ist abgelaufen, wahrend Step 3 ausgefuhrt wird. P 1 wird suspendiert,
die Bindungen zwischen Proze und Prozessor werden gelost und OutputP1 an die
Umgebung gesendet.
2. Die Berechnung wurde beendet, bevor rrq abgelaufen ist. P 1 lost die Bindung zum
Prozessor und sendet OutputP1 an die Umgebung. Der Timer wird gestoppt.
3. Die Berechnung wurde beendet, bevor das Quantum abgelaufen ist. P 1 sendet OutputP1
an die Umgebung. Wahrend die Bindung zum Prozessor gelost wurde, ist rrq
abgelaufen. Der Timer wird nicht gestoppt.
Fall 1. ist in der Box Ausfuhrung Step3 von P1 dargestellt. Die Falle 2. und 3. werden
durch die Box Terminierung von P1 veranschaulicht, die entsprechend zwei alternative
EETs enthalt.
Insgesamt zeigen diese graphischen Darstellungen den Ausschnitt aus dem in der Literatur
gezeigten Prozezustandsdiagramm, siehe auch Abbildung 3.2.1, der den Wechsel zwischen
den Zustanden ready und busy charakterisiert. Die entsprechenden Phasen treten in Form
alternativer EETs bei der Ausfuhrung der Berechnungsschritte auf. Das Verhalten einer