Verteilte Systeme SS 2019, Sergei Gorlatch, Bastian Köpcke

Ein verteiltes System ist eine Menge voneinander unabhängiger Computer und ihrer Software, die dem Benutzer wie ein einzelnes, kohärentes System erscheinen. Beispiele sind: das World Wide Web, ein Universitäts-Netzwerk aus PCs, oder ein SAP-Informationssystem für Arbeitsabläufe. Die Vorlesung wird grundlegende Prinzipien, formale Modelle und moderne Implementierungstechniken für verteilte Systeme vermitteln. Die geplanten Themen sind: Prozesse und Kommunikation, Namensgebung, Synchronisierung, Konsistenz und Replikation, Fehlertoleranz, sowie Sicherheit. Praktische Aspekte werden begleitend in den Übungen behandelt.

Kurs im HIS-LSF