Informatik II. Betriebssysteme. Betriebssysteme. Betriebssysteme. Betriebssysteme. Rainer Schrader. 26. November 2008

Transkript

1 Informatik II Rainer Schrader Zentrum für Angewandte Informatik Köln 26. November / 73 2 / 73 Gliederung Aufgaben Scheduling Speicherverwaltung ist ein Standardthema in jedem Informatik-Curriculum wir können es in dieser Grundvorlesung nur kurz (zwei Vorlesungen) anreißen wir beginnen mit einer Übersicht und geben dann exemplarisch erste Einblicke in zwei zentrale Themen: Prozess-Scheduling und Speicherverwaltung im Hauptstudium wird regelmäßig eine Spezialvorlesung angeboten weiterführende Literatur: A. S. Tanenbaum: Moderne, 2. Auflage, Person Studium, / 73 4 / 73

2 Aufbau eines Computersystems (Schichtenmodell) Was ist ein Betriebssystem? Das Betriebssystem (BS) ist ein Programm, das die Verbindung zwischen Nutzer und Hardware herstellt es schafft dem Nutzer eine Umgebung, in der seine Programme einfach und schnell ausgeführt werden können daher muss es vorhandene Hardware-Ressourcen (CPU-Zeit, Speicher, Ein-/Ausgabe ) den Anwendungsprogrammen zur Verfügung stellen und dabei Kriterien wie Fairness und Effizienz berücksichtigen User 1 User 2 User Compiler, Editor,..., Spiele,...., DB-System Anwendungsprogramme Betriebssystem Computerhardware 5 / 73 6 / 73 Ein Betriebssystem Nach DIN umfasst ein Betriebssystem: die Programme eines digitalen Rechensystems, die zusammen mit den Eigenschaften dieser Rechenanlage die Basis der möglichen Betriebsarten des Rechensystems bilden und die insbesondere die Abwicklung von Programmen steuern und überwachen verschleiert die Komplexität der Maschine dem Anwender gegenüber (Abstraktion), stellt Benutzerschnittstellen bereit (Shell, Kommandointerpreter, Desktop, ), verwaltet Maschinen-Ressourcen wie Prozessor(en), Hauptspeicher (Cache), Hintergrundspeicher (Platte, Band, ), Geräte (Terminal, Scanner, Drucker, Platten, ), Rechenzeit koordiniert den Ablauf von Prozessen. 7 / 73 8 / 73

3 Historische Klassifikation 2. Computergeneration ( ) Charakteristikum: Transistoren und Stapelverarbeitung 1. Computergeneration ( ) hatte kein Betriebssystem Charakteristikum: Röhren und Steckbretter Programmierung via Steckbrett, Lochstreifen, Lochkarten keine (höheren) Programmiersprachen Eingabe eines Auftrags in geschlossener Form: Programm + Daten + Steueranweisungen Ausgabe nach Abschluss der Bearbeitung i.d.r. als Ausdruck auf Papier Batch-Betrieb (Stapelverarbeitung) einfache Job-Control-Sprache Programmiersprachen (Assembler, Cobol, Fortran, ) Magnetbänder als Zwischenspeicher 9 / / Computergeneration ( ) Charakteristikum: Integrierte Schaltkreise und Multiprogrammierung Kommunikation mit Computer via Tastatur, Bildschirm zum Starten, Verfolgen und Beeinflussen des Programms Multiprogrammierung (mehrere Programme gleichzeitig im Speicher) simulierte quasisimultane Bearbeitung der einzelnen Programme, Timesharing-Betrieb mit Terminals SPOOLING (simultaneous peripheral operation on line) direktes Speichern von Rechenaufträgen und Druckaufträgen auf der Platte MULTICS als UNIX-Vorgänger (MIT) 4. Computergeneration (seit 1980) Charakteristikum: Personal Computer (PC) UNIX und C Multitasking, d.h. quasisimultane Bearbeitung weitgehend unabhängiger Programmabschnitte innerhalb eines Auftrags MS-DOS, Windows Mehrprozessorsysteme mit verteiltem Betriebssystem 11 / / 73

