Modulcode:	MS1003
Englische Bezeichnung:
Modulverantwortliche(r):	Prof. Dr. Willem-Paul de Roever
Turnus:	unregelmäßig (WS07/08)
Präsenzzeiten:	4V 2Ü
ECTS:	8
Workload:	240 Std.
Dauer:	ein Semester
Modulkategorien:	TG (Sonstige) MV (Sonstige)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Verteilte Algorithmen sind einer der am häufigsten vorkommenden Bestandteile der modernen Informatik. Ihrer Komplexität wegen sind die fehlerfreie Entwicklung und Analyse solcher Algorithmen zeitaufwendig und in relativ kurzer Zeit nur möglich, wenn die Entstehung, d.h. ihre Entwicklungsgeschichte, bekannt ist.

Lernziele:

In diesem Modul werden die Studierenden mit der Entwicklungsgeschichte verteilter Algorithmen vertraut gemacht und erlernen die Funktionsweise und Anwendung der wichtigsten verteilten Algorithmen.

Lehrinhalte:

Es werden synchrone und asynchrone Systeme betrachtet. Process Failures und Channel Failures werden behandelt. Passende Modelle für die verschiedenen Systeme werden vorgestellt. Unter anderem werden Algorithmen für die folgende Probleme betrachtet: Leader Election, Distributed Search, Spanning Tree und Distributed Consensus, sowie für Resource Allocation, Atomic Objects, synchronous Networks und Synchronizers.

Weitere Voraussetzungen:

Prüfungsleistung:

Abschlussprüfung am Ende der Vorlesung

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

N. Lynch. Distributed Algorithms. Kaufmann Publishers, 1996

H. Attiya and J. Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill, 1998

V. C. Barbosa. An Introduction to Distributed to Algorithms. MIT Press, 1996

M. Raynal and J.-M. Helary. Synchronization and Control of Distributed Algorithms and Programs. Wiley, 1990

G. Tel. Introduction to Distributed Algorithms. Cambridge University Tracts, 1994

Verweise:

Kommentar: