Small logo of ETH main building ETH Zurich : Computer Science : Pervasive Computing : Distributed Systems : Education : DA WS1999/2000

Verteilte Algorithmen

Prof. Dr. Friedemann Mattern
Vorlesung WS1999/2000

Zeit und Ort:

Mittwoch 10-12 IFW E42
Freitag 9-10 IFW E42

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 werden voraussichtlich folgende Themen 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:

Folien werden hier einige Tage nach der jeweiligen Vorlesungsstunde zum Download bereitgestellt.

PDF-Format PS-Format
1
VertAlg1.pdf (555K) VertAlg1.ps (2.6M)
2
VertAlg2.pdf (37K) VertAlg2.ps (115K)
3
VertAlg3.pdf (74K) VertAlg3.ps (147K)
4
VertAlg4.pdf (16K) VertAlg4.ps (87K)
5
VertAlg5.pdf (51K) VertAlg5.ps (130K)
6
VertAlg6.pdf (191K) VertAlg6.ps (495K)
7
VertAlg7.pdf (31K) VertAlg7.ps (94K)
8
VertAlg8.pdf (151K) VertAlg8.ps (1.2M)
9
VertAlg9.pdf (23K) VertAlg9.ps (87K)
10
VertAlg10.pdf (164K) VertAlg10.ps (610K)
11
VertAlg11.pdf (18K) VertAlg11.ps (85K)
12
VertAlg12.pdf (26K) VertAlg12.ps (86K)
13
VertAlg13.pdf (50K) VertAlg13.ps (132K)
14
VertAlg14.pdf (26K) VertAlg14.ps (84K)
15
VertAlg15.pdf (50K) VertAlg15.ps (135K)
16
VertAlg16.pdf (59K) VertAlg16.ps (142K)
17
VertAlg17.pdf (31K)
VertAlg17a.pdf (31K)
VertAlg17.ps (100K)
VertAlg17a.ps (104K)
18
VertAlg18.pdf (232K) VertAlg18.ps (808K)
19
VertAlg19.pdf (112K) VertAlg19.ps (512K)
20
VertAlg20.pdf (85K) VertAlg20.ps (207K)
21
VertAlg21.pdf (118K) VertAlg21.ps (501K)
22
VertAlg22.pdf (254K) VertAlg22.ps (1.1M)
23
VertAlg23.pdf (58K) VertAlg23.ps (158K)
24
VertAlg24.pdf (27K) VertAlg24.ps (98K)
25
VertAlg25.pdf (580K) VertAlg25.ps (3.3M)
26
VertAlg26.pdf (9.7K) VertAlg26.ps (62K)
27
VertAlg27.pdf (226K) VertAlg27.ps (426K)
Resume
VertAlg.res.pdf (33K) VertAlg.res.ps (101K)

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.
ETH ZurichDistributed Systems Group
Last updated June 20 2023 01:45:03 PM MET sd