Diese Vorlesung präsentiert Algorithmen für Grundprobleme in Netzwerken
mit zahlreichen Prozessoren, wie sie in den Bereichen Telekommunikation,
Prozeßkontrolle und verteilte Informationssysteme auftreten, und
untersucht die Effizienz dieser Algorithmen. Grundprobleme sind der
Zugriff auf gemeinsame Ressourcen (Problem des gegenseitigen
Ausschlusses), Kommunikation (Aufbau geeigneter Strukturen zur
Verbreitung von Daten im Netzwerk) und Konsens (z.B. ob eine Transaktion
in einem verteilten Datenbanksystem abgebrochen werden muß). Dabei
sollen Lösungen fehlertolerant sein, also auch bei fehlerhaftem
Verhalten oder Ausfall einiger Prozessoren oder
Kommunikationsverbindungen korrekt arbeiten.
In der Vorlesung wird die Korrektheit der behandelten Algorithmen in
der Regel bewiesen, da sie in vielen Anwendungen (in Telefon-,
Reservierungs-, Bank- oder Luftfahrt-Kontroll-Systemen) essentiell ist.