Uni-Logo
You are here: Home Lehre Frühere Veranstaltungen Universität Freiburg Distributed Systems SS12 Lecture Distributed Systems
Document Actions

Lecture Distributed Systems

Christian Schindelhauer und Georg Lausen

Spezialvorlesung in der Spezialisierung Informationssysteme

Aktuelles

  • 18.04.2012: Webseiten online
  • 11.10.2012: Klausureinsicht

Inhalt

Nach einer Einführung in die Welt verteilter Systeme werden die folgenden grundlegenden Themen besprochen.

  • Systemmodelle
  • Netzwerke und Kommunikation
  • Zeit und globale Zustände
  • Konsistenz und Koordination
  • Verteilte Transaktionen
  • Replikation

Darauf aufbauend werden spezialisierte, aktuelle Themen behandelt, die unter anderen aus den folgenden Bereichen stammen können.

  • Mobile verteilte Systeme
  • Verteilte web-basierte Systeme
  • Verteiltes Multi-Threading
  • Peer-to-Peer-Netzwerke

Organisation

Vorlesung

  • Christian Schindelhauer und Georg Lausen
    • Montag, 10:00 - 12:00 c.t., Seminarraum 101-00-010/014
    • Freitag, 14:00 - 15:00 c.t., Seminarraum 101-00-010/014

Übungen

  • Freitag am 04.05.2012,18.05.2012,08.06.2012 (Christian Ortolf) 14:00 - 16:00 c.t., Seminarraum 101-00-010/014
  • Freitag am 15.06.2012,29.06.2012,13.07.2012,27.07.2012 (N.N.) 14:00 - 16:00 c.t., Seminarraum 101-00-010/014

Forum

Zu der Vorlesung ist ein Forum eingerichtet, in dem inhaltliche und organisatorische Fragen diskutiert werden können. Eine Registrierung dafür ist nicht notwendig.

Material Part 1 (Christian Schindelhauer)

Vorlesungsfolien

  • 1. Introduction, Motivation, Organization, 23.04.,27.04.2012 (pdf, Stand: 26.04.0212)
  • 2.System Models, 27.04.2012 (pdf, Stand: 26.04.0212)
  • 3.Time and Global States, 30.04.,07.05.2012 (pdf, Stand: 13.05.0212)
  • 4.Coordination and Agreement, 11/14/20/24/25.05.2012 (pdf, Stand 24.05.2012)
  • 5.Distributed Routing 03.06.2012 (pdf, Stand 02.06.2012)

Aufzeichnungen

  • 23.04.2012 Part I: Chapter 1: Introduction, motivation, organization (mp4)
  • 27.04.2012 Part I: Chapter 1: introduction, motivation, organization, chapter 2: system models (mp4)
  • 30.04.2012 Part I: Chapter 2: System Models: system models, chapter 3: time and global states (mp4)
  • 07.05.2012 Part I: Chapter 3: Time and Global States: Lamport clocks and consistent cuts (mp4)
  • 11.05.2012 Part I: Chapter 3: Time and Global States: failure models, synchronization (mp4)
  • 14.05.2012 Part I: Chapter 4: Coordination and agreement: mutual exclusion, election (mp4)
  • 21.05.2012 Part I: Chapter 4: Coordination and agreement: election and multicast (mp4)
  • 25.05.2012 Part I: Chapter 4: Coordination and agreement: consensus (mp4)
  • 03.06.2012 Chapter 5: Distributed Routing (mp4)

Übungsblätter 

  • 30.04.2012 Exercise 01: (pdf)
  • 14.05.2012 Exercise 02: (pdf)
  • 01.06.2012 Exercise 03: (zip)

