English

Every spring semester

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

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

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.

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.

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

Lectures

Laboratory exercises

Miscellaneous

Completed laboratory assignments.

Failed, pass

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

 

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

EDAP25F

2022-01-24

Professor Thomas Johansson