4.2 Protokolle für Ressourcen-Zugriffe
237
von
Priorität
p
p
p
t
P(b)
P(c)
V(c)
V(c)
c
P(b)
P(c)
t 9
8
7
t
6
5
t
4
3
2
t
t
t
t
t
1
c
c
c
1
2
3
P(a)
b
b
b
a
V(b)
V(b)
V(a)
t
1
2
3
J
J
J
3
J
Abb. 4.11 Sperren mit PCP
Zum Zeitpunkt t 6 entsperrt J 3 Semaphor b. J 1 ist der Job der höchsten Priorität,
der bislang durch b blockiert war und er wird jetzt wieder aufgeweckt. Die Priorität
von J 3 fällt auf p 2 . J 1 sperrt und entsperrt a und b und wird zu Ende ausgeführt.
Zum Zeitpunkt t 7 ist J 2 noch durch c blockiert und unter allen Jobs mit p 2 ist J 3 der
einzige, der weiter ausgeführt werden kann. Zum Zeitpunkt t 8 entsperrt J 3 Semaphor
c und seine Priorität fällt auf p 3 . J 2 ist nicht mehr länger blockiert und er verdrängt
J 3 und sperrt c. J 3 wird erst wieder ausgeführt, wenn J 2 beendet wurde.
∇
Beispiel 4.4: Wir betrachten nunmehr ein Beispiel, das wir später für einen Vergleich
mit einem erweiterten PCP-Protokoll verwenden werden. Abb. 4.12 zeigt dieses
zweite Beispiel9. Die höchste Priorität unter allen Semaphoren ist die Priorität von
J 2
J
J 3
1
J
V(a)
P(c)
P(a)
4
a
a
a
a
c
P(b)
P(c)
V(c)
V(c)
P(b)
c
P(a)
b
b
a
V(b)
V(b)
V(a)
t
t 4 5
t 1 2
t
3
t
Abb. 4.12 Zweites PCP-Beispiel
9 Dieses Beispiel wurde [59] entnommen.