4 Weitere Entwicklung verbesserte Unterstützung der Parallelverarbeitung Realzeitfähigkeiten zur Unterstützung von Multimedia-Anwendungen (Audio, Video) Software in Eingebetteten Systemen benötigt Betriebssystem-Unterstützung (Palm OS, Windows CE) Klassifikation nach Betriebsart des Rechensystems Stapelverarbeitungs- (batch processing) Dialogbetrieb- (interactive-, dialog-processing) Netzwerk- (network processing) Realzeit- (realtime processing, fest nach oben begrenzte Antwortzeiten) für Prozessrechner für Steuerungs- und Regelaufgaben (kurze Antwortzeiten gefordert) Universelle (erfüllen mehrere Kategorien) 13 / / 73 Klassifikation nach der Anzahl gleichzeitig laufender Programme (task b= Prozess b= Aufgabe, Auftrag) Einzelprogrammbetrieb (single tasking): Abarbeitung mehrerer Programme nacheinander Mehrprogrammbetrieb (multitasking): Abarbeitung mehrerer Programme gleichzeitig bei mehreren CPUs oder zeitlich verschachtelt b= quasiparallel Klassifikation nach der Anzahl gleichzeitig arbeitender Benutzer Einzelbenutzerbetrieb (single user mode) Computer exklusiv für einen Benutzer Mehrbenutzerbetrieb (multiuser mode) Mehrere Nutzer greifen via Terminals oder Netzwerkverbindung auf den Computer zu 15 / / 73

5 Strukturierung eines BS in mehreren Schichten/Schalen: Klassifikation nach der Anzahl der verwalteten Prozessoren/Rechner Ein-Prozessor-Betriebssystem (Rechner, die auf von-neumann- Architektur aufgebaut sind), haben nur einen Universalprozessor. Zugehörige unterstützen nur einen Prozessor Mehr-Prozessor-Betriebssystem (Hier existieren wenigstens zwei Prozessoren, die auf verschiedene Weisen gekoppelt sein können.) Hardware BS - Kern Anwendungsprogramme 17 / / 73 Strukturierung eines BS in mehreren Schichten/Schalen: Die unterste Schicht umfasst alle hardwareabhängigen Teile des Betriebssystems (insbesondere die Verarbeitung von Interrupts) setzt direkt auf die Rechner-Hardware auf verwaltet reale Betriebsmittel stellt statt dessen virtuelle Betriebsmittel bereit wird auch als BIOS (Basic I/O-System) bezeichnet alle weiteren Schichten arbeiten dann hardwareunabhängig Strukturierung eines BS in mehreren Schichten/Schalen: die nächste Schicht enthält grundlegende E/A-Dienste für Plattenspeicher und Peripheriegeräte die darauffolgende Schicht behandelt Kommunikations- und Netzwerkdienste, Dateien und Dateisysteme weitere Schichten sind je nach Anforderungen möglich 19 / / 73

6 jede Schicht bildet abstrakte (virtuelle) Maschinen diese kommunizieren mit benachbarten Schichten mittels wohldefinierter Schnittstellen ruft ggf. Funktionen in der nächstunteren Schicht auf stellt Funktionen für die nächsthöhere Schicht zur Verfügung Gesamtheit der Funktionen einer Schicht: Dienste der Schicht Gesamtheit der Vorschriften, die für Nutzung der Dienste einzuhalten sind: = Protokoll höhere BS-Schichten sind durch Programmierschnittstellen (API = Application Program Interface) vom Kern getrennt dadurch haben Änderungen am BS-Kern oder der Hardware keine (kaum) Auswirkungen auf Anwenderprogramme Prozesse beim Multitasking-/Multiuser-Betrieb müssen die Betriebsmittel auf die Programme verteilt werden zu jedem Programm muss vermerkt werden, welche Betriebsmittel (Speicher, CPU-Zeit, ) von ihm benötigt werden diese Informationen über benötigte Betriebsmittel für Programme werden zusammen mit dem Programm selbst auch Prozess (task) genannt Prozess = Programm im Stadium der Ausführung in Multitaskingsystemen muss das BS die Abarbeitungsreihenfolge der Prozesse festlegen (Scheduling) das Scheduling ist selbst in Spezialfällen (nonpreemptive Scheduling) aus algorithmischer Sicht schwierig, wie wir später sehen werden 21 / / 73 Prozessverwaltung ein Prozess ( Elternprozess ) kann andere Prozesse ( Kindprozesse ) erzeugen ein Programm (Job) in einem Multiprogramm-System kann mehrere Prozesse (Multiprocessing) erzeugen z.b. in Unix kann man dem Interpreter (der shell) das Kommando geben: cat Text1 Text2 pr lpr dieses Kommando erzeugt drei Prozesse: (1) Aneinanderhängen von Text1 und Text2 (2) Konvertieren einer Textdatei in eine ausdruckfähige Datei (3) Ausdrucken (durch wird die Ausgabe eines Prozesses zur Eingabe des nächsten) bei Einprozessorsystemen ist nur ein Prozess aktiv, die anderen sind blockiert bei gleichzeitigem Zugriff von zwei Prozessen auf das gleiche Betriebsmittel muss dieser Zugriff koordiniert werden dazu ordnet man den Prozessen Prozesszustände zu, die die Koordination herstellen: Prozesszustand running ready waiting blocked new killed terminated Bedeutung Prozess wird gerade ausgeführt Prozess ist zur Ausführung bereit und wartet auf einen freien Prozessor Prozess wartet auf das Eintreten eines Ereignisses (z.b. auf Freigabe eines von ihm belegten Betriebsmittels) Prozess wartet auf ein fremdbelegtes Betriebsmittel Prozess wird erzeugt Prozess wird vorzeitig abgebrochen Prozess ist beendet 23 / / 73

