General information

Course number	INF-0163
Semester	WS 2020/21
Current number of participants	15
expected number of participants	30
Home institute	Theorie verteilter Systeme
Courses type	Lecture in category Teaching
First date	Mon , 02.11.2020 10:15 - 11:45
Online/Digitale Veranstaltung	Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache	deutsch
Literaturhinweise	Nancy Lynch: Distributed Algorithms
ECTS points	8

Lecturers

Course location / Course dates

n.a	Monday: 10:15 - 11:45, weekly Wednesday: 10:15 - 11:45, weekly Thursday: 16:15 - 17:45, weekly

Fields of study

Fakultät für Angewandte Informatik > Informatik

Module assignments

Comment/Description

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.