Material Part 2 (Georg Lausen)

 Vorlesungsfolien

  • 6. Organization, Introduction, 11.06.2012 (pdf, pdf, Stand: 11.06.0212) 
  • 7. Distributed System Architectures, 18.06.2012 (pdf, Stand: 18.06.0212) 
  • 8. Transaction Model, 18.06.2012 (pdf, Stand: 18.06.0212) 
  • 9. Distributed Concurrency Control, 22.06.2012 (pdf, Stand: 22.06.0212) 
  • 10. Reliability, 25.06., 02.07.2012 (pdf, Stand: 05.07.0212) 
  • 11. Replication, 06.07.2012 (pdf, Stand: 05.07.0212) 
  • 12. Petri-Nets: Elementary System Nets, Control Patterns, 09.07.2012 (pdf, Stand: 06.07.0212) 
  • 12. Petri-Nets: Analysis, Invariants, Place Capacities, 16.07.2012 (pdf, Stand: 16.07.0212) 
  • 12. Petri-Nets: Invariants, Place Capacities, S-Nets with Colors, 20.07.2012 (pdf, Stand: 17.07.0212) 
  • 12. Petri-Nets: Workflow-Nets, 27.07.2012 (pdf, Stand: 24.07.0212) 
  • 12. Petri-Nets: (Print Version) (pdf, Stand: 24.07.0212) 

Aufzeichnungen

  • 11.06.2012 Part II: Organization, Chapter 6: Introduction (mp4)
  • 18.06.2012 Part II: Chapter 7: Distributed system architectures, chapter 8: Transaction model (mp4)
  • 22.06.2012 Part II: Chapter 9: Distributed Concurrency Control (mp4)
  • 25.06.2012 Part II: Chapter 10: Reliability: Commit coordination (mp4)
  • 02.07.2012 Part II: Chapter 10: Reliability: Commit coordination, Crash recovery (mp4)
  • 06.07.2012 Part II: Chapter 11: Replication (mp4)
  • 09.07.2012 Part II: Chapter 12: Petri-Nets: Elementary System Nets, Control Patterns (mp4)
  • 16.07.2012 Part II: Chapter 12: Petri-Nets: Analysis, Invariants (mp4)
  • 20.07.2012 Part II: Chapter 12: Petri-Nets: Invariants, Place Capacities, S-Nets with Colors (mp4)
  • 23.07.2012 Part II: Chapter 12: Petri-Nets: S-Nets with Colors (mp4)
  • 27.07.2012 Part II: Chapter 12: Petri-Nets: Workflow-Nets (mp4)

 Übungsblätter

  • 15.06.2012 Exercise 04: (pdf)
  • 29.06.2012 Exercise 05: (pdf)
  • 13.07.2012 Exercise 06: (pdf)
  • 23/27.07.2012 Exercise 07: (pdf)

Prüfung

Die schriftliche Klausur findet im September statt. Die Prüfungsanmeldung erfolgt on-line über das HIS. Weitere Zulassungsvoraussetzungen gibt es nicht. Beachten Sie die Fristen!

Außer Schreibzeug sind keine Hilfsmittel mitzubringen.

Studiengänge und Module

Die Klausur findet am Dienstag, 18.09.2012 10 Uhr im Seminarraum 101-01-009/13 statt. Anmeldungen müssen über das zentrale HIS durchgeführt werden. 

Die zugeordneten Studiengänge und Prüfungsmodule sind im Vorlesungsverzeichnis aufgeführt.

Literatur

  • Verteilte Systeme: Konzepte und Design, Jean Dollimore, George Coulouris, Tim Kindberg, 3. Auflage, Pearson Studium, 2002.
  • Verteilte Systeme: Prinzipien und Paradigmen, Andrew Tanenbaum, Maarten van Steen, 2. Auflage, pearson Studium, 2007
  • Transactional Information Systems, G. Weikum, G. Vossen, Morgan Kaufmann, 2002.
  • Principles of Distributed Database Systems, M.Z. Üzsu, P. Valduriez, 3rd edition, Springer, 2001. 

Weitere Literaturhinweise werden hier im Verlauf der Veranstaltung veröffentlicht.

Personal tools