7 Zustandsdiagramm (Übergänge zwischen Prozesszuständen) new admitted interrupted exit terminated Bei Prozessen ist das Betriebssystem primär zuständig für die Prozessverwaltung: Aufteilung von Speicherplatz und CPU-Zeit ready running Bereitstellung von Mechanismen zur Synchronisation und Kommunikation unter Prozessen Behandlung von Verklemmungs-Situationen ( Deadlock ) I/0 or event completion scheduler dispatch waiting I/0 or event wait 25 / / 73 im Betriebssystem werden Prozesse durch Prozesskontrollblöcke (PCB) repräsentiert diese enthalten alle für das Betriebssystem wichtigen Informationen über die Prozesse z.b. sind folgende Informationen gespeichert: PCB-Feld Bedeutung Status enthält den Prozesszustand Programmzähler enthält die Adresse der nächsten auszuführenden Instruktion Speichermanagment enthält die letzten Werte der Speicherregister, Seitentabellen, und weitere Informationen für die Speicherverwaltung E/A-Status enthält Listen zugeordneter E/A-Geräte, offener Dateien, Accounting enthält die verbrauchte CPU-Zeit, Zeitbeschränkung, Buchungszahlen, CPU-Scheduling enthält Prioritäten, Zeiger auf Warteschlangen und andere Scheduling-Parameter Die Kommunikation zwischen Prozessen erfolgt durch: Message Passing oder Shared Memory Message Passing das BS baut eine uni- oder bidirektionale Verbindung zwischen zwei Prozessen A und B auf dazu dienen Systemaufrufe wie open_connection, accept_connection oder close_connection mit send und receive erfolgt ein Nachrichtenaustausch über diese Verbindungen 27 / / 73

8 Shared Memory ein Prozess hebt die exklusive Nutzung von Speicherbereichen auf über diese Speicherbereiche können Nachrichten ausgetauscht werden Prozess A speichert Nachrichten an Prozess B in dessen Speicherbereich ohne Umweg über den BS-Kern Vorteile von Shared Memory gegenüber Message Passing: grosse Datenmengen können schneller übertragen werden mögliche Probleme bei Shared Memory: Synchronisation und Konsistenz: A muss geschrieben haben, erst danach kann B lesen Singletasking der Hauptspeicher enthält: den Betriebssystemkern darauf aufsetzend den Command Interpreter (CI) darauf wird ein aufgerufener Prozess exklusiv in den Speicher geladen Bei Multiprogramming und Multitasking können daneben mehrere Prozesse gleichzeitig im Speicher sein: P j... P 2 P 1 CI BS-Kern Das BS regelt den Zugriff der Prozesse auf die CPU Scheduling. 29 / / 73 Das Scheduling geschieht auf zwei Ebenen: der Langzeit-(Job)Scheduler ist zuständig für die Prozesse, die in Speicher geladen werden Scheduling Aufgaben Scheduling Speicherverwaltung der Kurzzeit-(CPU)Scheduler legt fest, welcher der geladenen Prozesse im ready-status wann auf CPU zugreifen kann gute Scheduler achten auf einen ausgewogenen Job-Mix zwischen E/A-intensiven und rechenintensiven Prozessen im Interesse einer guten Auslastung des Gesamtsystems bei Multitasking organisiert das Betriebssystem das timesharing meist durch eine Round-Robin-Strategie: Prozesse erhalten Zeitintervalle zur Bearbeitung zugeteilt nach Ablauf des Zeitintervalls wird der Prozess zugunsten eines anderen unterbrochen und hinten in eine Prioritätsschlange eingefügt 31 / / 73

