Aktuelles

• Ein detaillierter Zeitplan wurde hinzugefügt.
• Die Vorbesprechung findet am 5. Mai um 16 Uhr im Raum 067, Oettingenstraße 67 statt.

Inhalt

In diesem Seminar geht es um Algorithmen, die die korrekte Zusammenarbeit mehrerer verteilter Rechner oder Prozesse sicherstellen. Beispiele für verteilte Algorithmen sind Synchronisation, z.B. Peterson oder Dekkers  Algorithmus; Leader election, Ressourcenallokierung, verteilte Einigung, Zugriff auf verteilte Datenstrukturen.

Mit der zunehmenden Verwendung verteilten Rechnens in der alltäglichen Praxis wird die Kenntnis dieser Algorithmen und der zugehörigen Entwurfs- und Korrektheitsprinzipien auch für Durchschnittsanwender wichtig.

Das Seminar richtet sich nach dem Buch

   Nancy Lynch
   Distributed Algorithms
   Morgan Kaufman 1996

ggf. angereichert um Originalarbeiten.

 

Organisation

• Umfang:  Blockseminar am Ende des Semesters
  
• Dozenten:  Prof. Dr. Martin Hofmann, Dr. Andreas Abel, Dr. Ulrich Schöpp

Anforderungen

• Vortrag (60 Minuten inklusive Fragen)
• Ausarbeitung zum Thema (ca. 30000 Zeichen)

Zeitplan

• bis spätestens 3. Juni: Besprechung mit dem Betreuer zum Thema
• bis spätestens 17. Juni: Besprechung des Vortrages anhand der Folien
• bis spätestens 30. Juni: Vorabversion der Ausarbeitung ins Netz stellen
• bis spätestens 16. Juli: Abgabe der Endversion der Ausarbeitung

Zeit und Ort

Blockveranstaltung: 2. Juli 2010, 9-16 Uhr, Raum L109, Oettingenstraße 67

Planung

1. Leader Election im synchronen Modell (Kap 2, 3.1, LCR(informal), 4.1, 4.2)
   
   • Bearbeitet von: Michael Strobl
   • Betreuer: Andreas Abel
   • Vortrag: 2. Juli, 9-10 Uhr
   • Ausarbeitung
   • Folien
2. Distributed consensus with link failures (coordinated attack, Byzantine generals, commit in distributed databases) (Kap 5, 6, 7.3 + Kap 2 zum Verständnis) 
   
   • Bearbeitet von: Alexander Müller
   • Betreuer: Andreas Abel
   • Vortrag: 2. Juli, 10-11 Uhr
   • Ausarbeitung
   • Folien
3. Mutual exclusion with asynchronous shared memory (Kap 8, 9, 10)
   
   • Bearbeitet von: Thomas Jahn
   • Betreuer: Ulrich Schöpp
   • Vortrag: 2. Juli, 11-12 Uhr
   • Ausarbeitung
   • Folien
4. Resource allocation with asynchronous shared memory (Kap 11 + Kap 8,9 zum Verständnis)
   • Bearbeitet von: Franz Pletz
   • Betreuer: Ulrich Schöpp
   • Vortrag: 2. Juli, 13-14 Uhr
5. Distributed access to data structures (Moir, Shavit: Concurrent Data Structures und  Herlihy: Wait-free synchronisation und Gotsman et al: Proving That Non-Blocking Algorithms Don’t Block)
   
   • Bearbeitet von: Sabrina Schewtschenko
   • Betreuer: Martin Hofmann
   • Vortrag: 2. Juli, 14-15 Uhr
   • Ausarbeitung
   • Folien
6. Timed automata (Kap 23, 24)
   
   • Bearbeitet von: Gernot Pointner
   • Betreuer: Martin Hofmann
   • Vortrag: 2. Juli, 15-16 Uhr
   • Ausarbeitung (korrigiert am 20.07.10, 16:40)
     
   • Folien
     

Weitere Informationen

Tipps zum Aufbau von Vorträgen und zu Präsentationstechniken:

• Der perfekte Seminarvortrag, A. Zeller, Universität des Saarlandes, Saarbrücken
• How to give a good research talk, S. Peyton Jones, Microsoft Research, Cambridge

 Hilfsmittel zum Erstellen der Vorträge:

• LaTeX Tutorial
• LaTeX Einführung
• LaTeX-Beamer Einführung