Eine Methode zur formalen Modellierung von ...

168 Prozeverwaltung
Einbindung des Prozeverwalters in das bestehende System orientieren wir uns daran,
welche Schritte ausgefuhrt werden, um einen neuen Proze in das bestehende System zum
Ressourcenmanagement zu integrieren. Diese umfassen:
1. zunachst und vor allem anderen die Anbindung an das Subsystem der Speicherverwaltung.
Hier wird eine Verbindung zum globalen Speicherverwalter GS benotigt, da
GS uber die Vergabe von Speicherplatz entscheidet. Erst mit dem "
Ok\ des Speicherverwalters
kann der neue Proze erzeugt werden.
2. zur Integration des neuen Prozesses in die Prozessorverwaltung eine Verbindung zur
dem Dispatcher zugeordneten Queue und damit dem Scheduler.
3. die Verbindung zu den Kooperationsverwaltern aller Prozefamilien, um den neuen
Proze in seine Familie einzubinden.
PQtoPV
.
.
.
P V toP Q
P V.
toQ
PV
.
PVtoKVF 1
.
P V toGS
.
.
GStoP V
PVtoKVFm
Abbildung 7.6.1: SSD des Prozeverwalters
Wir erhalten die in Abbildung 7.6.1 gezeigte Schnittstelle des Prozeverwalters. Im System
BS sind die Familien F 1 bis Fmund deren Kooperationsverwalter enthalten. Uber die dabei
verwendeten Kanale PVtoKV Fj mit j 2 f1 : : : mg und PVtoQ werden ausschlielich
Ports verschickt, die zugeordnete Nachrichtenmenge entspricht somit der Menge ?!N BS .
Die Kanalen P QtoP V und PVtoP Q sind bereits in Tabelle 7.5.1 aufgefuhrt, und die
Nachrichtenmengen der Kanale PVtoGS und GStoP V werden in Abschnitt 7.7.2 erklart.
Fur das System BS sei Pid = fPij i 2 INg die Menge der Prozeidentikatoren. PV verfugt
initial uber die Menge privater Kanale, die fur die Einbindung des neuen Prozesses in
das System benotigt werden. Die den privaten Kanalen zugeordneten Nachrichtenmengen
konnen jeweils in den vorangegangenen Kapiteln nachgelesen werden. Die privaten Kanale
von PV umfassen die in Abbildung 7.6.2 genannten Mengen:
Disp zur Integration des Prozesses in das Subsystem der Prozessorverwaltung und
dabei zur Anbindung des Prozesses an die Queue des Dispatchers und den Dispatcher.
Es gilt:
Disp = f?!P itoQ ?!DtoPi j Pi 2 Pidg
FamFj zur Integration eines Prozesses in die Familie Fj mit j 2 f1 : : : mg. Zu dieser
Menge gehoren die Ein- und Ausgabeports zur Verbindung mit dem Kooperations-