Verteilte Betriebssysteme
Die Vorlesung findet in diesem Semester statt, bis auf weiteres aber in Form von Videos zum Download. Bei Interesse an dieser Veranstaltung bitten wir um eine zeitnahe Anmeldung auf der Mailingliste. Bitte benutzt dafür eure TU-Dresden-Adresse.
| Dozent | Dr. Michael Roitzsch, Dr. Carsten Weinhold |
| Modul | INF-BAS4, INF-VERT4, INF-BI-1, INF-04-FG-AVS, MINF-04-FG-SAT, DSE-10-E4 , DSE-14-E3 , IST-05-FG-AVS |
| Umfang und Art |
2 SWS Vorlesung, 1 SWS Übung |
| Turnus | Sommersemester |
| Zeit und Ort |
Vorlesung: Montag, 11:10 Uhr, APB E008 |
| Mailingliste |
Inhalt
Die Vorlesung "Verteilte Betriebssysteme" knüpft an die Grundlagenvorlesung Betriebssysteme und Sicherheit an. Dort besprochene Themen werden ausgebaut und gefestigt. Die Lehrveranstaltung bietet eine ausgewogene Kombination von verteilten Systemen aus praktischer Anwendung und Forschungsprojekten und deren Konstruktionsprinzipien.
Die Vorlesung behandelt die folgenden Gebiete:
- Skalierbarkeit und Fehlertoleranz
- Speicherkonsistenz und Synchronisation in Parallelen Systemen
- Sicherheit in Verteilten Systemen und Trusted Computing
Folien (nur in Englisch)
Die Folien werden hier kurz vor der jeweiligen Vorlesung veröffentlicht.
- Skalierbarkeit und DNS: Folien, Videos
- Skalierbarkeit in großen Systemen: Folien, Videos
- Verteilte Dateisysteme: Folien, Videos
- Architekturbasierte Sicherheitslücken: Folien, Videos
- Software-Sandboxes: Folien, Videos
- iOS-Exploits in freier Wildbahn: Blog-Artikel von Google Project Zero, Videos
- Trusted Computing: Folien, Videos
- Speicherkonsistenz und Cache-Kohärenz: Folien Videos
- Synchronisation in parallelen Systemen: Folien, Videos
- Read-Copy-Update: Folien, Videos
- Seitenkanäle: Folien, Videos
- Modellierung verteilter Systeme: Folien Teil 12.0, Teil 12.1, Videos
Übungen
Die Übungsaufgaben werden hier ca. eine Woche vor der jeweilgen Übung veröffentlicht.
21.04.2020: Übung 1: Skalierbarkeit und DNS
05.05.2020: Übung 2: Verteilte Dateisysteme
19.05.2020: Übung 3: Pufferüberläufe
09.06.2020: Übung 4: Trusted Computing
30.06.2020: Exercise 5: Speicherkonsistenz, Cache-Kohärenz und Locks