1.1 Die Formulierung von Programmen 1.1.1 Ein Betriebssystem besteht aus zahlreichen Programmen sehr unterschied- 1 icher Groesse. Nicht selten bewegt sich der Umfang eines Betriebssystems zwischen 100 Kund 500 K Bytes. Ein mittelgrosser Ubersetzer fur eine Programmiersprache umfasst dagegen nur 30 - 50 K Bytes. (K ist eine Abkurzung fur Kilo, d. h. Tau- 10 send. In der Informatik bedeutet K stets 1024=2 .) In diesem Buch studieren wir Betriebssysteme aus der Sicht des Systementwicklers. Das bedeutet, dass wir die verschiedenen Aufgaben eines Betriebssystems analysieren sowie Programme entwickeln, die diese Aufgaben erfullen. Dabei wird aber weniger die Analyse als vielmehr die Synthese im Vordergrund stehen: wir eroertern, wie die Komponenten eines Betriebssystems unter vorgegebenen Bedingungen realisiert werden koennen. Dabei kann das vorl iegende Buch als Vorbereitung fur andere Bucher dienen, welche sich mehr der Analyse von Betriebssystemen widmen. Wenn der Leser das ange- botene Material durchgearbeitet hat, wird er fur eine tiefergehende Analyse der Leistungsfahigkeit von Betriebssystemen und fur eine Beschaftigung mit Warte- schlangentheorie gut vorbereitet sein. Entwicklungsstudien bilden den angemessenen Hintergrund fur die mathematische Analyse von Systemmodellen. Die Systemanalyse bleibt daher im vorl iegenden Buch auf den Vergleich einiger alternativer Entwurfe und Implementierungen beschrankt.