[Christian-Albrechts-Universität] [Technical Faculty]

Verteilte Algorithmen
Vorlesung im Wintersemester 2003/04

Wintersemester 2003/2004
Termin: Mo. und Mi 8 ct
Beginn: 20. Oktober 2003
Ort: LMS2 - R.Ü1
Dozent: Willem-Paul de Roever

Für die offiziellen studientechnischen Daten sei auf das Univis-System der Universität verwiesen.

Abstract:

Verteilte Algorithmen sind eines der am häufigsten vorkommenden Bestandteile der modernen Informatik. Jeder Informatiker soll sich damit auskennen und mit der spezifischen Problematik dieser Algorithmen vertraut sein. Ihrer Komplexität wegen sind die fehlerfreie Entwicklung und Analyse solcher Algorithmen zeitaufwendig und in relativ kurzer Zeit nur möglich, wenn die Entstehung, d.h. ihre Entwicklungsgeschichte, bekannt ist.

Die Vorlesung hat zum Ziel, die Entwicklungsgeschichte zu erläutern und die Funktionsweise der wichtigsten verteilten Algorithmen zu erklären.

Stichworte: Algorithmen für Leader Election, Distributed Search, Spanning Tree, and Distributed Consensus sowie für Resource Allocation, Atomic Objects, Asynchronous Networks und Synchronizers.

1  Organisatorisches

Die Vorlesung wird durch (i.d.R) wöchentliche Übungen begleitet, die in 2er-Gruppen bearbeitet werden. Zwei etwas aufwendigere Übungen, die auch bei den Endbewertungen stärker gewichtet werden, müssen alleine gelöst werden.

Ausgabe der Zettel ist i.d.R. Montags in der Vorlesung, Abgabe eine Woche drauf, Montag vor der Vorlesung. Konkret: Wir leeren den Schrein immer nach der Vorlesung, das ist sozusagen die Deadline! Besprechung und Rückgabe dann die folgende Übung.
Mittsemestertest: wird bekanntgegeben
Endsemestertest wird bekanntgegeben

1.1  Nachbereitung

Mal schauen ...



2  Übungsserien + Unterlagen

Folgendes sind die gestellten Aufgaben während des Semester. Manche Zettel enthalten Lösungshinweise (aber aus Zeitgründen leider nicht alle ...). Weiterhin habe ich von 2 Kapitel elektronische Folien ins Netz gestellt.
1. Übung 1 22. 10. 03
2. Übung 2 29. 10. 03
3. Übung 3 12. 11. 03
4. Übung 4 17. 11. 03
5. Übung 5 26. 11. 03
6. Übung 6 1. 12. 03: Mittsemestertest, Einzelabgabe
--   eine Woche ohne Zettel tut auch mal gut
7. Übung 7 16. 12. 03
8. Übung 8 7. 1. 04
9. Übung 9 14. 1. 04
10. Übung 10 20. 1. 04 (siehe auch die Tafel hier :-)
11. Übung 11 28. 1. 04
12. Übung 12 5. 2. 04 (Endsemestertest, Einzelabgabe)

Async. model Chapter 8 1.12.03
Async. shared memory model Chapter 9 1.2.03

3  Links

Folgendes enthält einige (nicht sehr geordnete) Sammlung von Verweisen, die für die Vorlesung nützlich sein können oder auch nicht. Pages last (re-)generated February 18, 2004 (Martin Steffen)
This document was translated from LATEX by HEVEA.