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