9 wenn die Nachfrage das Angebot übersteigt, ist auch eine Koordination des Zugriffs auf Betriebsmittel nötig Scheduler koordinieren dann die Prozesse durch Einsortieren in eine Warteschlange, wodurch die Zuweisung des Prozessors an die Prozesse geregelt wird Schedulingstrategien versuchen bestimmte Ziele zu realisieren: möglichst hohe CPU-Auslastung (Wunsch : 100%, real 40 90%) hoher Durchsatz (throughput) d.h. möglichst hohe Zahl an Jobs pro Zeiteinheit als Maß für hohe Systemauslastungdarauf Die Ziele beim Prozess-Scheduling umfassen Fairness (kein Job sollte anderen gegenüber ohne Sondervereinbarung bevorzugt werden) niedrige Ausführungszeit (turnaround time) (Zeitspanne von Jobbeginn bis Jobende; enthält die Summe der Zeiten in Warteschlangen, der Ausführung selbst (Bedienzeit) und der Zeit für Ein- und Ausgabe) niedrige Wartezeit (waiting time) (Die Schedulerstrategie beschränkt sich auf die Minimierung der Wartezeit in der ready-liste) niedrige Antwortzeit (response time) (Zeit zwischen interaktiver Eingabe und Ausgabe der Antworten auf ein Ausgabegerät) 33 / / 73 obige Ziele können natürlich nicht gleichzeitig verfolgt werden, z.b. führt die Bevorzugung kurzer Prozesse zu gutem Durchsatz und niedriger Antwortzeit, verletzt aber die Fairness ein idealer Scheduling-Algorithmus existiert nicht daher ist es sinnvoll, in einem Scheduling-Algorithmus alle möglichen Schedulingstrategien zu integrieren je nach konkreter Situation können verschiedene der oben genannten Ziele stärker berücksichtigt werden das Scheduling ist für das BS ein zentralen und recht kompliziertes Gebiet wir wollen uns einen einen ersten Eindruck verschaffen wir beschäftigen uns nur mit dem Fall, in dem laufende Prozesse nicht unterbrochen werden dürfen (non-preemptive Scheduling) wir betrachten zunächst den 1-Prozessorbetrieb 35 / / 73

10 Scheduling-Strategien first-come-first-served (FCFS oder FIFO): Jobs werden bei ihrem Entstehen in die Warteschlange eingefügt shortest-job-first (SJF): Prozesse mit (geschätzt) kürzester Ausführungzeit werden zuerst bedient highest-response-ratio-next (HRN): Jobs mit maximalem Verhältnis Ausführungszeit Bedienzeit werden zuerst bedient (den Zeiten liegen Schätzungen zugrunde bzw. werden aktualisiert) priority-scheduling (PS): ein Job, der in ready-liste aufgenommen wird, wird in die Warteschlange gemäß seiner Prioritäten einsortiert Beispiel: es kommen fast gleichzeitig drei zu bearbeitende Jobs mit Rechenzeitbedarf 9, 3 und 1 Zeiteinheiten an die first-come-first-served-strategie bearbeitet zuerst der Job mit Laufzeit 9, danach der mit Laufzeit 3 und schließlich der mit Laufzeit 1 abgearbeitet Für diese Reihenfolge beträgt die mittlere Fertigstellungszeit 1 3 ( ) = 34 3 = Zeiteinheiten die shortest-job-first-strategie wählt die umgekehrte Reihenfolge die mittlere Fertigstellungszeit ist 1 ( ) = 6 Zeiteinheiten 3 berechnet SJF stets eine Reihenfolge der Jobabarbeitung mit kleinster mittlerer Fertigstellungszeit? 37 / / 73 Satz SJF berechnet zu einer Folge von n Jobs mit Ausführungszeiten t 1, t 2,..., t n eine Abarbeitungsreihenfolge mit minimaler mittlerer Fertigstellungszeit. Beweis: die mittlere Fertigstellungszeit bei Abarbeitung der Jobs in Reihenfolge J i1, J i2,..., J in beträgt: 1 n nx kx k =1 j=1 dieser Ausdruck wird minimiert, wenn t ij = 1 n nx (n + 1 k )t ik k =1 nt i1 + (n 1)t i t in 1 + t in minimiert wird letzterer Ausdruck wird aber offensichtlich für t i1 t i2 t in 1 t in minimiert, d.h. bei jeder von der SJF-Strategie gewählten Reihenfolge. 39 / 73 die SJF-Strategie hat aber den Nachteil, dass sie das Fairnessgebot nicht beachtet bei kontinuierlich entstehenden neuen Jobs kann es zum Verhungern (starvation) eines Jobs mit hoher benötigter Rechenzeit kommen Bemerkungen zu HRN und PS: highest-response-ratio-next (HRN): bevorzugt Jobs mit kurzer Bedienzeit mit zunehmender Wartezeit steigt aber auch die Präferenz für Jobs mit langen Bedienzeiten priority-scheduling (PS) bei statischen Prioritäten können Prozesse wie bei SJF verhungern das kann mittels dynamischer Prioritätenzuweisung verhindert werden 40 / 73

