Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
160 Prozeverwaltung<br />
.<br />
.<br />
.<br />
Login<br />
.<br />
neuer Proze<br />
.<br />
.<br />
Kooperation<br />
Prozesse<br />
<br />
.<br />
.<br />
Proze-<br />
verwaltung<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
Speicherverwaltung<br />
mit<br />
priv/glob SVerwalter<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
.<br />
Prozessorverwaltung<br />
mit<br />
Dispatcher, Queue, Timer<br />
.<br />
.<br />
.<br />
.<br />
.<br />
Prozessor<br />
.<br />
HS<br />
AS<br />
Abbildung 7.2.2: Erweitertes System mit Prozeerzeugung<br />
Pfortnerqueue: Alle Benutzerauftrage, die die Uberprufung durch den Pfortner bestanden<br />
haben, werden gespeichert. Die Queue wird als neue Komponente zum System<br />
hinzugenommen, wobei wir auf bereits spezizierte Queues <strong>zur</strong>uckgreifen.<br />
Prozeverwalter: Zur Ausfuhrung der Auftrage berechtigter Benutzer erzeugt der Prozeverwalter<br />
Prozesse und integriert sie in das System. Aufgrund der in jedem Auftrag<br />
codierten Informationen bzgl. des erforderlichen Speicherplatzes und der Einordnung<br />
in eine Familie kann die Erzeugung erfolgen. Der Prozeverwalter uberpruft mit Hilfe<br />
des globalen Speicherverwalters, ob freier Speicherplatz in ausreichender Groe<br />
verfugbar ist. Ist dies der Fall, wird ein Proze erzeugt und in seine Familie eingeordnet.<br />
Der Prozeverwalter wird vollstandig neu speziziert.<br />
Prozesse: werden bei Bedarf und <strong>zur</strong> Ausfuhrung eines Benutzerauftrags erzeugt. Die<br />
<strong>Modellierung</strong> der Prozesse wird ubernommen und geringfugig erganzt: Ein Proze,<br />
dessen Berechnung terminiert, wird aufgelost.<br />
globaler Speicherverwalter: Ein Proze kann nur erzeugt werden, wenn freier Speicherplatz<br />
der geforderten Groe und dabei insbesondere genugend freie Seitenrahmen<br />
verfugbar sind. Vom Prozeverwalter erhalt der globale Speicherverwalter die Information<br />
uber die Anzahl der benotigten Seitenrahmen. Die bereits erstellte <strong>Modellierung</strong><br />
wird so erweitert, da uber belegte und freie Seitenrahmen und Blocke Buch<br />
gefuhrt wird. Kann ein Proze auf dieser Basis erzeugt werden, wird Speicherplatz<br />
belegt, und ein lokaler Speicherverwalter wird erzeugt. Von privaten Speicherverwaltern<br />
werden die Meldungen uber freigewordene Speicherbereiche empfangen diese<br />
mussen registriert werden. Die <strong>Modellierung</strong> des globalen Speicherverwalters wird<br />
angepat und erweitert.
Change language