Betriebssystemtechnik (BST)5 ECTS
(englische Bezeichnung: Operating Systems Engineering)
(Prüfungsordnungsmodul: Vertiefungsmodul Verteilte Systeme und Betriebssysteme)

Lehrveranstaltungen:

• • Betriebssystemtechnik
    (Vorlesung, 2 SWS, Wolfgang Schröder-Preikschat et al., Di, 14:15 - 15:45, 0.031-113)
  • Übungen zu Betriebssystemtechnik
    (Übung, 2 SWS, Gabor Drescher et al.)

Inhalt:

Schwerpunktthema der Veranstaltung ist die Verwaltung von Prozessadressräumen. Untersucht werden Verfahren und Techniken zur Trennung logischer Adressräume, zum Adressraumgrenzen überschreitenden Zugriff und zum Schutz von Prozessen. Vorgestellt wird die Implementierung von Systemaufrufen und seiten- wie auch segmentbasierte Techniken zur Abbildung logischer/virtueller Adressräume auf reale. Vor diesem Hintergrund werden verschiedene Betriebssystemarchitekturen verglichen und gängige Adressraummodelle von Betriebssystemen erläutert. Weitere Themen bildet die Interprozesskommunikation durch Nachrichtenversenden bei getrennten Adressräumen, aber auch die Nachbildung virtuell gemeinsamen Speichers auf Basis solcher Ansätze.

Lernziele und Kompetenzen:

Studierende, die das Modul erfolgreich abgeschlossen haben:

• erläutern und implementieren Entwurfsprinzipien für Systemaufrufe und diskutieren deren spezifischen Vor-/Nachteile.

• vergleichen grundlegende BS-Architekturen (Monolith, Mikrokern, Makrokern, Exokern) anhand fundamentaler Charakteristika (Robustheit, Performanz, Portierbarkeit) und deren Einfluss auf die Implementierung von Mechanismen (Systemaufrufe, Addressraumschutz).

• unterscheiden Hierarchiekonzepte des Softwareentwurfs (Benutzthierachie, funktionale Hierachie) und erläutern deren Implikationen beim Betriebssystementwurf.

• klassifizieren Schutz-, Verwaltungs-, und Virtualisierungstechniken für Programmzustände (Seitennummerierung, Segementierung, Sprachbasierung, Capabilities) und implementieren diese auf der IA-32-Architektur

• diskutieren Adressraummodelle (Mehradressraummodell, Einadressraummodell, mehrstufige und inverse Seitenabbildungen, Mitbenutzung) und deren Implementierbarkeit auf gängigen Hardwarearchitekturen.

• implementieren Mechanismen und Abtraktionen zur Interprozesskommunikation.

• erläutern das Zusammenspiel zwischen Kommunikation und Synchronisation im Bezug auf die besonderen Herausforderungen bei der Implementierung von Betriebssytemabstraktionen (lost wakeup, lost update, gepufferte/ungepufferte Zugriffe)

• diskutieren Prinzipien der Mitbenutzung von Code und Daten unter Berücksichtigung der Betriebssystem- und Addressraumarchitektur.

• erläutern die Funktionsweise eines Bindeladers und skizzieren effiziente Implementierungstechniken für positionsunabhängige Strukturen.

• erschließen sich typische Probleme (Nebenläufigkeit, Compilerverhalten, Debuggen ohne dedizierte Hilfsmittel) und Fehlerquellen bei der hardwarenahen Softwareentwicklung.

• können in Kleingruppen kooperativ arbeiten.

• können die ihre Entwurfs- und Implementierungsentscheidungen kompakt präsentieren und argumentativ vertreten.

• reflektieren ihre Entscheidungen kritisch und leiten Alternativen ab.

• können offen und konstruktiv mit Schwachpunkten und Irrwegen umgehen.

Literatur:

• Wolfgang Schröder-Preikschat. The Logical Design of Parallel Operating Systems. Prentice Hall.

• Brian W. Kernighan, Dennis M. Ritchie. The C Programming Language. Prentice Hall.

• David M. Weiss, Chi Tau Robert Lai. Software Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley.

• Krysztof Czarnecki, Ulrich W. Eisenecker. Generative Programming. Methods, Tools and Applications. Addison-Wesley.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | Bachelorprüfung | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Verteilte Systeme und Betriebssysteme)

Studien-/Prüfungsleistungen:

Betriebssystemtechnik (Prüfungsnummer: 406841)

(englischer Titel: Operating Systems Engineering)

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
30-minütige mündliche Prüfung + erfolgreiche Teilnahme an den Übungen

Erstablegung: SS 2015, 1. Wdh.: WS 2015/2016

1. Prüfer:

Wolfgang Schröder-Preikschat