Verlässliche Verteilte Systeme WS 0506

Verlässliche Verteilte Systeme

WPF CVM ab 1, CSM ab 3, CV, IF, INGIF, WIF ab 5;    2 SWS

Aktuelle Informationen:

Raumänderung der Vorlesung: Ab sofort findet die Vorlesung in Raum K0-59 statt.

Aktuelle Übungsaufgabe

Das folgende Programm übersetzen und ausprobieren. Ein netcat -u -l -p 4711 dient als Gegenstelle. Anschließend erweitern, so dass der zu sendende Text von filedescriptor 0 mittles read(2)gelesen wird.

Übungsbeginn: Die Übungen beginnen erst ab der 42. KW.

Termine der Vorlesungen und Übungen

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 Dienstgüte (Quality of Service), den diese bereitstellen können. Die wichtigsten Parameter dafür sind Fehlertoleranz, Echtzeitfähigkeit und Sicherheit.

Zunächst werden die grundlegenden Konzepte verteilter Systeme angesprochen, wie

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

Darüber hinaus wird dann insbesondere auf Paradigmen zur Erzielung von Fehlertoleranz wie

• Fehlererkennung
• Replikation und Voting
• Atomare Aktionen

und Kommunikationssicherheit wie

• Vertraulichkeit
• Integrität
• Authentifizierung

eingegangen.

In den Übungen wird, beginnend mit der Vermittlung programmiertechnischer Grundlagen (Socketprogrammierung), einzelne Aspekte des Vorlesungsstoffs anhand von praktischen Beispielen vertieft. Die Vorlesung wird in deutscher Sprache gehalten, die Folien sind in englisch.

Vorlesungsfolien (im PDF-Format):

Übungszettel (im PDF-Format):

Empfohlene Literatur:

• Paolo Verissimo, Luis Rodrigues
  "Distributed Systems for System Architects"
  Verlag: Kluwer Academic Publishers, 2001
• Andrew Tannenbaum, Maarten van Steen
  Verteilte Systeme - Grundlagen und Paradigmen
  Verlag: Pearson Studium, 2003
• Paul Ezhilchevan, Alexander Romanovsky (Herausgeber)
  "Concurrency in Dependable Computing"
  Verlag: Kluwer Academic Publishers, 2002

Zuordnung: Technische Informatik