|Module name (EN): Distributed Algorithms and Applications|
|Degree programme: Computer Science and Communication Systems, Master, ASPO 01.10.2017|
|Module code: KIM-VAA|
|Hours per semester week / Teaching method: 1V+3P (4 hours per week)|
|ECTS credits: 6|
|Mandatory course: yes|
|Language of instruction:
KIM-VAA Computer Science and Communication Systems, Master, ASPO 01.10.2017, semester 1, mandatory course
PIM-VAA 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):
|Recommended as prerequisite for:
KIM-SWKS Software Development for Communication Systems
Prof. Dr. Markus Esch
Prof. Dr. Markus Esch
Moritz Fey, M.Sc.
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.
- Broadcast and propagation with feedback
- Causal dependency
- Correctness properties safety and liveness
- Models for logical time
- Consistent snapshot
- Deadlock, detection and avoidance
- Mutual exclusion
- Discussion of relevant practical contributions
Lecture slides, annotated lecture slides as a script, lecture-related practical exercises, research on current topics
|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
|Module offered in: |
WS 2020/21, WS 2019/20, WS 2018/19, WS 2017/18
[Mon Jul 6 07:42:07 CEST 2020, CKEY=kvaua, BKEY=kim2, CID=KIM-VAA, LANGUAGE=en, DATE=06.07.2020]