Eine Methode zur formalen Modellierung von ...

Kapitel 3
Betriebssysteme
In diesem Kapitel geben wir einen Uberblick uber die zentralen Aufgaben eines Betriebssystems
und gehen dabei auf die wesentliche Betriebssystemliteratur ein. Zum besseren
Verstandnis aller in den folgenden Kapiteln erstellten Modellierungen wird die von uns
eingenommene Sichtweise der Funktionalitat eines Betriebssystems erlautert und festgelegt.
Wir geben keine grundlegende und umfassende Einfuhrung in Betriebssysteme und
halten dieses Kapitel moglichst kurz, da viele Erlauterungen und Festlegungen entweder
in spateren Kapiteln aufgegrien werden oder in der genannten Literatur zu nden sind.
3.1 Was ist ein Betriebssystem?
Betriebssysteme sind eines der klassischen Anwendungsgebiete aus der praktischen, technischen
und systemnahen Informatik. Ein Betriebssystem umfat alle Programme, Daten
und Dienste eines Rechensystems, die, ohne auf eine bestimmte Anwendung zugeschnitten
zu sein, die Nutzung eines Rechensystems ermoglichen. Ein Rechensystem ist ein technisches
System, das in der Lage ist, Informationen zu speichern und zu verarbeiten, so
da es vom Benutzer zur Durchfuhrung der geforderten Aufgaben eingesetzt werden kann.
Ein Rechensystem ist gepragt durch die Hard- und Software, aus der es besteht, wobei
insbesondere das Betriebssystem zur Software gehort.
Die Hardware eines Rechensystems ist mit festgelegten Eigenschaften vorgegeben. Sie bildet
die physikalische Realitat und wird durch entsprechende Software geeignet nutzbar
gemacht. Fur Benutzer wird die Hardwarekonguration so bereitgestellt, da Anwendungen
durchgefuhrt werden konnen, ohne da technische Details bekannt sein oder Benutzer
in Maschinensprache programmieren mussen. Das Betriebssystem stellt die Schnittstelle
zwischen Hardware und Benutzer bereit. In einem Rechensystem stehen Ressourcen
(Betriebsmittel), wie beispielsweise Speicher oder Prozessoren, meist in nicht ausreichender
Anzahl zur Verfugung. Zur Durchfuhrung von Anwendungen werden diese Ressourcen