Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
88 Prozessorverwaltung<br />
. . .<br />
.<br />
In 1 . . Out<br />
Ini<br />
1 Outi<br />
Inn<br />
Prozesse<br />
<br />
.<br />
Pi<br />
<br />
P itoQ<br />
Outn<br />
<br />
q<br />
PZjtoP<br />
PtoPZj<br />
. . .<br />
.<br />
.<br />
Queue Q<br />
.<br />
QtoD .<br />
.<br />
DtoQ<br />
.<br />
Prozessoren<br />
Prozessor PZj <br />
.<br />
.<br />
P ZjtoD<br />
DtoP Zj<br />
zentraler Dispatcher D<br />
q<br />
DtoT j .<br />
.<br />
T jtoD<br />
Timer<br />
Tj<br />
Timer<br />
<br />
Abbildung 4.6.1: Zentrales Dispatching fur m Prozessoren<br />
agent MultiZPZ<br />
input channels<br />
output channels<br />
is network<br />
In 1 : S In1 :::In n : S Inn<br />
Out 1 : S Out1 :::Out n : S Outn<br />
Out 1 P1toQ = P1 In 1 <br />
.<br />
.<br />
.<br />
Out n P ntoQ = Pn In n <br />
QtoD = Q P 1toQ : : : P ntoQ DtoQ <br />
DtoQ DtoT 1 ::: DtoT m<br />
DtoP Z1 : : : DtoP Zm = D QtoD T 1toD ::: T mtoD<br />
PZ1toD : : : P ZmtoD <br />
PZ1toD = PZ1 DtoP Z1 <br />
.<br />
P ZmtoD = PZm DtoP Zm <br />
T 1toD = T1 DtoT1 <br />
.<br />
T mtoD = Tm DtoT m <br />
end MultiZPZ<br />
.<br />
.<br />
.<br />
.<br />
Abbildung 4.6.2: Andl-Spezikation fur das zentrale Multiprozessorsystem MultiZPZ
Change language