Vorlesung:
Verteilte Systeme und Algorithmen
Die Studierenden erlangen vertiefte Kenntnisse über Konzepte und Algorithmen in verteilten Systemen. Sie sind in der Lage,
typische Probleme verteilter Systeme zu identifizieren und Lösungen mit Hilfe der vorgestellten Methoden und Algorithmen zu
entwickeln.
Es werden die folgenden Themen behandelt: Kommunikationsprotokolle, Konsistenzmodelle für verteilte Speicher und Nachrichten,
physikalische und logische Zeit, Skalierbarkeit, Ausfalltoleranz, Gruppenkommunikation, Replikation, Nebenläufigkeitskontrolle,
Konsens- und Transaktionsverfahren, Peer-to-Peer-Protokolle, datenorientierte Programmierparadigmen.
Raum RUD26, 1'305 (Erwin Schrödinger-Zentrum)
Mittwochs, 13-15 und 15-17 Uhr
Vortragsthemen und Termine (Materialien teilw. mit Passwort geschützt).
Vorlesungen
| 16.10.2019 | Organisatorisches und Einführung | |
| 23.10.2019 | Grundlagen verteilter Systeme | |
| 30.10.2019 | Interprozesskommunikation | |
| 06.11.2019 | Zeit und Snapshots | |
| 13.11.2019 | Erlang | |
| 20.11.2019 | Konsistenz | |
| 04.12.2019 | Gruppenkommunikation | |
| 11.12.2019 | Konsens | |
| 18.12.2019 | Wechselseitiger Ausschluss | |
| 08.01.2020 | Wahlalgorithmen | |
| 15.01.2020 | Nebenläufige Transaktionen | |
| 22.01.2020 | Transaktionen | |
| 29.01.2020 | Paxos (erster Teil schon am 22.01.2020 vorgestellt) | |
| 05.02.2020 | SONs | |
| 12.02.2020 | Scalaris |
Übungen
| 23.10.2019 | Übung 1 | |
| 30.10.2019 | Übung 2 | |
| 06.11.2019 | Übung 3 | |
| 13.11.2019 | Übung 4 | |
| 20.11.2019 | Übung 5 | |
| 04.12.2019 | Übung 6 | |
| Beispiellösung | ||
| 18.12.2019 | Übung 7 | |
| Besprechungsfolien | ||
| 07.01.2020 | Übung 8 | |
| Besprechungsfolien | ||
| 22.01.2020 | Übung 9 |