1.1 Die Formulierung von Programmen 1.1.1 Ein Betriebssystem besteht aus zahlreichen Programmen sehr unterschied- 1 icher Größe. Nicht selten bewegt sich der Umfang eines Betriebssystems zwischen 100 Kund 500 K Bytes. Ein mittelgroßer Ubersetzer für eine Programmiersprache umfaßt dagegen nur 30 - 50 K Bytes. (K ist eine Abkürzung für "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, daß wir die verschiedenen Aufgaben eines Betriebssystems analysieren sowie Programme entwickeln, die diese Aufgaben erfüllen. Dabei wird aber weniger die Analyse als vielmehr die Synthese im Vordergrund stehen: wir erörtern, wie die Komponenten eines Betriebssystems unter vorgegebenen Bedingungen realisiert werden können. Dabei kann das vorl iegende Buch als Vorbereitung für andere Bücher dienen, welche sich mehr der Analyse von Betriebssystemen widmen. Wenn der Leser das ange botene Material durchgearbeitet hat, wird er für eine tiefergehende Analyse der Leistungsfähigkeit von Betriebssystemen und für eine Beschäftigung mit Warte schlangentheorie gut vorbereitet sein. Entwicklungsstudien bilden den angemessenen Hintergrund für die mathematische Analyse von Systemmodellen. Die Systemanalyse bleibt daher im vorl iegenden Buch auf den Vergleich einiger alternativer Entwürfe und Implementierungen beschränkt.