Eine Methode zur formalen Modellierung von ...

4.4 Dispatching fur zwei Prozesse 77
P 1 und P 2 werden simultan gestartet und bewerben sich beide um den Prozessor,
oder einer der beiden Prozesse wird zuerst gestartet, bewirbt sich um den Prozessor
und beginnt mit der Durchfuhrung der Berechnung.
Fur die Durchfuhrung der Berechnungen ist zu berucksichtigen, da jeder Proze
nach jedem Step i suspendiert werden kann. Anschlieend wird die Berechnung des
nachsten Prozesses weitergefuhrt.
Wir zeigen ein EET fur den Fall, da P 1 und P 2 simultan gestartet werden und sich
um den Prozessor bewerben. Aufgrund der Initialisierung des Systems wird der Prozessor
zunachst P 1 zugeteilt. Es ergibt sich das hier gezeigte EET, das sich leicht aus dem EET von
Abbildung 4.3.3 herleiten lat. Eine vertikale Linie, die P 2 reprasentiert, ist hinzuzunehmen
und entsprechend zum Start von P 1 ist der Start von P 2 darzustellen. Um die moglichen
Alternativen zusatzlich einzuschranken, gehen wir weiter davon aus, da das Quantum rrq
der Zeitscheibe ausreicht, um mindestens die Schritte Step 1 und Step 2 von P 1 vollstandig
auszufuhren. Dies ist in der Box Ausfuhrung der Berechnung dargestellt, die sich teilweise
aus der Box Ausfuhrung der Berechnung aus Abschnitt 4.3.2 herleiten lat.
P1 P2 Queue Prozessor Dispatcher
Timer
h Step 1 Step 2 Step 3 . i
.
h Step 1 Step . 2 i
.
h P 1 !DtoP 1 i.
.
Ports
h P 2 !DtoP 2 i.
.
h P 1 !DtoP 1 i.
Ports
.
h rrq i
.
p
p
p
p
p
p
Ausfuhrung der Berechnung
p
p
p
p
p
p
Die Alternativen, die im weiteren Systemablauf auftreten konnen, lauten:
1. Das Quantum rrq ist auch nach Ausfuhrung von Step 2 noch nicht verstrichen P 1
kann seine Berechnung fortsetzen. Damit terminiert P 1, und im System ist nur noch
P 2 vollstandig auszufuhren. Dieser mogliche Systemablauf wird durch das erste alternative
EET in Ausfuhrung der Berechnung dargestellt. Die dabei verwendete Box
Ausfuhrung Step3 von P1 wurde in Abschnitt 4.3.2 auf Seite 53 gezeigt. Zur dieser
Darstellung wird P 2 hinzugenommen. Die Ausfuhrung der Berechnung von P 2 wird
unter der Randbedingung fortgesetzt, da P 1 bereits terminiert ist.
2. P 1 wird mit der Ausfuhrung von Step 2 suspendiert, so da Step 3 noch auszufuhren
ist. Dies zeigt das zweite alternative EET in Ausfuhrung der Berechnung. Gema der
Initialisierung unseres Systems wird ein Systemablauf so fortgesetzt, da P 2 an den
Prozessor gebunden wird und die Ausfuhrung der Berechnung von P 2 beginnt.