Distributed Systems
Distribuerade system

EDAP25F, 7.5 credits

Valid from: Spring 2022
Decided by: Professor Thomas Johansson
Date of establishment: 2022-01-24

General Information

Division: Computer Science (LTH)
Course type: Course given jointly for second and third cycle
The course is also given at second-cycle level with course code: EDAP25
Teaching language: English

Aim

To give an introduction to the fundamental concepts of distributed systems, their properties and application in practice.

Goals

Knowledge and Understanding

For a passing grade the doctoral student must

• display basic knowledge of:
• different types of distributed systems and their properties,
• failure and recovery in distributed systems,
• models and abstractions for distributed systems,
• distributed models of logical time,
• distributed algorithms and protocols,
• and distributed state and computing.

Competences and Skills

For a passing grade the doctoral student must

• be able to reason about properties of distributed systems,
• be able to use concepts and abstractions to model distributed systems and to express their behaviour,
• be able to use fundamental distributed algorithms and protocols in managing resources, sharing state, maintaining distributed state, and coordinate distributed computation,
• be able to apply the conceptual knowledge to the implementation of distributed algorithms on a variety of platforms.

Judgement and Approach

For a passing grade the doctoral student must

• be able to judge the suitability of models and platforms for distributed systems for a given problem,
• display a basic understanding of the trade-offs and limits of the concepts and techniques in distributed system design.
• Contents

Course Contents

Models for distributed systems, both synchronous and asynchronous, consensus, leader election, consistency, replication, logical clocks, fault tolerance.

Course Literature

We shall use material published online, such as Martin Kleppmann's lecture notes and research papers.

Instruction Details

Types of instruction: Lectures, laboratory exercises

Examination Details

Examination format: Miscellaneous. Completed laboratory assignments.
Grading scale: Failed, pass
Examiner:

Admission Details

Admission requirements: Programming skills commensurate with those acquired in EDAA01 Programming - Second Course.

Course Occasion Information

Contact and Other Information

Course coordinators:
Web page: https://cs.lth.se/edap25/