20-00-0065-iv TK1: Verteilte Systeme und Algorithmen

Lehrende: Prof. Dr. rer. nat. Eberhard Max Mühlhäuser

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: TK1

Fach:

Anrechenbar für:

Semesterwochenstunden: 4

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Der Kurs "TK1: Verteilte Systeme und Algorithmen" wird in digitaler Form angeboten. Bitte registrieren Sie sich im entsprechenden Moodle-Kurs für weitere Details.
Moodle-Kurs: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1120

Lehrinhalte:
Lernziele:
- Umfassendes Überblickswissen über die grundlegenden Probleme und Ansätze
- Tiefgehendes Methodenwissen zu klassischen verteilten Algorithmen und Programmierparadigmen
- Anwendbare exemplarische Kenntnis aktueller Entwicklungen und Standards

Stoffplan:
- Einführung
- Auffrischung und Ergänzung von Kapitel 1 der Kanonik Net-Centric Computing
- Überblick über die Vorlesung
- Verteilte Algorithmen

- Elementaralgorithmen (z.B. globaler Zustand)
- Basisalgorithmen (z.B. Ausschluss, Konsens, Kooperation)
- Formalisierung (Eigenschaften und deren Nachweis)

- Verteiltes Programmieren

- Push-Paradigmen (z.B. IPC, RPC, DOC)
- aktuelle Ansätze (z.B. Pull-Paradigmen, Objektmobilität)

Voraussetzungen:
Computer Netzwerke und verteilte Systeme

Online-Angebote:
https://www.informatik.tu-darmstadt.de/telekooperation/teaching_6/winter_term_2021___22/tk1_2/tk_tk1_wise_2020__1.en.jsp
https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1120