Verteilte Systeme

Material zur Vorlesung

Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie entweder einen IBR-POSIX-Account, den Sie vielleicht bereits im Rahmen einer Arbeit am Institut erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion dieser Website an.

Kapitel

Folien

Übungen

1. Organisatorisches

2. Bestandsaufnahme

3. Ueberblick

4. Kommunikationssystem

4. Fernaufrufe

5. Fault-Tolerant CORBA

6. Verteilte Algorithmen fuer fehlertolerante Programme

Material zur Übung

Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie entweder einen IBR-POSIX-Account, den Sie vielleicht bereits im Rahmen einer Arbeit am Institut erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion dieser Website an.

Kapitel

Folien

Übungen

0. Organisatorisches

1. Java RMI

Aufgabe 1: Ausgabe 29.04.15, Abgabe bis 7-8.05.15 (bzw. spaetestens 13.5)

2. Multithreading in Java

3. Stubs und Skeletons

Aufgabe 2: Ausgabe 19.05.15, Abgabe bis 04.06.15

4. Rueckrufe und Evaluation von Systemen

5. RPC-Semantiken

Aufgabe 3: Abgabe bis 18.06.15

6. Replikation

Aufgabe 4: Ausgabe 17.06.15, Abgabe bis 02.07.15

8. Zuverlassige Gruppenkommunikation

Aufgabe 5: Ausgabe 01.07.2015, Abgabe bis 17.07.15

9. Research Summary DS 2015

Uebersicht offener Abschlussarbeiten

Vorlesung

Verteilte Systeme bestehen aus einem (ggf. sehr großen) Verbund unterschiedlicher Rechner, die ihrerseits durch z.T. sehr unterschiedliche Systemsoftware betrieben werden. Zur Realisierung des Rechnerverbunds kommen dabei ebenso unterschiedliche Netztechnologien zum Einsatz. Verteilte Systeme sind höchst komplexe Gebilde, deren Entwicklung und Wartung große Herausforderungen offenbaren.

Die Heterogenität ihrer Komponenten stellt eines der großen Probleme verteilter Systeme dar. Gleichwohl ist Offenheit angestrebt, die es erlauben soll, dass (beliebige) Komponenten hinzugefügt, ersetzt und/oder wieder entfernt werden können. Nicht nur in dem Zusammenhang ist es von Bedeutung, Skalierbarkeit zu unterstützen und damit die Funktionstüchtigkeit des Systems auch bei steigender Anzahl von Benutzern bzw. Komponenten zu gewährleisten. Nebenläufigkeit und nicht zuletzt Sicherheit sind weitere Problempunkte, die sich in einem solchen dynamischen Umfeld alles andere als einfach lösbar darstellen. Und bedingt durch die Tatsache, dass die Komponenten (d.h. Rechner, Netze, Prozesse) eines verteilten Systems unabhängig voneinander ausfallen können, unterscheidet sich die Fehlerverarbeitung grundlegend im Vergleich zu Einzelsystemen - worin u.a. auch die fast schon legendäre Definition von Leslie Lamport begründet ist: "A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable". Daher wird der Schaffung von Transparenz eine sehr große Bedeutung beigemessen, um die den verteilten Systemen inhärente Komplexität ab einer bestimmten Ebene nicht mehr sichtbar erscheinen zu lassen.

Eine wichtige Motivation für den Aufbau verteilter Systeme besteht in der gemeinsamen Nutzung von Betriebsmitteln. Die Verwaltung von Betriebsmitteln ist eine der ursprünglichsten Aufgaben von Betriebssystemen. Damit sind Betriebssysteme im Kontext verteilter Systeme von zentraler Bedeutung, sie bilden das Rückgrat des Gesamtkomplexes.

Die Vorlesung behandelt die oben genannten Problemfelder (Heterogenität, Offenheit, Skalierbarkeit, Nebenläufigkeit, Sicherheit, Fehlerverarbeitung, Transparenz) mit unterschiedlicher Gewichtung und untersucht dabei verteilte Systeme im ersten Teil der Vorlesung aus sehr praktischer Sicht. Im Vordergrund steht hier die Systemsoftware, die zum Aufbau verteilter Systeme erforderlich ist.

Im weiteren Verlauf der Veranstaltung soll zudem auf wichtige algorithmische Grundlagen verteilter Systeme eingegangen werden. Hier ist die Behandlung von Zeit, Wahlalgorithmen sowie Themen wie Verteilte Terminierungserkennung oder Einigungsalgorithmen zu nennen.

Übung

Im Rahmen der ersten Übungsaufgaben wird ein plattformunabhängiges Fernaufrufsystem schrittweise entwickelt und parallel dazu getestet. Als Vorlage und Orientierungshilfe dient dabei das weit verbreitete Java RMI. In den weiteren Übungsaufgaben stehen klassische Problemstellungen von verteilten Systemen wie fehlertolerante Replikation, zuverlässige Gruppenkommunikation und verteilte Synchronisation im Mittelpunkt. Die Implementierung der Übungsaufgaben erfolgt in der Programmiersprache Java.

Als Grundlage für das eigene Fernaufrufsystem wird zunächst eine objektorientierte Kommunikation zwischen einem Client und einem Server ermöglicht. Ausgehend davon erweitern die folgenden Übungsaufgaben das bestehende System um die eigentlichen Mechanismen zur Durchführung von Fernaufrufen. Hinzu kommt außerdem zusätzliche Funktionalität, wie beispielsweise die Unterstützung von Rückrufen. Darüber hinaus wird durch den Einsatz geeigneter Fernaufrufsemantiken sowie die Replikation der Server-Seite die Fehlertoleranz des Systems erhöht, so dass sich am Ende auch Ausfälle ganzer Rechner tolerieren lassen.

Der Austausch von Nachrichten zwischen einzelnen Dienstreplikaten wird mit Hilfe der Gruppenkommunikation JGroups abgewickelt. Um das Verständnis für den Aufbau solcher Systeme zu vertiefen, wird in einer Übungsaufgabe eine eigene Protokollschicht für JGroups realisiert, die sicherstellt, dass alle Replikate alle über die Gruppenkommunikation verschickten Nachrichten in der selben Reihenfolge erhalten und somit konsistente Entscheidungen treffen können. In der letzten Übungsaufgabe wird schließlich auf Basis von JGroups ein verteilter Synchronisationsalgorithmus für wechselseitigen Ausschluss implementiert.

Die Bearbeitung der Übungsaufgaben erfolgt in Gruppen. Für die erfolgreiche Abgabe einer Aufgabe ist es erforderlich, die eigene Implementierung einem Übungsleiter zu präsentieren.

Bei Fragen zu den Übungen kontaktiert bitte Rüdiger.

• Andrew S. Tanenbaum: Distributed Systems: Principles and Paradigms, Prentice Hall, 2006 (Tan06, BibTeX) stellt die Hauptreferenz / Script dar
• George Coulouris, Jean Dollimore and Tim Kindberg: Distributed Systems, Concepts and Design, third edition, Addison Wesley, 2001 (D.01.3037)
• Christian Cachin, Rachid Guerraoui and Luís Rodrigues: Introduction to Reliable and Secure Distributed Programming (2. ed.), Seite I-XIX, 1-367, Springer, 2011 (rsdp11cachin, BibTeX)