F. Mattern, TU Darmstadt
Algorithmen und verteilte Systeme, Sep. 97
Bild 1: Verteiltes System
Bild 2: Verteilte Abläufe und Beobachtungen
Bild 3: Beobachtungen...
Bild 4: Äquivalente Beobachtungen
Bild 5: Ideale Beobachtungen und Raum-Zeit-Diagramm
Bild 6: Kausal inkonsistente Beobachtungen
Bild 7: Ein "klassisches" Problem?
Bild 8: Kausal inkonsistente Beobachtungen
Bild 9: Ein verteilter Algorithmus zum Lösen von Zahlenrätseln
Bild 10: Der aufgesetzte Backtrack-Algorithmus
Bild 11: Das Problem der Terminierung
Bild 12: Beispiel
Bild 13: Beispiel (2)
Bild 14: Falsche Beobachtungen
Bild 15: Verteilte Terminierung
Bild 16: Das Atommodell
Bild 17: Globale Sicht 'atomarer' Berechnungen
Bild 18: Verteilte Terminierung
Bild 19: Beobachter über gesendete und empfangene Nachrichten informieren?
Bild 20: Das Doppelzählverfahren
Bild 21: Gummibandtransformation
Bild 22: Kausaltreue Beobachtungen
Bild 23: Globaler Zustand
Bild 24: Bild, Schein und Wirklichkeit
Bild 25: Das Schnappschuß-Problem
Bild 26: Das Schnappschuß-Problem
Bild 27: (In)konsistente Schnitte
Bild 28: Ein Schnappschußalgorithmus
Bild 29: Ein Schnappschußalgorithmus (2)
Bild 30: Schnappschußalgorithmus
Bild 31: Zeitungsausschnitt
Bild 32: Das Entdecken globaler Prädikate
Bild 33: Relativierung der Gleichzeitigkeit
Bild 34: "Possible Worlds"
Bild 35: Beobachtung, Bild und Wirklichkeit
Bild 36: Wirklichkeit?
Bild 37: Wie heißt der Künstler?
Bild 38: M.C. Escher
Bild 39: Konklusionen