ID2203 Distributed Systems, Advanced Course 7.5 credits

Distribuerade system, fortsättningskurs

The course complements Distributed systems gk (basic course), and prepares the students for M.Sc projects, and Ph.D. studies in the area of distributed systems. The M.Sc. projects are conducted in the department or in IT industry.

Show course information based on the chosen semester and course offering:

Offering and execution

No offering selected

Select the semester and course offering above to get information from the correct course syllabus and course offering.

Course information

Content and learning outcomes

Course contents *

Topics:

  • Models of distributed algorithms
  • Event-based programming
  • Failure detectors and leader elections
  • Reliable broadcast and epdimic algorithms
  • Shared memory models
  • Consensus and agreement
  • Group communication and view synchrony
  • Stabilization algorithms
  • Impossibility proofs

Intended learning outcomes *

The course complements Distributed Systems, Basic Course, and prepares the students for M.Sc projects, and Ph.D. studies in the area of distributed systems.

The main objective of this course is to provide the students with a solid foundation for understanding, analyzing and designing distributed algorithms for reliable distributed systems.

More specifically after the course is completed the student will:

  • Know how to specify the properties of distributed algorithms, so called liveness and safety properties.
  • Explain the different models of distributed systems, including failure and timing models.
  • Master basic algorithms for failure detection, leader elections, broadcast and multicast, basic shared memory in distributed systems, agreement protocols, and group communication.
  • Practice in design and implementation of selected distributed algorithms in middleware designed for group communication.

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

120 university credits (hp) in engineering or natural sciences and documented proficiency in English corresponding to English A.

Recommended prerequisites

Basic knowledge in distributed systems and basic logic (rudimentary proof techniques)

Equipment

No information inserted

Literature

Reliable Distributed Programming, Rachid Guerraoui and Luis Rodrigues
Upplaga: Förlag: Springer År: 2006. ISBN: 3-540-28845-7 

Övrig litteratur:

Textbook: Gerard Tel, Introduction to Distributed Algorithms, Second Edition, Cambridge University Press, ISBN +-521-79483-8.  

Textbook: Distributed Computing: Fundamentals, Simulations, and Advanced Topics, Wiley Series on Parallel and Distributed Computing

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • LAB1 - Laboratory Work, 3.0 credits, Grading scale: P, F
  • TEN1 - Examination, 4.5 credits, Grading scale: A, B, C, D, E, FX, 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.

Other requirements for final grade *

Lab. assignement (LAB1; 3 hp)
Exam (TEN1; 4,5 hp)

Midterm exam (10 point) has a weight of 10% given as bonus point.Final exam (TEN1; 4.5 hp) (70 points) has a weight of 70% of the final result. The practical part of the course (LAB1; 3 hp) consists of 4 parts, three parts are compulsory and gives 30 points (of weight 30%), and the fourth gives 10 extra bonus points.

For the final grade the following is valid:

A: 90 points or higher
B: 75-89 points
C: 65-74 points
D: 55- 64 pointsE: 45-54 points
Fx: 40-44 points
F: less than 40 points 

For approved grade (E or higher) the following should be satisfied:

  • The student has completed the compulsory part of LAB1.
  • The student should be able to explain the different models of distributed system.
  • The student should be able to specify the properties of distributed algorithms.

For higher grade the student should be able to master the basic algorithm tested according to the exam.  

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

Seif Haridi

Further information

Course web

Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

Course web ID2203

Offered by

EECS/Computer Science

Main field of study *

Computer Science and Engineering, Information Technology

Education cycle *

Second cycle

Add-on studies

M.Sc. project, Ph.D education

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.

Supplementary information

In this course, the EECS code of honor applies, see: http://www.kth.se/en/eecs/utbildning/hederskodex.