ETH Zurich :
Computer Science :
Pervasive Computing :
Distributed Systems :
Education :
DA WS2001/2002
Verteilte Algorithmen
Prof. Dr. Friedemann Mattern
Vorlesung WS2001/2002
Zeit und Ort:
Mittwoch |
13-14 |
IFW C42 |
Donnerstag |
9-11 |
IFW C42 |
Inhalt:
Verteilte Algoritmen sind Verfahren, die dadurch charakterisiert sind,
dass mehrere autonome Prozesse gleichzeitig Teile eines gemeinsamen Problems
in kooperativer Weise bearbeiten und der dabei erforderliche
Informationsaustausch ausschliesslich über Nachrichten erfolgt.
Derartige Algorithmen kommen im Rahmen verteilter Systeme zum Einsatz, bei denen
kein gemeinsamer Speicher existiert und die Übertragungszeit von Nachrichten
i.a. nicht vernachlässigt werden kann. Da dabei kein Prozess eine
akuelle konsistente Sicht das globalen Zustands besitzt, führt dies zu
interessanten Problemen.
Im einzelnen wurden folgende Themenschwerpunkte behandelt:
- Modelle verteilter Berechnungen
- Raum-Zeit Diagrammen
- Virtuelle Zeit; logische Uhren und Kausalität
- Wellenalgorithmen
- Verteilte und parallele Graphtraversierung
- Berechnung konsistenter Schnappschüsse
- Wechselseitiger Ausschluss
- Election und Symmetriebrechung
- Verteilte Terminierung
- Garbage-Collection in verteilten Systemen
- Beobachten verteilter Systeme
- Berechnung globaler Prädikate
Folien:
Die vollständige Sammlung der Vorlesungsfolien und Übungsaufgaben:
Literatur:
- F. Mattern: Verteilte Basisalgorithmen, Springer-Verlag, 1989.
- G.Tel: Topics in Distributed Algorithms., Cambridge University
Press, 1991.
- G. Tel: Introduction to Distributed Algorithms, Cambridge University
Press, 1994.
- V. Barbosa: An Introduction to Distributed Algorithms, MIT Press,
1996.
- N. Lynch: Distributed Algorithms, Morgan Kaufmann Pub., 1996.
|