Verlässliche verteilte Systeme

Die Lehrveranstaltung Verlässliche verteilte Systeme richtet sich an Diplomstudierende im Hauptstudium und Masterstudierende und hat das Ziel, einen umfassenden Überblick zu geben über Architektur und systemseitigen Entwurf verteilter Systeme. In vielen Applikationen entscheidet sich der Einsatz solcher Systeme am Grad der Verlässlichkeit bzw. Dienstgüte (Quality of Service), den diese bereitstellen können.

Durchführung/Kontakt

• Prof. Dr. rer. nat. habil. Edgar Nett
• Dipl.-Inform. Georg Lukas

Termine der Vorlesung und Übungen

Die Vorlesung beginnt in der 43. KW (ab dem 22. Oktober). Die ersten Übungen finden in der 44. KW (ab dem 27. Oktober) statt.

Theoretische Übungsaufgaben

In den Übungen werden beginnend mit der Vermittlung programmiertechnischer Grundlagen (Socketprogrammierung) einzelne Aspekte des Vorlesungsstoffs anhand von praktischen Beispielen vertieft.

Für eine erfolgreiche Teilnahme werden die regelmäßige Teilnahme an der Vorlesung sowie die erfolgreiche Bearbeitungen der Übungs-bzw. Programmieraufgaben vorausgesetzt.

• 1. Aufgabenblatt (Bearbeitung zum 1.12.2009)
• 2. Aufgabenblatt (Bearbeitung zum 14.12.2009)
• 3. Aufgabenblatt (Bearbeitung zum 26.01.2010)

Lehrinhalte

Diese Lehrveranstaltung hat das Ziel, einen umfassenden Überblick zu geben über Architektur und systemseitigen Entwurf Verteilter Systeme. Entscheidend für den Einsatz solcher Systeme in vielen Applikationen wird sein der Grad der Verlässlichkeit bzw. Dienstgüte (Quality of Service), den diese bereitstellen können.

Zunächst werden die grundlegenden Konzepte verteilter Systeme angesprochen:

• Namensgebung und Adressierung
• Kommunikationsparadigmen
• Zeit und Uhren
• Ordnungsrelationen
• Konsistenz, Nebenläufigkeit und Koordination

Darüber hinaus wird auf Paradigmen zur Erzielung von Verlässlichkeit eingegangen, insbesondere durch Methoden der Fehlertoleranz, z.B.

• Fehlererkennung
• Replikation und Voting

sowie Modellbildungen:

• Transaktionen
• Atomare Aktionen

Vorlesungsskript

Die Folien werden als PDF hier jeweils im Anschluss an die Vorlesung verfügbar gemacht.

Die Vorlesung wird in deutscher Sprache gehalten, die Folieninhalte werden auf englisch präsentiert.

• Einführung und Distr-Par vom 22.10.09 Seiten 1-6
• Einführung und Distr-Par Teil2 vom 29.10.09 Seiten 7-12
• Einführung und Distr-Par Teil3 vom 5.11.09 Seiten 13-20
• Einführung und Distr-Par Teil4 vom 12.11.09 Seiten 21-28
• Einführung und Distr-Par Teil5 vom 19.11.09 Seiten 29-35
• Distributed Paradigms II vom 26.11.09 Seiten 1-7
• Distributed Paradigms II vom 3.12.09 Seiten 8-15
• Distributed Paradigms II vom 10.12.09 Seiten 15-25
• FT Intro vom 17.12.09 Seiten 1-17
• FT paradigms vom 14.1.10 Seiten 1-11
• FT paradigms Teil2 vom 21.1.10 Seiten 12-21
• FT Models vom 28.1.10 Seiten 2-11

Materialien für die Übungen

Modul für die Uhrensynchronisation (Dokumentation)

clock.o Modul (Stand: 12.01.2010)

clock.h Header (Stand: 12.01.2010)

Empfohlene Literatur

• Paolo Verissimo, Luis Rodrigues "Distributed Systems for System Architects"
  Verlag: Kluwer Academic Publishers, 2001

Teilnehmerkreis

WPF CV;M ab 1 ; CSE;M ab 1 ; IF;M ab 1
WPF CV;i ab 7 ; IF;i ab 7 ; INGIF;i ab 7 ; WIF;i ab 7

2 SWS V + 2 SWS Ü ; ECTS:6

Zuordnung

Technische Informatik (für Diplomstudierende relevant)

Zugangsvoraussetzungen

Bachelor bzw. Vordiplom