Lektion 1: In diesem Modul lernen Sie, wie das Multicast-Problem mit Hilfe von Epidemie-/Gossip-Protokollen gelöst wird. Außerdem wird die Analyse solcher Protokolle gelehrt. Lektion 2: Dieses Modul behandelt den Entwurf von Fehlerdetektoren, einer Schlüsselkomponente in jedem verteilten System. Es werden auch Mitgliedschaftsprotokolle behandelt, die Fehlerdetektoren als Komponenten verwenden. Lektion 3: Dieses Modul behandelt das Grid-Computing, einen wichtigen Vorläufer des Cloud-Computing.

P2P-Systeme: Dieses Modul vermittelt das detaillierte Design von zwei Klassen von Peer-to-Peer-Systemen: (a) populäre Systeme wie Napster, Gnutella, FastTrack und BitTorrent und (b) effiziente Systeme wie verteilte Hash-Tabellen (Chord, Pastry und Kelips). Das Modul konzentriert sich nicht nur auf das Design, sondern analysiert diese Systeme auch im Detail.

Lektion 1: In diesem Modul wird das Design von Key-Value/NoSQL-Speicher-/Datenbanksystemen erläutert und gelehrt. Wir befassen uns mit dem Design von zwei wichtigen Industriesystemen: Apache Cassandra und HBase. Wir behandeln auch das berühmte CAP-Theorem. Lektion 2: Verteilte Systeme sind asynchron, was es schwierig macht, die Uhren auf verschiedenen Rechnern zu synchronisieren. Dieses Modul befasst sich zunächst mit verschiedenen Algorithmen zur Synchronisierung von Uhren und dann mit Möglichkeiten zur Kennzeichnung von Ereignissen mit kausalen Zeitstempeln, die eine Synchronisierung von Uhren vermeiden. Diese klassischen Algorithmen wurden vor Jahrzehnten erfunden, werden aber in den heutigen Cloud-Systemen häufig verwendet.

Lektion 1: In diesem Modul erfahren Sie, wie Sie einen verteilten Snapshot berechnen und dabei wieder die Kausalität nutzen, um das Synchronisationsproblem zu umgehen. Lektion 2: In dieser Vorlesung lernen Sie, wie Sie Multicasts in einem verteilten System ordnen können. Es werden Algorithmen für die Zuweisung von Zeitstempel-Tags zu Multicasts unter Verwendung verschiedener Ordnungsvarianten - FIFO, Kausal und Total - behandelt. Das Modul behandelt auch die virtuelle Synchronie, ein Paradigma, das zuverlässige Multicasts mit Membership Views kombiniert. Lektion 3: Konsens ist eines der wichtigsten Probleme in einem verteilten System, das es mehreren Rechnern ermöglicht, sich zu einigen. In diesem Modul wird Paxos verwendet, eine der beliebtesten Konsenslösungen, die heute in der Branche eingesetzt werden. Paxos ist nicht perfekt, denn Konsens kann nicht vollständig gelöst werden - ein optionaler Vortrag stellt den berühmten FLP-Beweis der Unmöglichkeit von Konsens vor.