Vorlesung "Verteilte Systeme" Sommersemester Verteilte Systeme. 9. Verteilte Algorithmen

Vorlesung "Verteilte Systeme" Sommersemester 1999 Verteilte Systeme 9. Verteilte Algorithmen Bereits behandelte Bereiche I Logische Uhren – Keine ...
Author: Nora Berger
0 downloads 5 Views 148KB Size
Vorlesung "Verteilte Systeme"

Sommersemester 1999

Verteilte Systeme 9. Verteilte Algorithmen

Bereits behandelte Bereiche I

Logische Uhren – Keine globale Uhrensynchronisation möglich (Theorie) – Kausalitätserhaltender Zeitbegriff

I

Multicast – ÜberflutungsÜberflutungs- und EchoEcho-Algorithmen – OrdnungsOrdnungs- und Zuverlässigkeitsgrad

I

Wechselseitiger Ausschluß – Symmetriegrad einer Lösung – Fairneß

I

Verteilte Terminierung – Kommunikationsorientierte Terminierung – Ergebnisorientierte Terminierung

Verteilte Systeme, Sommersemester 1999

(c) Peter Sturm, Universität Trier

Folie 9.2

1

Vorlesung "Verteilte Systeme"

Sommersemester 1999

Weitere Bereiche I

Schnappschußalgorithmen – Kein atomarer, globaler Zustand direkt abfragbar (Theorie) – Abschwächung: konsistente Schnappschüsse – Grundlage z.B. für ergebnisorientierte Terminierung

I

Election – Wahl eines Prozesses aus mehreren Kandidaten – Fairness nicht notwendig

I

...

I

Allgemein: AgreementAgreement-Protokolle – Alle Beteiligten einigen sich auf etwas – Verteilte Algorithmen sind häufig Spezialfälle

Verteilte Systeme, Sommersemester 1999

Folie 9.3

Schnappschußalgorithmen I I

Verteilter Zustand Schnappschuß eines globalen Zustands – Lokale Prozeßzustände – Unterwegs befindliche Nachrichten

I

Breites Anwendungsfeld – – – –

I

Verteilte Terminierung Verklemmung Wechselseitiger Ausschluß ...

Nachteile – Meist hohes Nachrichtenaufkommen – Nicht „Verteilt“ genug

Verteilte Systeme, Sommersemester 1999

(c) Peter Sturm, Universität Trier

Folie 9.4

2

Vorlesung "Verteilte Systeme"

Sommersemester 1999

Schnitte im Zeitdiagramm I

Abfrage erreicht nicht alle Prozess gleichzeitig

I

Äquivalente Berechnung

– Gumminbandtransformation Verteilte Systeme, Sommersemester 1999

Folie 9.5

Inkonsistente und konsistente Schnitte I

Inkonsistent: Nachrichten aus der Zukunft

– Gummibandtransformation?

I

Konsistenz eines Schnitts – Ein Schnitt S ist konsistent, wenn gilt

e ∈ S ∧ e′ < k e ⇒ e′ ∈ S Verteilte Systeme, Sommersemester 1999

(c) Peter Sturm, Universität Trier

Folie 9.6

3

Vorlesung "Verteilte Systeme"

Sommersemester 1999

Schnappschuß: Schnappschuß: Grundidee I

Prozeßgruppe und einen Koordinator

I

„Einfärben“ von Nachrichten und Prozessen – Rot: Links eines konsistenten Schnittes – Schwarz: Rechts vom Schnitt

Koordinator sendet Zustandsabfrage an Gruppe

I

– Empfänger wechselt die Farbe – Sendet Zustand zurück an Koordinator

st at e

e?

Gruppe

at

!

Koordinator st

Verteilte Systeme, Sommersemester 1999

Folie 9.7

SchnappschußSchnappschuß-Algorithmus I

Annahmen – |G| = n – Keine Nachrichtenverluste, keine Abstürze

I

Koordinator: – Schnappschuß () { color = initiale Farbe; Farbe; Multicast(state?,color) Multicast(state?,color) to G; for (i=0;i< i=0;i