|
Instructors: Prof. Dr. Patrick Eugster
Event type:
Integrated Course
Org-unit: Dept. 20 - Computer Science
Displayed in timetable as:
FoDS
Subject:
Crediting for:
Hours per week:
4
Language of instruction:
Englisch
Min. | Max. participants:
- | -
Course Contents:
Please check our webpage for further details and announcements! https://www.dsp.tu-darmstadt.de/de/teaching
Foundations of reliable distributed systems (DSs), including failure and system models, and communication and agreement problems.
- Basic concepts and definitions (e.g., system models, failure models, time)
- Group communication with crash failures (e.g., failure detectors, consensus, membership)
- Crash recovery and Byzantine failures (e.g., Paxos)
- Data replication, scalability (e.g., quorum systems, distributed storage systems)
- Distributed transactions and commit (e.g., Two- and Three-Phase Commit, Non-blocking Atomic Commit)
- Consistency (e.g., linearizability, causal consistency, strict serializability)
- More hard problems (e.g., leader election, uniform reliable broadcast, terminating reliable broadcast)
- Programming support for reliable DSs (e.g., Pi calculus, and behavioral typing, debugging, model checking)
Preconditions:
Recommended: “Computer Networks and Distributed Systems”
|
