Grundkurs Betriebssysteme

Transkript

1 Grundkurs Betriebssysteme

2 Peter Mandl Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung 4. Auflage

3 Peter Mandl München, Deutschland ISBN DOI / ISBN (ebook) Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Springer Vieweg Springer Fachmedien Wiesbaden 2008, 2010, 2013, 2014 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier Springer Vieweg ist eine Marke von Springer DE. Springer DE ist Teil der Fachverlagsgruppe Springer Science+Business Media.

4 Vorwort Betriebssysteme stellen Dienste für Anwendungssysteme bereit und werden auch nur für diese entwickelt. Ohne Anwendung bräuchte man nämlich auch kein Betriebssystem. Heutige Betriebssysteme wie Unix, Linux, Windows oder Großrechnerbetriebssysteme sind sehr komplexe Programmsysteme, in denen viele Jahre Entwicklungsleistung stecken und die auch ständig weiterentwickelt werden müssen. Sie nutzen viele Techniken und Strategien zur Gewährleistung einer hohen Leistungsfähigkeit und zur Bereitstellung von optimalen Services für die Anwendungen. Das vorliegende Lehrbuch befasst sich mit den Grundlagen von Betriebssystemen. In kompakter Form werden wichtige Grundkonzepte, Verfahren und Algorithmen dargestellt, die in modernen Betriebssystemen eingesetzt werden. Das Buch behandelt die folgenden Themenkomplexe: 1. Einführung 2. Betriebssystemarchitekturen und Betriebsarten 3. Interruptverarbeitung 4. Prozesse und Threads 5. CPU-Scheduling 6. Synchronisation und Kommunikation 7. Hauptspeicherverwaltung 8. Geräte- und Dateiverwaltung 9. Betriebssystemvirtualisierung Der Schwerpunkt liegt bei sog. Mehrzweckbetriebssystemen oder Universalbetriebssystemen, die überwiegend für betriebliche Informationssysteme eingesetzt werden, weniger bei Realzeit- bzw. Embedded Systemen, die mehr in technischen Fragestellungen relevant sind. Einige grundlegende Konzepte gelten aber für alle Typen von Betriebssystemen. Kapitel 1 enthält eine Einführung in grundlegende Konzepte und Aufgaben von Betriebssystemen sowie eine historische Betrachtung. Kapitel 2 stellt wichtige Architekturvarianten und Betriebsarten von Betriebssystemen vor. In Kapitel 3 werden die Konzepte zur Interruptbearbeitung und zur Behandlung von Systemaufrufen diskutiert. V

5 Vorwort Im Kapitel 4 wird erläutert, wie heutige Betriebssysteme die Ressourcen Prozess und Thread verwalten. Was Threads sind und wie sie in höheren Programmiersprachen wie Java und C# verwendet werden können, wird ebenfalls dargestellt. Kapitel 5 beschreibt verschiedene Strategien zur Verwaltung von Prozessen und Threads (CPU-Scheduling = Ablaufplanung) und erläutert, wie ein Betriebssystem einen Prozess-/Threadwechsel durchführt (Dispatching = Arbeitsvorbereitung, Disposition). Verschiedene Scheduling-Strategien werden vorgestellt und mit Fallbeispielen unterlegt. Das Thema Synchronisation und Kommunikation wird in Kapitel 6 behandelt, wobei die grundlegenden Prinzipien paralleler bzw. nebenläufiger Bearbeitung von Objekten durch Prozesse und Threads erläutert werden. Als Mechanismen zur Synchronisation nebenläufiger Prozesse und Threads werden Locks, Semaphore, Mutexe und Monitore behandelt. Es wird gezeigt, wie man diese Mechanismen in höheren Sprachen wie Java und C# einsetzen kann. Kommunikationsmöglichkeiten zwischen Prozessen oder Threads werden ebenfalls vorgestellt, wobei z. B. auf das Pipe-Konzept eingegangen wird. In Kapitel 7 werden schließlich die Konzepte der Hauptspeicherverwaltung ausführlich erläutert, wobei die virtuelle Speichertechnik im Mittelpunkt steht. Seitenersetzungsstrategien werden vorgestellt und Ansätze für die Verwaltung großer Adressräume skizziert. Ein grundlegender Einblick in einige Konzepte der Geräte- und Dateiverwaltung innerhalb von Betriebssystemen folgt in Kapitel 8. Es wird erläutert, wie die Geräteverwaltung ins Betriebssystem eingebettet ist und wie Dateisysteme prinzipiell funktionieren. Schließlich befasst sich das Kapitel 9 mit den grundlegenden Konzepten und Lösungsansätzen für die Virtualisierung von Betriebssystemen. Im Anhang sind einige Ergänzungen enthalten. Insbesondere werden einige Datenstrukturen, die in Betriebssystemen häufig verwendet werden, im Anhang einführend erläutert. In diesem Buch wird ein praxisnaher Ansatz gewählt. Der Stoff wird mit vielen Beispielen aus aktuell relevanten Betriebssystemen und Programmiersprachen angereichert. Als Beispiel-Betriebssysteme werden vorwiegend Windows, Unix und Linux herangezogen. Zu jedem Kapitel sind Übungsaufgaben beigefügt. Für das Verständnis einiger Programmbeispiele sind grundlegende Kenntnisse von Programmiersprachen (C, C++, Java und C#) nützlich, jedoch können die wesentlichen VI

