Skip to main content

FID3021 Advanced Course in Distributed Algorithms 7.5 credits

Course offerings are missing for current or upcoming semesters.
Headings with content from the Course syllabus FID3021 (Spring 2020–) are denoted with an asterisk ( )

Content and learning outcomes

Course contents

This course is a foundational course on the theory and algorithms of reliable distributed systems. The course covers the following topics.
* Formal modeling of distributed systems using input/output automata.
* Failure detectors theory and safety and liveness properties
* Specifications of distributed abstractions, and failure models
* Broadcast abstractions
* Shared memory abstractions and consistency models
* The consensus problem and computability results for different distributed systems models.
* The Paxos algorithm for consensus
* Replicated state machine algorithms and dynamic reconfigurations
* Timed distributed system models and the use of physical clocks
* Relaxed consistency models and associated algorithms
* Byzantine failures and associated consensus algorithms   

Intended learning outcomes

After the course the student will be able to discuss, analyze, present, and critically review the very latest research advancements in the area of reliable distributed algorithms and associate theory, and make connections to knowledge in related fields. The student will also be able to assess and evaluate new emerging trends as well as to identify the need for further knowledge in the field.

Literature and preparations

Specific prerequisites

Enrolled as a doctoral student.

Recommended prerequisites

This course requires basic knowledge in programming and algorithm theory, and discrete mathematics including reasoning about correctness of algorithms. It is an extended version of ID2203 course on advanced distributed systems.

Equipment

No information inserted

Literature

No information inserted

Examination and completion

If the course is discontinued, students may request to be examined during the following two academic years.

Grading scale

P, F

Examination

  • EXA1 - Examination, 7.5 credits, grading scale: P, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

P/F

Other requirements for final grade

To get Pass, the student has to do the graded quizzes, the programming excercises, and presentations of assigned research papers in local seminars. 

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

Ethical approach

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Further information

Course room in Canvas

Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.

Offered by

Main field of study

This course does not belong to any Main field of study.

Education cycle

Third cycle

Add-on studies

No information inserted

Contact

Seif Haridi (haridi@kth.se)

Postgraduate course

Postgraduate courses at EECS/Software and Computer Systems