4.2 Gruppenkommunikation (group communication) Bedeutet:Sendeoperation bezieht sich auf mehrere Adressaten - die Mitglieder einer Prozeßgruppe (process group) Rundruf, Rundsendung, Rundmeldung (multicast; an alle Prozesse: broadcast) (Gegenteil: unicast) Motivation:- Replikation von Code und/oder Daten - Auffinden von Objekten im Netz - Informationsdienste - Konferenzsysteme, Kooperationssysteme (CSCW)

Klassifikation in verschiedenen Dimensionen: Adressierung:- benannte Prozeßgruppen: send m to group (mit Operationen zum Betreten/Verlassen einer Gruppe) - ad-hoc-Prozeßgruppen: send m to procset Offenheit:- geschlossene Gruppe: nur Mitglieder können senden - offene Gruppe: jeder kann senden Zuverlässigkeit: - keine Garantie, daß jeder die Nachricht erhält - atomar: Nachricht erreicht alle oder keinen - k-zuverlässig: Nachricht erreicht mindestens k Teilnehmer Ordnung:s.u.

Implementierung: Gruppenverwaltung: - zentralisiert - verteilt Nachrichtenübertragung: - mit multicast-fähiger Netz-Hardware - mit speziellen Multicast-Protokollen - per Einzeladressierung

4.2.1 Ordnung der Nachrichten In welcher Reihenfolge treffen Rundrufe bei den Empfängern ein? ungeordnet: keine Anforderung (d.h. nicht notwendig FIFO) FIFO: mehrere Nachrichten eines Senders kommen in der Reihenfolge ihres Absendens bei allen Empfängern an. (Wie bei Unicast leicht durch Folgenumerierung zu gewährleisten.) Kausalordnung (causally ordered, virtually synchronous) : FIFO bei allen Nachrichten, die in einer Kausalitätskette gesendet werden Totale Ordnung (loosely synchronous) : Nachrichten werden überall in der gleichen Reihenfolge erhalten

Totale Ordnung impliziert Kausalordnung impliziert FIFO impliziert ungeordnet

4.2.2 Sicherung der Kausalordnung p erhöht vor dem Senden P p um 1 und heftet dann P als Marke M an die Nachricht an. Eine von p bei q eintreffende Nachricht mit Marke M wird vom Nachrichtensystem solange zurückgestellt (d.h. nicht abgeliefert), bis gilt: M p = Q p + 1(garantiert FIFO-Ordnung) und i p: M i Q i (garantiert Kausalordnung: alle Nachrichten, die p gesehen hat, hat auch q gesehen) Beim Abliefern einer Nachricht von p bei q wird Q p um 1 erhöht. (CBCAST im System ISIS, Birman/Joseph 1987, Cornell Univ.) Vor.: Zuverlässige Nachrichtenübertragung

4.2.3 Sicherung der Totalordnung durch künstliche Serialisierung unabhängiger Rundrufe entweder mittels Sequencer, d.i. zusätzliche Station, über die alle Rundrufe vermittelt werden odermittels Prozeßring mit kreisender Marke (vgl. Token Ring in Hardware), die die Sendeberechtigung gibt Garantiert werden typischerweise zuverlässige totalgeordnete Rundrufe auch bei Nachrichtenverlust, evtl. sogar Stationsausfall

Struktur des Sequencer-Protokolls: p: send m to G veranlaßt Senden von (m,G) an Sequencer s (unzuverlässiger Unicast) s schickt m an alle Mitglieder von G (unzuverlässiger Multicast) Die send -Anweisung ist erst dann abgeschlossen, wenn bei ihrer Station die Nachricht von s eintrifft. Details:- Durchnumerierung der Unicasts und Multicasts - Timeout bei den beteiligten Prozessen - Geschichtspuffer beim Sequencer (Verteiltes Betriebssystem Amoeba, Kaashoek/Tanenbaum 1989)

Variante des Protokolls: - p macht Rundruf direkt, auch an s: (p,n,m) - s reagiert mit Rundruf (p,n,OK,i) - erst mit Erhalt dieser Nachricht ist die erste offiziell Aufwand: Original:2 lange Nachrichten, aber nur 1 Multicast Variante:2 Multicasts, aber nur eine Nachricht ist lang

4.2.4 Hardware-unterstützte Rundrufe Ethernet: Kollisionsfreie Übertragung (durch Netzsteuerung nach eventuell wiederholten Versuchen sichergestellt) resultiert in Nachrichtenempfang in allen Stationen (einer Gruppe). Pufferüberlauf wird durch Software verhindert. Streng serielle Behandlung aller Rundrufe garantiert Totalordnung (sogar perfect synchrony statt nur virtual/loose synchrony)

Token Ring: Senden kann nur wer im Besitz einer Marke ist. Erst wenn die Nachricht wieder beim Sender angekommen ist, wird die Marke weitergereicht, d.h. Serialität der Rundrufe und damit ebenfalls Totalordnung.