6 Vorwort Konzepte auch ohne tiefere Programmierkenntnisse verstanden werden. Vom Leser werden ansonsten keine weiteren Grundkenntnisse vorausgesetzt. In der zweiten Auflage wurden textliche Überarbeitungen sowie einige Aktualisierungen vorgenommen und es wurden zahlreiche Fehler behoben. Der Aufbau des Buches blieb bis auf die Aufteilung von Kapitel 1 in drei Einzelkapitel unverändert. Die Einführung in wichtige Datenstrukturen wurde in den Anhang verlegt. In der dritten Auflage wurde die Kapitelaufteilung ebenfalls beibehalten und es wurde das Kapitel 9 zum Thema Betriebssystemvirtualisierung ergänzt. Dieses Thema war uns aufgrund der immensen Entwicklung in den letzten Jahren ein eigenes Kapitel wert. Innerhalb der einzelnen Kapitel wurden teilweise umfangreiche Aktualisierungen vorgenommen. Der didaktische Aufbau wurde verbessert und es wurden neue Fallbeispiele wie etwa das Betriebssystem Android für mobile Geräte in die einzelnen Kapitel eingearbeitet. Die vierte Auflage dient der Aktualisierung und Fehlerbehebung, wobei die grundlegende Struktur beibehalten wurde. Bedanken möchte ich mich sehr herzlich bei meinen Kolleginnen und Kollegen sowie bei all meinen Tutoren für die Diskussionen im Rahmen der Vorlesungen und Übungen. Ganz herzlich möchte ich mich an dieser Stelle für die Anregungen von Studierenden bedanken, die das Buch für die Nachbearbeitung von Vorlesungen und zur Prüfungsvorbereitung nutzten. Ein herzliches Dankeschön geht auch an meine Kolleginnen und Kollegen aus anderen Hochschulen, die das Buch ebenfalls für ihre Veranstaltungen verwenden und mir wichtige Hinweise und Anregungen übermittelten. Für die zahlreichen textlichen Hinweise und die inhaltlichen Verbesserungsvorschläge zur zweiten Auflage möchte ich meinem Kollegen Herrn Prof. Dr. Christian Vogt recht herzlich danken. Dem Verlag, insbesondere Frau Sybille Thelen, danke ich für die Unterstützung bei den ersten beiden Auflagen sowie der vierten Auflage und für die allzeit problemlose Zusammenarbeit. Bei Frau Maren Mithöfer möchte ich mich ebenfalls ganz herzlich für die konstruktive Zusammenarbeit und für die wertvolle Unterstützung bei der dritten Auflage bedanken. Fragen und Korrekturvorschläge richten Sie bitte an [email protected]. Ich freue mich auf weitere Vorschläge, die sich aus der Nutzung des Buches ergeben. Begleitende Informationen zur Vorlesung finden Sie oder unter München, im Juli 2014 Peter Mandl VII

7 Inhaltsverzeichnis 1 Einführung Computersysteme Einführung Aufgabe von Betriebssystemen Grundlegende Hardwaremodelle CPU-Registersatz Multicore-Prozessoren und Hyperthreading-CPUs Einfaches Modell der Hardware für die weitere Betrachtung Beispiele für Mikroprozessor-Architekturen Entwicklung von Betriebssystemen Betriebssystemkategorien Universalbetriebssysteme Historische Entwicklung Geschichte von Microsoft Windows Geschichte von Unix Geschichte von Linux Übungsaufgaben Betriebssystemarchitekturen und Betriebsarten Zugriffsschutz in Betriebssystemen Betriebssystemarchitekturen Klassische Architekturen Mikrokern-Architektur Architekturbeispiele Klassische Großrechnerbetriebsarten Multiprogramming, Multiprocessing und Multitasking Batchverarbeitung und interaktive Verarbeitung Teilnehmerbetrieb Teilhaberbetrieb Terminalserver-Betrieb Verteilte Verarbeitung Echt verteilte Betriebssysteme Client-/Server-Systeme IX

8 Inhaltsverzeichnis Peer-to-Peer-Systeme Kommunikations-Middleware Application-Server-Betrieb Virtualisierung von Betriebs- und Laufzeitsystemen Cloud Computing Übungsaufgaben Interruptverarbeitung Interrupts Überblick Interrupt-Bearbeitung Interrupt-Verarbeitung bei IA32-Prozessoren Interrupt-Bearbeitung unter Windows Interruptverarbeitung unter Linux Systemaufrufe Systemaufrufe aus Sicht eines Anwendungsprogrammierers Software-Interrupts unter Linux Software-Interrupts unter Windows Übungsaufgaben Prozesse und Threads Prozesse Prozessmodell Prozessverwaltung Prozesslebenszyklus Threads Threadmodell Implementierung von Threads Vor-/Nachteile und Einsatzgebiete von Threads Programmierkonzepte für Threads Threads in Java Threads in C# Prozesse und Threads in konkreten Betriebssystemen Prozesse und Threads unter Windows Prozesse und Threads unter Unix und Linux Übungsaufgaben X

