Verteilte Algorithmen

Hauptseminar im Hauptstudium / WS 2003/2004 / CS 5900

Angaben

Dozent
Prof. Dr. Franz J. Hauck
Betreuer
Andreas Schmied
Termine
nach Vereinbarung
SWS
2 S

NEU: Hinweise zur Literaturrecherche, Original-Veröffentlichungen

Themengebiet

Verteilte Systeme haben seit langem die Entwicklung vom akademischen Forschungsbereich zu einem allgemein anwendbaren Entwicklungsparadigma vollzogen. Von eingebetteten Systemen in heutigen Mittelklasse-Limousinen über Compute-Cluster bis zu losen, weltumspannenden Rechnerverbünden wird das kooperative Arbeiten genutzt, um effizient zu agieren, die geographische Verteilung der Anwender zu berücksichtigen, Last zu verteilen oder fehlertolerante Systeme zu konstruieren. Populäre Vertreter sind hier die aktuellen Peer-to-Peer-Netze, Grid-Computing-Verbünde, Mobilfunknetze oder industriell genutzte Middleware-Systeme.

Das Hauptseminar soll vor allem grundlegende Algorithmen beleuchten, die im wesentlichen dezentral arbeiten, d.h. sich selbst organisieren unabhängig von der augenblicklichen Teilnehmermenge. Für die teils komplexen Aufgaben in verteilten Systemen lassen sich sehr elegante und manchmal überraschend einfache Lösungen finden. Kenntnisse über Art und Randbedingungen der Algorithmen gewinnen mit der Verbreitung verteilter Systeme in andere Anwendungsbereiche (Medizin, Telekommunikation, Ingenieurwissenschaften etc.) zunehmend an Bedeutung.

Themen

Thema Vortragender Datum Betreuer
0. Hinweise zu Präsentation und Ausarbeitung Franz J. Hauck KW 42 -
00. Zeit in Verteilten Systemen, Wahlalgorithmen Andreas I. Schmied KW 42 -
1. Gegenseitiger Ausschluss (Teil 1: nachrichtenbasierte Verfahren) Claudia Wittke KW 44 sd
2. Gegenseitiger Ausschluss (Teil 2: tokenbasierte Verfahren) Mathias Bader KW 45 sd
3. Transaktionen Clemens Guter KW 46 ha
4. Zustandssicherung Max Moldmann KW 47 ha
5. Terminierungserkennung Michael Stahl KW 48 sd
6. Speicherbereinigung Thomas Huth KW 49 sd
7. Verklemmungserkennung Johannes Stöhr KW 50 sd
8. Einigung (Teil 1: einfache Verfahren) Jörg Wendland KW 51 sd
9. Einigung (Teil 2: Paxos-Algorithmus) Steffen Hein KW 2 ha
10. Einigung (Teil 3: Erweiterungen von Castro) Daniel Mangold KW 3 ha
11. Peer-to-Peer-Systeme (Teil 1: feste Topologie) Florian Mutzer KW 4 ha
12. Peer-to-Peer-Systeme (Teil 2: dynamische Topologie) Axel Roth KW 5 ha