11 Wir betrachten nun Scheduling in Multiprozessorsystemen (non-preemptive) Szenario: wir haben m gleichartige Prozessoren P 1,..., P m auf ihnen sollen n Jobs J 1,..., J n mit Ausführungzeiten t 1,..., t n abgearbeitet werden es gibt keine Abhängigkeiten zwischen den Jobs (Prozessen) ein Belegungsplan (Schedule) S legt für jeden Job J i den Prozessor und das Zeitintervall zur Abarbeitung fest sei f i Zeitpunkt, zu dem die Abarbeitung von J i unter S beendet ist dann beträgt die mittlere Fertigstellungszeit (mean finish time (MFT)) der Jobs unter S: MFT(S) = 1 n nx i=1 f i sei w i > 0 ein zu J i gehöriges Gewicht, 1 i n die mean weighted finish time (MWFT) unter S ist: MWFT(S) = 1 n nx w i f i sei T j Zeitpunkt, zu dem Prozessor P j alle durch S zugewiesenen Jobs abgearbeitet hat dann beträgt die Fertigstellungszeit (makespan, finish time (FT)) von S: FT(S) = max 1 j m {T j } Ziel: bestimme einen Schedule S, der die jeweils gewünschte Zielfunktion MFT(S), MWFT(S) bzw. FT(S) minimiert i=1 41 / / 73 man kann zeigen, dass alle drei Probleme in einem präzisierbaren Sinne schwierig sind ( NP-schwierig Komplexitätstheorie, letztes Kapitel dieser Vorlesung) Beispiel: Belegungsplan für 10 Jobs J 1, J 2,..., J 10 mit Bearbeitungszeiten t 1, t 2,..., t 10 für m = 3 Prozessoren: wir zeigen nun, dass man das Minimum von FT(S) aber bis auf den Faktor 2 approximieren kann P 1 t 1 t 4 t 7 t 9 wir nehmen an, dass die Jobs so schnell entstehen, dass keiner der Prozessoren vorher arbeitslos ( idle ) wird P 2 P 3 t 2 t 6 t 3 t5 t 5 t 8 Strategie: ordne den nächsten ankommenden Job dem Prozessor zu, dessen bisherige Belegung ihn am wenigsten lange auslastet bis hier sind alle Prozessoren beschäftigt sei FT opt die Fertigstellungszeit eines optimalen Belegungsplans für die n Jobs sei FT approx die Fertigstellungszeit eines Belegungsplans, der durch die obige Strategie erzielt wird 43 / 73 Offensichtlich gilt: FT opt max{ 1 m P n i=1 t i, max 1 i n {t i }} Daraus folgt: FT approx 1 Xn 1 t i + t n 1 m m i=1 nx i=1 t i + max 1 i n {t i } 2 FT opt. 44 / 73

12 mit diesem (kurzen) Einblick in die Scheduling-Problematik wollen wir uns hier begnügen bereits der Einprozessor-Fall ohne Unterbrechungen wird NP-schwierig, wenn Abhängigkeiten berücksichtigt werden müssen (Bedingungen der Art, dass ein Job A beendet sein muss, bevor ein Job B beginnen kann) nebenläufige Prozesse (auf Multiprozessorsystemen oder im Time-Sharing auf Einprozessorsystemen) können zu korrupten Daten führen, wenn nicht gewisse kritische Bereiche nur exklusiv betreten werden können Verklemmungen ( Deadlocks ), d.h. permanente Blockaden für gewisse Prozesse, von denen jeder auf ein Ereignis wartet, das nur von einem anderen dieser Prozesse ausgelöst werden kann, müssen vermieden werden eine Spezialvorlesung über im Hauptstudium beinhaltet eine Fülle von derartigem Material, das algorithmisch interessant und anspruchsvoll ist wir schließen diesen Abschnitt mit einer Illustration eines berühmten Deadlocks jenseits der fünf Philosophen kennen nur zwei Zustände in ihrem Leben: denken oder essen sie sitzen an einem runden Tisch, in deren Mitte eine Schüssel mit Spaghetti steht jeder Philosoph hat einen Teller vor sich, und zwischen je zwei Philosophen befindet sich eine Gabel ein Philosoph kann nur essen, wenn er beide Gabeln hat hier wird die Gefahr des Verhungerns offensichtlich 45 / / 73 Gliederung Aufgaben Scheduling Speicherverwaltung wir wenden uns nun der Speicherverwaltung zu wir werden drei Techniken kennen lernen, die von modernen Prozessoren und den darauf laufenden n unterstützt verwendet werden: Paging Segmentierung Buddy Systeme 47 / / 73

