Eine Methode zur formalen Modellierung von ...

3.3 Managementaufgaben eines Betriebssystems 43
3.3.4 Prozeverwaltung
Die Auftrage, die der Benutzer an ein Rechensystem gibt, sind Berechnungen, die unter Zuhilfenahme
der gegebenen Rechenleistung ausgefuhrt werden sollen. Die Auftrage werden
in Form eines Programmes an das Rechensystem gegeben, das ublicherweise nicht in einer
maschinennahen Sprache, die direkt von einem Prozessor ausgefuhrt werden kann, formuliert
ist. Es soll sichergestellt sein, da nur solche Benutzer, die uber einen berechtigten
Zugang zum System verfugen, das Rechensystem benutzen konnen. Diese Anforderungen
werden in Kapitel 7 im Rahmen der Prozeverwaltung durch einen Pfortner gewahrleistet.
Prozesse, durch die Auftrage ausgefuhrt werden, mussen erzeugt werden. Dies ist nur dann
moglich, wenn genugend Speicherplatz zur Verfugung steht. Um die Berechnung ausfuhren
zu konnen, mu ein Proze erzeugt und in das bestehende System so integriert werden,
da er den Prozessor und alle weiteren Betriebsmittel in Verbindung mit den Verwaltungskomponenten
des Betriebssystems nutzen kann. Dies wird durch die Prozeverwaltung in
Verbindung mit der Speicherverwaltung gewahrleistet. Ein Proze gehort zu einer Gruppe
von Prozessen. Er wird entsprechend seiner Zugehorigkeit in die Menge der bereits
existierenden Prozesse integriert.
Die hier fur die Prozeverwaltung beschriebenen Aufgaben werden in der Literatur mit den
Beschreibungen des Prozekonzepts und deren Erzeugung bzw. Terminierung vorgestellt,
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 Gruppen ist eine Moglichkeit zur Beschreibung
von Abhangigkeiten zwischen Prozessen, die insbesondere bei der Erzeugung von Kindprozessen
entstehen vergleiche auch hierzu die oben genannten Abschnitte. Die Hinzunahme
eines Pfortners (Login) zum modellierten System sowie die Ubersetzung eines Programms
(Compiler) in maschinensprachlichen Code resultieren aus der Schnittstellenfunktion eines
Betriebssystems siehe Abschnitt 4.1.3 in [Spi95] sowie Kapitel 8.1 in [GS94]. Der Pfortner
ist als stark vereinfachende Manahme zu den in Kapitel 14 in [GS94] oder Kapitel 10.2
in [Sta92] beschriebenen Verfahren zur Sicherheit in Rechensystemen zu sehen.