Verteilte Betriebssysteme
| Dozent | Dr. Michael Roitzsch, Dr. Carsten Weinhold |
| Modul |
DSE-14-E3, DSE-E3, INF-04-FG-AVS, INF-BAS4, INF-BI-1, INF-DSE-20-E-DOS, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT |
| Umfang und Art |
2 SWS Vorlesung, 1 SWS Übung (Englisch) |
| Turnus | Sommersemester |
| Zeit und Ort |
Vorlesung: Mo, 11:10 Uhr (3. DS), APB/E008, hybrid |
| Mailingliste | |
| Feedback | per Mail oder über den anonymen Briefkasten |
Organisation
Die Lehrveranstaltung wird in diesem Semester hybrid (Präsenz + Online Stream per BBB) durchgeführt. Weitere Details zur Organisation und alle zukünftigen Ankündungen folgen über die 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.
- L01: Scalability and Naming (video)
- L02: Distributed File Systems (video)
- L03: Architecture-level Security Vulnerabilities (video)
- L04: Software Sandboxes (video from 2020: part 1, part 2, part 3)
- L05: Trusted Computing (video)
- L06: Memory Consistency and Cache Coherence (video)
- L07: Synchronization in Parallel Systems (video)
- L08: Google Project Zero: iOS Exploit in the Wild (part 1, part 2) (video from 2020)
- L09: Read Copy Update (video)
- L10: Modeling Distributed Systems (video: part 1, part 2)
- L11: Side Channels (video from 2020)
Übungen (nur in Englisch)
Die Übungsaufgaben werden hier ca. eine Woche vor der jeweiligen Übung veröffentlicht.
- 18. April 2022: E01: Scalability and DNS (video)
- 9. Mai 2022: E02: Distributed File Systems (video)
- 23. Mai 2022: E03: Trusted Computing (video)
- 13. Juni 2022: E04: Buffer Overflows (no video available)
- 11. Juli 2022: E05: Memory, Cache, Locks (video)