[Christian-Albrechts-Universität] [Institut fuer Informatik]

Verteilte Algorithmen
Seminar im Sommersemester 2008


Vorbesprechung: Freitag, 15. Februar 2008, 14:00 Uhr im Hochhaus Raum 1210
Termine/Orte: Fr., 25.04., ab 12:00, Hochhaus Raum 1210
  Sa., 26.04., ab 9:00, Ü1
  Fr., 02.05., ab 12:00, Ü2
  Sa., 03.05., ab 9:00, Ü2
Dozent: Willem-Paul de Roever und Mitarbeiter

Die vollständigen studientechnischen Daten sind über das Univis-System zu erfragen.

Bei Fragen zum Seminar, E-Mail an Heiko Schmidt oder Immo Grabe.



Die Bedeutung verteilter Algorithmen rührt von der Allgegenwart verteilter, vernetzter und nebenläufiger Systeme. Trotz der Vielfalt der Erscheinungsformen liegen verteilter Software eine Reihe fundamentaler immer wiederkehrender Prinzipien und Algorithmen zugrunde. Beispiele für typische Fragestellungen sind Informationsverbreitung und -sammlung in Netzen, Konsensfindung, Bestimmung eines ausgezeichneten Prozesses (Leader Election), Fehlerentdeckung und -behebung, Herstellung von Synchronizität, Bestimmung eines globalen, konsistenten Schnappschusses und ähnliches.

Die zugehörigen Algorithem sind oft elegant und kompakt. Dennoch ist ihre fehlerfreie Entwicklung und Analyse anspruchsvoll, da sich das nebenläufige Geschehen in beliebigen Netzen nur schwer intuitiv (und korrekt ...) durchschauen läßt. Die Kenntis der grundlegenden Prinzipien sowie wichtiger Algorithmen auf diesem Gebiet gehört demzufolge zum unverzichtbaren Handwerkszeug zur Entwicklung moderner, verteilter Systeme.

Aufbauend auf die Vorlesung im WS07/08 werden im Seminar ausgewählte Kapitel aus dem Buch Distributed Algorithms von Nancy Lynch behandelt. Je nach Umfang des Stoffes werden die Kapitel an ein oder zwei Seminarteilnehmer vergeben.



Organisatorisches

Verlangt ist die Ausarbeitung (mit Hilfestellung natürlich) und die Präsentation eines Vortrages über das gewählte Thema. Relevant sind Daneben wird regelmäßige Teilnahme am Seminar vorausgesetzt.

Ausdrücklich empfohlen ist das rechtzeitige Durchsprechen der vorbereiteten Präsentationsfolien mit dem jeweiligen Betreuer.

Bei Teilnahme bitte auch in die StudiDB eintragen.

Vortragsthemen

Liste der Vortragsthemen: (Stand: 14.03.)
Termin Raum Vortragender Thema Quelle(n) Betreuer Folien
25.04., 12:00 1210 Yvan Benekov Verteilte Einigung Kapitel 12/17.2.3 aus [L] Immo  
25.04., danach 1210 Denis Degraf Simulating Synchrony Kap. 11 [AW], Kap. 16 [L] Heiko  
26.04., 9:00 Ü1 Tsvetelin Polomski Resourcenzuteilung in Netzwerken Kapitel 20 aus [L] Immo  
26.04., danach Ü1 Andrej Seifert Data-Link Protokolle Kapitel 22 aus [L] Heiko  
02.05., 12:00 Ü2 Maksat Annageldyev Asynchrone Netzwerke und Prozessfehler Kapitel 21 aus [L] Immo  
02.05., danach Ü2 Björn Duderstadt Improving the fault tolerance of algorithms Kapitel 12 aus [AW] Heiko  
03.05., 9:00 Ü2 Daniel Ehlers Uhrensynchronisation und Fehlertoleranz Kapitel 6.3/13 aus [AW] Heiko  
03.05., danach Ü2 Christian Gregoire Das Teilzeitparlament von Paxos Verschiedene Papers Immo  
[L]
Nancy Lynch, Distributed Algorithms
[AW]
Hagit Attiya and Jennifer Welch, Distributed Computing

Links

Pages last (re-)generated th , 
This document was translated from LATEX by HEVEA.