13 Der Speicher eines von-neumann-rechners ist typischerweise hierarchisch aufgebaut: CPU Register Cache Hauptspeicher Hintergrundspeicher Faustregeln wir betrachten zwei benachbarte Stufen in der Speicherhierarchie, z.b. Hauptspeicher/Hintergrundspeicher der Speicher wird in Seiten (pages) gleicher Größe partitioniert Ablauf der Speicherverwaltung: eine im Hauptspeicher nicht vorhandene Seite wird benötigt ( Seitenfehler ) diese wird aus dem erheblich langsameren Hintergrundspeicher in einen freien Seitenrahmen geladen falls der Hauptspeicher schon vollständig belegt war, muss dafür eine Seite ausgelagert werden S17 Seiten (90,10)-Regel: 90% der Zugriffe auf Daten benötigen lediglich 10% der Daten, auf denen das Programm arbeitet Speicherzugriffe auf den Cache sind wesentlich schneller als auf den Hauptspeicher diese wiederum wesentlich schneller als die auf einen Hintergrundspeicher (eine Festplatte ist ungefähr mal langsamer als der Hauptspeicher.) S18 S19 S20 S21 S22 hjkhk S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 S13 S14 S15 S16 49 / 73 S23 SPEICHER HINTERGRUNDSPEICHER 50 / 73 online-algorithmen Paging-Problem gegeben eine Folge σ = (σ 1, σ 2,..., σ m ) von Seitenreferenzen lagere die Seiten so aus und ein, dass die Anzahl der Seitenfehler minimal wird Strategie: LFD (longest forward distance): lagere bei einem Seitenfehler eine solche Seite aus, die am weitesten in der Zukunft nachgefragt wird. Satz (Belady (1966)) Ein auf LFD basierender Algorithmus ist ein optimaler (offline-)algorithmus für das Paging-Problem. sind Verfahren für Probleme, über die nicht alle Informationen a priori vorliegen sei σ = (σ 1, σ 2,..., σ m ) eine Folge von Anfragen ( requests ) ein online-algorithmus A muss die Anfrage σ i sofort beantworten, sobald σ i eingelesen worden ist er hat dabei keine Kenntnis der weiteren Anfragen σ i+1,..., σ m auch m ist im allgemeinen nicht bekannt online-algorithmen sind i.a. nicht kostenoptimal in der Regel versucht man die Lösung des besten fffline-algorithmus zu approximieren die Bewertung der Güte von online-algorithmen erfolgt im Vergleich mit den Kosten eines besten Offline-Algorithmus für beliebige Anfragefolgen (bei vollständiger Information) 51 / / 73

14 bezeichne C A (σ) die Kosten der Lösung eines online-algorithmus A zur Verarbeitung der Eingabefolge σ bezeichne C OPT (σ) die Kosten der Lösung eines optimalen offline-algorithmus OPT auf σ ein online-algorithmus A ist c-kompetitiv, falls für alle Eingabefolgen σ gilt: C A (σ) c C OPT (σ) + a für eine Konstante a. (beim Multiprozessor-Scheduling haben wir kürzlich bereits einen 2-kompetitiven online-algorithmus kennen gelernt) online-algorithmen für das Paging-Problem entscheiden bei einem Seitenfehler zum Zeitpunkt t allein aufgrund von σ 1, σ 2,..., σ t, welche Seite entfernt werden soll. LIFO: entferne bei einem Seitenfehler die zuletzt geladene Seite FIFO: entferne bei einem Seitenfehler die zuerst geladene Seite LRU (least recently used): entferne bei einem Seitenfehler die Seite, auf die am längsten nicht mehr zugegriffen worden ist LFU (least frequently used): entferne bei einem Seitenfehler die Seite, auf die am seltensten zugegriffen wurde FWF (flush when full): lösche bei einem Seitenfehler den gesamten Speicher 53 / / 73 1 S S11 S2 S9 S Flush When Full kjkdfl Analyseergebnisse LIFO, FWF und LFU sind nicht c-kompetitiv für beliebiges c > 0 LRU und FIFO sind k -kompetitiv, wenn k die Anzahl der Seitenrahmen im Hauptspeicher bezeichnet kann man den Faktor k schlagen? 6 S10 0 nein, denn es gilt: 7 S / / 73

