Practical Course - Distributed Consensus Protocols (IN0012, IN2106, IN40042)
| Lecturer (assistant) | |
|---|---|
| Number | 0000001840 |
| Type | practical training |
| Duration | 6 SWS |
| Term | Sommersemester 2026 |
| Language of instruction | English |
| Position within curricula | See TUMonline |
| Dates | See TUMonline |
Dates
- 15.04.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 22.04.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 06.05.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 13.05.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 20.05.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 27.05.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 03.06.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 10.06.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 17.06.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 24.06.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 01.07.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 08.07.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
- 15.07.2026 14:00-16:00 01.06.011, Unterrichtsraum ohne Infrastruktur
Admission information
Objectives
Students learn how to implement and test distributed consensus protocols.
Description
NOTE: This is a practical course. Previously, it was mistakenly declared as a seminar!
Consensus protocols are a key component in many distributed systems, ensuring fault tolerance and reliability.
In this practical course, students will learn techniques for implementing and testing distributed consensus protocols. This includes techniques like Formal modeling & verification (TLA+), Deterministic simulation testing, and Fault injection
Preliminary Meeting Time: 10 February, 3:00 p.m.
Preliminary Meeting Link: https://bbb.cit.tum.de/rooms/dhy-3oq-5ow-czh/join
Preliminary Meeting Slides: https://docs.google.com/presentation/d/1zAisAyC6O9kTnjJEgA53ckE-QEpDCA3iuiyzY3I-WRE/edit?usp=sharing
Consensus protocols are a key component in many distributed systems, ensuring fault tolerance and reliability.
In this practical course, students will learn techniques for implementing and testing distributed consensus protocols. This includes techniques like Formal modeling & verification (TLA+), Deterministic simulation testing, and Fault injection
Preliminary Meeting Time: 10 February, 3:00 p.m.
Preliminary Meeting Link: https://bbb.cit.tum.de/rooms/dhy-3oq-5ow-czh/join
Preliminary Meeting Slides: https://docs.google.com/presentation/d/1zAisAyC6O9kTnjJEgA53ckE-QEpDCA3iuiyzY3I-WRE/edit?usp=sharing
Prerequisites
The course is implementation-focused. Knowledge of either Rust, C++, or C is required.
Prior attendance of the "Data Structure Engineering" lecture is helpful, but not mandatory.
Prior attendance of the "Data Structure Engineering" lecture is helpful, but not mandatory.