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

Verteilte Algorithmen
Vorlesung im Sommersemester 06


Sommersemester 2006
Termin: Mo. und Mi 8 ct
Beginn: 3. April 2006
Ort: LMS2 - R.Ü1
Dozent: Willem-Paul de Roever
Uebung: Di. 12 ct (LMS2 - R.Ü2)

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.
1. Übung 1  
2. Übung 2  
3. Übung 3  
4. Übung 4  
5. Übung 5  
6. Übung 6  
7. Übung 7  
8. Übung 8  
9. Übung 9 (11:00 strikt)
10. Übung 10 Abgabe: 5. 7. 06 (11:00 strikt)
11. Übung 11 Endsemestertest Abgabe: 12. 7. 06 (11:00 strikt)

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.

References

[1]
H. Attiya and J. Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill, 1998.

[2]
V. C. Barbosa. An Introduction to Distributed to Algorithms. MIT Press, 1996.

[3]
N. Lynch. Distributed Algorithms. Kaufmann Publishers, 1996.

[4]
M. Raynal and J.-M. Helary. Synchronization and Control of Distributed Algorithms and Programs. Wiley, 1990.

[5]
G. Tel. Introduction to Distributed Algorithms. Cambridge University Tracts, 1994.
This document was translated from LATEX by HEVEA.