Max amount of FITech students: 10
- Basic principles of distributed systems
- Models of communication from interprocess communication to various forms of remote communication, group communication for different application types
- Coordination algorithms, including distributed consensus
- Time management in distributed or independent systems: logical clocks, partial ordering of events, causal ordering
- Mutual exclusion and shared use of resources
- Fault tolerant systems, including replica management (for data, for processing)
- Formal models and verification as design tools for distributed solutions
- Advanced topics, such as edge computing and blockchain
During the course, students learn essential motivations and techniques for distributed systems.
Key challenges discussed include
- The key principles of distributed system development
- Applying the principles in evaluating major design paradigms used in implementing distributed systems
- Distributed decision-making
- Distributed systems related problems, including coordination, consistency and replication, fault toleranc
- Design and implement a small distributed system
On a more detailed level, students learn the basic distributed system techniques, including architectures, processes, communication, naming, modelling, synchronization, consistency and replication, and fault tolerance. In addition, the course covers advanced topics such as edge computing and blockchain. We propose solutions for these challenges on different levels of abstraction, in hardware, operating systems, middleware, and application-level architectures. The solutions address distributed processing and storage, their algorithms, mutual communication protocols, and failure situations with recovery options. Common solutions are discussed on replica management, data consistency models and management, and agreements between untrusted agents. Distribution benefits and disadvantages and effects of inter-dependencies of different solutions will be estimated.
The course is based on the course books, including Maarten van Steen and Andrew S Tanenbaum Distributed Systems – Principles and Paradigms, Third Edition, 2017, Sukumar Ghosh: Distributed systems an algorithmic approach, 2nd edition, Chapman&Hall/CRC, 2015. Any other distributed systems textbook covering the topics of the course is also possible to use.
Supplementary material will be provided during the course as needed.
Lecture course, with weekly lectures and exercise sessions. No exam. Please note that the teaching method might still be updated depeding on university guidelines.
The lectures are held on Tuesdays at 12-14 and Thursdays at 10-12. The exercises are held on Thursdays at 16-18 and on Fridays at 14-16.
Attendance is optional, but there might be compulsory elements in the course which are discussed during the first lecture.
During the weekly exercises students solve problems, implement small distributed systems, and write short essays on given topics.
More information of the University of Helsinki course page.
You can get a digital badge after completing this course.
Contact person for applications