|
|
Module code: PIM-VAA |
|
1V+3P (4 hours per week) |
6 |
Semester: 1 |
Mandatory course: no |
Language of instruction:
German |
Assessment:
Written exam
[updated 20.12.2017]
|
KIM-VAA (P222-0072) Computer Science and Communication Systems, Master, ASPO 01.10.2017
, semester 1, mandatory course
PIM-VAA (P222-0072) Applied Informatics, Master, ASPO 01.10.2017
, semester 1, optional course, informatics specific
|
60 class hours (= 45 clock hours) over a 15-week period. The total student study time is 180 hours (equivalent to 6 ECTS credits). There are therefore 135 hours available for class preparation and follow-up work and exam preparation.
|
Recommended prerequisites (modules):
None.
|
Recommended as prerequisite for:
PIM-SVS
[updated 08.04.2022]
|
Module coordinator:
Prof. Dr. Markus Esch |
Lecturer: Prof. Dr. Markus Esch
[updated 29.06.2017]
|
Learning outcomes:
After successfully completing this module, students will be able to name the basic properties of distributed algorithms and applications and to describe common models for describing distributed systems. They will be able to explain the challenges and requirements implied by the distribution aspect in the development of distributed algorithms. Students will be able to evaluate and implement essential aspects of distributed algorithms and applications, such as causal dependency, logical time, synchronization, etc... They will be able to transfer and apply the theoretical knowledge taught in the lecture, in order to solve actual problems. In addition, students will be able to provide simple proof for the correctness of distributed algorithms.
[updated 24.02.2018]
|
Module content:
- Broadcast and propagation with feedback - Causal dependency - Correctness properties safety and liveness - Models for logical time - Scheduling - Consistent snapshot - Deadlock, detection and avoidance - Mutual exclusion - Discussion of relevant practical contributions
[updated 20.12.2017]
|
Teaching methods/Media:
Lecture slides, annotated lecture slides as a script, lecture-related practical exercises, research on current topics
[updated 20.12.2017]
|
Recommended or required reading:
A. S. TANNENBAUM, M. v. STEEN: Distributed Systems. Principles and Paradigms, CreateSpace Independent Publishing Platform, 2nd Edition, 2016 G. COULOURIS, J. DOLLIMORE, T. KINDBERG: Distributed Systems: Concepts and Design, 5th Edition, 2011 G. TEL: Introduction to distributed algorithms, Cambridge University Press; 2nd Edition, 2000
[updated 20.12.2017]
|
Module offered in:
WS 2024/25,
WS 2023/24,
WS 2022/23,
WS 2021/22,
WS 2020/21,
...
|