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.
116 Speicherverwaltung<br />
PitoSV<br />
.<br />
Ini<br />
.<br />
Pi<br />
.<br />
Outi<br />
Ini<br />
.<br />
Pi<br />
.<br />
Outi<br />
.<br />
PtoPZ<br />
.<br />
.<br />
SV toPi<br />
P ZtoP<br />
.<br />
.<br />
P itoSV<br />
.<br />
Prozessor<br />
Prozessor<br />
SV Pi<br />
SV Pi<br />
.<br />
PZ<br />
PZ<br />
.<br />
. SV toP i<br />
.<br />
.<br />
.<br />
.<br />
.<br />
P itoGS<br />
P ZtoAS<br />
. GStoP i P itoGS . GStoP i<br />
P ZtoAS<br />
.<br />
GStoAS<br />
GStoAS<br />
globaler<br />
.<br />
globaler<br />
.<br />
Speicherverwalter<br />
AStoP Z<br />
Speicherverwalter<br />
AStoP Z<br />
. .<br />
.<br />
GS<br />
GS<br />
.<br />
AStoGS<br />
AStoGS<br />
GStoHS .<br />
.<br />
. . .<br />
GStoHS<br />
.<br />
. .<br />
HStoGS<br />
HStoGS<br />
Hintergrundspeicher<br />
HS<br />
Arbeitsspeicher<br />
AS<br />
Hintergrundspeicher<br />
HS<br />
Arbeitsspeicher<br />
AS<br />
Pi im Zustand waiting oder ready<br />
Pi im Zustand busy<br />
p<br />
Abbildung 5.4.1: System MemManag fur Proze Pi<br />
agent MemManag<br />
input channels<br />
output channels<br />
is network<br />
:::In i : S Ini :::<br />
:::Out i : S Outi :::<br />
.<br />
.<br />
.<br />
Out i P itoSV ::: = Pi In i SV toP i::: <br />
P itoGS SV toP i = SV Pi GStoP i P itoSV <br />
P ZtoAS::: = PZ AStoP Z::: <br />
.<br />
.<br />
.<br />
GStoP 1::: GStoP n<br />
GStoAS GStoHS = GS P 1toGS : : : P ntoGS<br />
AStoGS HStoGS <br />
AStoGS AStoP Z = AS GStoAS P ZtoAS <br />
HStoGS = HS GStoHS <br />
end MemManag<br />
[sowie die Komponenten : Dispatcher<br />
Queue und Timer]<br />
Abbildung 5.4.2: Andl-Spezikation fur das System mit Speicherverwaltung
Change language