9 Inhaltsverzeichnis 5 CPU-Scheduling Scheduling-Kriterien Scheduling-Verfahren Verdrängende und nicht verdrängende Verfahren Überblick über Scheduling-Verfahren Multi-Level-Scheduling mit Prioritäten Round-Robin-Scheduling mit Prioritäten Vergleich ausgewählter Scheduling-Verfahren CPU-Scheduling im ursprünglichen Unix CPU-Scheduling unter Linux CPU-Scheduling unter Windows Scheduling von Threads in Java Zusammenfassung Übungsaufgaben Synchronisation und Kommunikation Grundlegendes zur Synchronisation Nebenläufigkeit, atomare Aktionen und Race Conditions Kritische Abschnitte und wechselseitiger Ausschluss Eigenschaften nebenläufiger Programme Synchronisationskonzepte Sperren Semaphore Monitore Synchronisationstechniken moderner Betriebssysteme Synchronisationsmechanismen in Programmiersprachen Die Java-Synchronisationsprimitive synchronized Warten auf Bedingungen in Java Weitere Synchronisationsmechanismen in Java C#-Monitore Die C#-Synchronisationsprimitive lock C#-Mutex-Objekte C#-Lese- und Schreibsperren C#-Interlocked-Klasse Warten auf Bedingungen in C# Kommunikation von Prozessen und Threads Überblick über Kommunikationsmöglichkeiten XI

10 Inhaltsverzeichnis Verbindungsorientierte versus verbindungslose Kommunikation Speicherbasierte versus nachrichtenbasierte Kommunikation Synchrone versus asynchrone Kommunikation Kommunikationskanäle im Halb- und Vollduplex-Betrieb Varianten der Empfängeradressierung Fallbeispiel: Rechnerinterne Kommunikation über Pipes Rechnerübergreifende Interprozesskommunikation Übungsaufgaben Hauptspeicherverwaltung Grundlegende Betrachtungen Speicherhierarchien Lokalität Adressen und Adressräume Techniken der Speicherverwaltung Virtueller Speicher Grundbegriffe und Funktionsweise Optimierung der Speicherverwaltung Seitenersetzung und Verdrängung (Replacement) Vergleich von Seitenersetzungsverfahren Speicherbelegungs- und Vergabestrategien (Placement) Entladestrategie (Cleaning) Eine weitere Technik: Segmentadressierung Shared Memory Speicherverwaltung in ausgewählten Systemen Linux-Speicherverwaltung Windows-Speicherverwaltung Android-Speicherverwaltung Übungsaufgaben Geräte- und Dateiverwaltung Aufgaben und Überblick Grundlegendes Gerätearten Geräteanbindung unter Unix Memory-Mapped Ein-/Ausgabe und DMA Dateiverwaltung XII

11 Inhaltsverzeichnis Allgemeines Fallbeispiel: Dateisysteme unter Unix Fallbeispiel: Dateisysteme unter Linux Fallbeispiel: Dateisysteme unter Windows Storage-Systeme RAID-Plattensysteme NAS und SAN Übungsaufgaben Betriebssystemvirtualisierung Grundbegriffe und Einsatzgebiete Virtualisierungsterminologie Einsatz der Virtualisierungstechnik Vor- und Nachteile der Virtualisierung Virtualisierbarkeit der Hardware Hardware-Voraussetzungen Virtualisierung bei x86-prozessoren Virtualisierungstechniken in Prozessoren Varianten der Virtualisierung Typ-1-Hypervisor Typ-2-Hypervisor Paravirtualisierung Weitere Virtualisierungsansätze Betriebsmittelverwaltung bei Virtualisierung Interruptverarbeitung und Gerätesteuerung CPU-Scheduling Speicherverwaltung Zusammenfassung Übungsaufgaben Schlussbemerkung Lösungen zu den Übungsaufgaben Einführung Betriebssystemarchitekturen und Betriebsarten Interruptverarbeitung Prozesse und Threads CPU-Scheduling XIII

12 Inhaltsverzeichnis 11.6 Synchronisation und Kommunikation Hauptspeicherverwaltung Geräte- und Dateiverwaltung Betriebssystemvirtualisierung Anhang A1 Zahlennamen A2 Metrische Grundeinheiten A3 Wichtige Datenstrukturen für Betriebssysteme A4 Java-Implementierung des Dining-Philosophers-Problems A5 C#-Implementierung des Dining-Philosophers-Problems A6 C#-Implementierung des Zählerproblems mit Monitoren Literaturhinweise Sachwortverzeichnis XIV