15 Satz Sei A ein online-algorithmus für das Paging-Problem. Wenn A c-kompetitiv ist, so gilt c k. Beweis: sei S = {p 1,..., p k +1 } eine Folge von Seiten sei A ein beliebiger online-algorithmus und OPT ein optimaler offline-algorithmus betrachte die Anfragefolge, die jeweils diejenige Seite anfordert, die A nicht im Hauptspeicher hat d.h. A macht bei jeder Anfrage einen Seitenfehler OPT habe einen Seitenfehler bei Anfrage σ t beim Bedienen von σ t kann OPT eine Seite auslagern, die während der nächsten k 1 Anfragen σ t+1,..., σ t+k 1 nicht nachgefragt wird somit macht OPT für je k aufeinanderfolgende Anfragen höchstens einen Fehler. Segementierung beim Paging ist der Speicher in gleichgroße Seiten (pages) aufgeteilt dagegen sind bei der Segmentierung die Daten gemäß ihres logischen Zusammenhangs in Segmente (von i.d.r. unterschiedlicher Größe) zusammengefasst jedes Segment besitzt einen Namen und eine Länge Adressen bestehen aus Segmentnamen und dem Offset innerhalb des Segments bei Numerierung der Segmente besteht eine (logische) Adresse eines Datums aus einem geordnetem Paar (Segmentnummer,Offset) das Betriebssystem lädt die für die Prozess benötigten Segmente in den Hauptspeicher 57 / / 73 wenn der Hauptspeicher nicht gross genug ist: einzelne Segmente werden bei Anfrage in den Hauptspeicher geladen, andere werden dazu ausgelagert Resultat: der Hauptspeicher ist mit Segmenten und Lücken belegt benachbarte Lücken sollten zu einer großen vereinigt werden dazu muss das Betriebssystem eine Liste der Segmente und Lücken mit den zugehörigen Größen verwalten wenn ein neues Segment im Hauptspeicher abgelegt werden soll, gilt es, eine Lücke zu finden, die mindestens so groß wie das abzulegende Segment ist zur Auswahl der Lücke gibt es u.a. folgende Strategien: First Fit (FF): lege das Segment in die erste passende Lücke ab Best Fit (BF): platziere das Segment in die kleinste passende Lücke Worst Fit (WF): platziere das Segment in die größte passende Lücke Rotating First Fit (RFF): wie FF, jedoch wird für das nächste Segment vom Ende der Lücke, in die das letzte Segment gelegt wurde, aus die nächste passende Lücke gesucht 59 / / 73

16 Analyseergebnisse Beispiel, in dem das BF versagt: Speicherfüllung: Nachteil von FF: ws entstehen viele kleine Lücken am Speicheranfang und das führt zu einem hohen Speicherverlust Nachteil von BF: die nach Platzierung verbleibenden Restlücken sind oft zu klein für eine spätere Nutzung, so dass viele unbrauchbare kleine Lücken entstehen eine Simulation ergibt die folgende Relation zwischen den Strategien ( S 1 > S 2 bedeutet S 1 ist besser als S 2 ): RFF > FF > BF > WF für jede der Strategien lassen sich Beispiele konstruieren, für die sie optimal bzw. sehr schlecht sind füge folgende Segmente in der angegebenen Reihenfolge ein: BF fügt erst 40 in 50er Lücke ein, danach 45 in 90er Lücke, danach ist kein Platz mehr für 50 FF und RFF dagegen können das Einfügen der drei Segmente ohne Probleme lösen, wenn sie bei der 1. Lücke beginnen von der 2. Lücke aus gestartet versagen FF und RFF ebenfalls 61 / / 73 Buddy-Systeme (Buddy = Kumpel) sind ein Kompromiss zwischen Paging und Segmentierung sie erzeugen weniger Speicherverschnitt als die Segmentierung und sind weniger starr als Paging der physikalische Speicher habe die Größe 2 n Speicheranforderungen seien nur in Zweierpotenz-Größen erlaubt bei einer Anforderung wird der Speicher solange in kleinere Zweierpotenzen zerlegt, bis die gewünschte Größe verfügbar ist zu jeder Zweierpotenz k gibt es eine Liste L k, in der der freie Speicher der Länge 2 k vermerkt ist soll ein Segment der Größe 2 k gespeichert werden, so wird in L k nachgesehen, ob freier Speicher der gewünschten Länge vorhanden ist ist L k, so platziere das Segment in einen freien Speicherbereich und lösche diesen aus L k ist L k =, so suche bei L k +1 beginnend, falls nötig in L k +2, u.s.w., solange, bis ein freier Speicherbereich gefunden ist zerlege diesen durch Halbieren solange, bis eine freie Stelle der gewünschten Größe gefunden ist, in die das Segment dann eingefügt wird füge die restlichen durch Halbieren erzeugten freien Zweierpotenzen in die entprechenden Listen ein 63 / / 73

