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.
Kapitel 7<br />
Prozeverwaltung<br />
Die bisher entwickelte <strong>Modellierung</strong> behandelt wesentliche Bereiche der Ressourcenverwaltung<br />
auf hohem Abstraktionsniveau. Berechnungen werden durch die Prozesse schrittweise<br />
ausgefuhrt. Um diese Ausfuhrung voranschreiten zu lassen, werden Prozessor und Speicher<br />
benotigt. Ein Proze wird suspendiert, wenn die Zeitspanne, fur die ihm der Prozessor zugeteilt<br />
war, abgelaufen ist, siehe Kapitel 4. Er wird blockiert, wenn ein Seitenfehler auftritt,<br />
und die Speicherverwaltung sorgt dafur, da die Ursache fur den Seitenfehler behoben wird,<br />
siehe Kapitel 5. Mit der Prozekooperation aus Kapitel 6 konnen Prozesse, die derselben<br />
Familie angehoren, Nachrichten austauschen und auf diese Weise kooperieren.<br />
Fur das schrittweise entwickelte System haben wir stets vorausgesetzt, da eine feste, statische<br />
Anzahl <strong>von</strong> n Prozessen verwaltet wird. Prozesse wurden bisher nicht erzeugt. Wir<br />
sind durchgangig da<strong>von</strong> ausgegangen, da die Verwaltungskomponenten uber die notwendigen<br />
Informationen verfugen. Ein Beispiel hierfur ist die Zuordnung <strong>von</strong> Seiten zu Blocken<br />
und Seitenrahmen innerhalb eines lokalen Speicherverwalters. In diesem Kapitel wird die<br />
<strong>Modellierung</strong> des Systems vervollstandigt, indem Prozesse auf der Basis <strong>von</strong> Benutzerauftragen<br />
erzeugt und mit dem Abschlu der Berechnung aufgelost werden. Wir erweitern das<br />
System um einen eigenstandigen Bereich, mit dem die Prozeerzeugung modelliert wird.<br />
Von der Erweiterung des Systems ist vor allem die Speicherverwaltung betroen, da ein<br />
Proze nur dann erzeugt werden kann, wenn genugend Speicherplatz vorhanden ist.<br />
7.1 Einfuhrung<br />
Die Auftrage, die der Benutzer an ein Rechensystem stellt, beschreiben Berechnungen,<br />
die er unter Ausnutzung der Rechenleistung des Systems ausfuhren mochte. Die Schritte,<br />
die hierbei durchgefuhrt werden, werden als Programm (oder Benutzerauftrag) an das<br />
Rechensystem gegeben. Um das Programm ausfuhren zu konnen, mu es in maschinennaher<br />
Sprache vorliegen. In dieser Form ist der Prozessor in der Lage, die einzelnen Befehle
Change language