Eine Methode zur formalen Modellierung von ...

158 Prozeverwaltung
direkt auszufuhren. Da ein Benutzerauftrag ublicherweise nicht in dieser Sprache formuliert
ist, mu er entsprechend ubersetzt werden. Die Ubersetzung eines Programms in einen
maschinensprachlichen Code durch einen Compiler resultiert aus der Schnittstellenfunktion
zwischen Benutzer und Rechensystem, fur die ein Betriebssystem ebenfalls zustandig ist
vergleiche Kapitel 8.1 in [GS94] oder Abschnitt 4.1.3 in [Spi95].
Ein Proze wird zur Ausfuhrung eines auf diese Weise hergeleiteten Programms erzeugt.
Er terminiert, wenn die Ausfuhrung der Berechnung abgeschlossen ist. Da fur einen Proze
Speicherplatz benotigt wird, kann er erst dann erzeugt werden, wenn freier Speicherplatz in
ausreichender Groe zur Verfugung steht. Terminiert der Proze wird der von ihm belegte
Speicherplatz freigegeben. Um die Berechnung ausfuhren zu konnen, mu ein Proze bei
seiner Erzeugung so in das bestehende System integriert werden, da er den Prozessor und
alle weiteren Betriebsmittel in Verbindung mit den Verwaltungskomponenten des Betriebssystems
nutzen kann. Diese Integration erfolgt durch die Speicher- und Prozeverwaltung.
Da ein Proze einer Familie angehort, mit deren Mitgliedern er kooperieren kann, mu
dafur gesorgt werden, da er gema seiner Familienzugehorigkeit in die Menge der bereits
existierenden Prozesse eingegliedert wird.
Die Manahmen zur Integration eines Prozesse in ein bestehendes System sind in der
Literatur bei der Beschreibung des Prozekonzepts aufgefuhrt. Im Detail werden Prozeerzeugung
und Terminierung beschrieben, siehe beispielsweise die Kapitel 3 in [Sta92], 4.3.1
und 4.3.2 in [GS94] oder 4.1.3 in [Spi95]. Der Zusammenschlu von Prozessen zu Teilmengen,
den Familien, ist eine Moglichkeit zur Beschreibung von Abhangigkeiten zwischen
Prozessen, die insbesondere bei der Erzeugung von Kindprozessen entstehen vergleiche
hierzu ebenfalls die oben genannten Abschnitte zur Erzeugung von Prozessen. Fur ein
Rechensystem mu sichergestellt sein, da das System nur von Benutzern, die uber eine
Zugangsberechtigung zum System verfugen, benutzt wird. Die Hinzunahme eines Pfortners
(Login) zum modellierten System ist eine stark vereinfachende Manahme zu den in
Kapitel 14 in [GS94] oder Kapitel 10.2 in [Sta92] beschriebenen Verfahren zur Sicherheit
in Rechensystemen.
7.2 Methodische Vorgehensweise
Alle bisher gezeigten Modellierungen basieren darauf, da fur das System eine feste, statische
Anzahl von n Prozessen festgelegt ist. Das Zustandsdiagramm, das mit den Modellierungen
von Kapitel 6 gultig ist, umfat bereits die, bezogen auf die Betriebsmittelverwaltung,
wesentlichen Zustande fur Prozesse. Zur Vervollstandigung des Verhaltens eines
Prozesses und des von uns entwickelten Systems nehmen wir die Zustande started und
terminated hinzu und erhalten das Zustandsdiagramm aus Abbildung 7.2.1.
Mit den in diesem Kapitel vorgenommenen Erweiterungen wird ein Proze auf der Basis
eines gultigen Benutzerauftrags erzeugt, den das System von seiner Umgebung erhalt. Es
wird vorausgesetzt, da ein neuer Proze nur dann erzeugt werden kann, wenn genugend