17 Beispiel: n = 8. Füge ein Segment der Größe 2 6 in den ursprünglich leeren Speicher ein wird ein Segment der Größe 2 k freigegeben, so prüfe, ob der zugehörige Buddy mit demselben Vater auch frei ist falls ja, vereinige sie zu einem freien Speicherbereich der Größe 2 k +1 und iteriere solange, bis keine Buddies mehr vereinigt werden können freier Speicher belegter Speicher splitten in Buddies 65 / / 73 sei der Speicheradressbereich das Intervall [0, 2 n 1 ] in Binärdarstellung: [ , ] mit n-bit langen Speicheradressen durch die hierachische Teilung umfasst ein Speicherbereichs der Länge 2 k im Buddy-System ein Intervall [α 0. {z.. 0 }, α 1. {z.. 1 } ] k Bits k Bits der (n k )-Bit lange Präfix α repräsentiert den zugehörigen Speicherbereich der Buddy α der Länge 2 k wird in zwei Buddies α 0 und α 1 der Länge 2 k 1 zerlegt bei Freigabe der Buddies α 0 und α 1 werden diese zum Buddy α wiedervereinigt benachbarte freie Buddies können nicht immer zusammengefasst werden, z.b lassen sich nicht zusammenfassen! 0 Zerlegung oder Wiedervereinigung zweier Buddies erfolgt in Zeit O(1) deshalb erlauben Buddysysteme eine sehr schnelle Speicherverwaltung sie bieten deutlich mehr Flexibilität, unterschiedlich große Speicheranforderungen zu bedienen, als Pagingverfahren da die Speicherzuteilung immer in Zweierpotenzen erfolgt, wird jedoch Speicherplatz verschwendet / / 73

18 Analyse sei die Gesamtspeicherplatzgröße 2 n Modellannahme: alle 2 n möglichen Speichergrößen s (1 s 2 n ) werden mit Wahrscheinlichkeit p(s) = 1 2 n angefordert (Gleichverteilungsmodell: dieses ist in der Regel nicht realistisch, ein realistisches Modell hängt von der jeweiligen Anwendung ab) dann gilt für die mittlere tatsächliche Speicherplatzanforderung S a in diesem Modell: S a = 2 n X s=1 s p(s) = 1 n X2 s 2 n = 1 2 n 2n (2 n + 1) 2 s=1 = 2 n n 1 bei Buddy-Systemen: werden s Speicherplätzen angefordert so wird ein Buddy der Größe 2 log 2 (s) bereitgestellt Anfragen : n Reservierung : {z } {z } {z n } n 1 2 n d.h. für 2 i 1 aufeinanderfolgende verschiedene Speicherplatzanforderungen stellen Buddysysteme effektiv jeweils 2 i Speicherplätze bereit 69 / / 73 S b bezeichne die mittlere tatsächliche Speicherplatzbelegung durch das Buddy-System im Modell. Dann gilt: S b = 2 n X s=1 2 log 2 (s) p(s) # = 1 Xn 1 "1 + 2 i 2 i+1 2 n i=0 # = 1 Xn 1 " i 2 n i=0 = 1» n 1 2 n = 1 2 n + 2n n n+1 (geometrische Reihe) somit beträgt die mittlere Speicherplatzausnutzung: S a = 2n 1 S 1 b = 3 3 2n+1 4 d.h. 75% des reservierten Speicherplatzes werden im Mittel tatsächlich belegt. 71 / / 73

19 soweit der kurze Einblick in das Kapitel viele wichtige Themen habe wir gar nicht angesprochen: Vermeidung von Deadlocks Synchronistaion Dateiorganisationen Benutzerverwaltung Sicherheitsmechanismen Details werden in der Spezialvorlesung über Betriebsysteme besprochen 73 / 73