ID2203 Distribuerade system, fortsättningskurs 7,5 hp

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

Denna kurs komplementerar Distribuerade System, grundkurs, och förbereder studenterna för examensarbetet och doktorandstudier inom området distribuerade system.

Kursen ger studenterna grundliga kunskaper i förståelse, analys och design av distribuerade agoritmer ämnade för konstruktion av tillförlitliga distribuerade system.

Specifikt efter kursens genomförade kommer studenten att:

• Kunna specifiera egenskaper hos distribuerade algoritmer, det så kallade liveness och safety egenskaper.
• Förklara de olika modeller för distribuerade system, inklusive fel och tids modeller.
• Behärska grundliggande algoritmer för felupptäckning, ledareval, broadcast och multicast, grundläggande gemensamtminne i distribuerade system, agreement protokol, och gruppkommunikation.
• Öva i design och implementering av valda distribuerade algoritmer i middleware avsedd för gruppkommunikation.

Högskolestudier motsvarande minst 120 hp inom teknik eller naturvetenskap, samt Engelska A.

Allmän kunskap i distribuerade system och grundlaggande logic (enkla bevistekniker)

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

• TEN1 - Tentamen, 4,5 hp, betygsskala: A, B, C, D, E, FX, F
• LAB1 - Laborationer, 3,0 hp, betygsskala: P, F

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Laborationskurs (LAB1; 3 hp)
Tentamen (TEN1; 4,5 hp)

Midterm Tentamen (10 poäng) har 10% vikt och ges som bonus poäng. Skriftig tentamen (TEN1; 4.5 hp) (70 poäng) har 70% vikt av det totala betyget.Den praktiska delen av kursen (LAB1; 3 hp) består av 4 moment, tre moment är obligatoriska (3 hp) och ger 30 poäng (30% vikt) och den fjärde ger 10 extra bonus poäng.

För slutbetygsättning gäller följande:

A: 90 poäng eller högre
B: 75-89 poäng
C: 65-74 poäng
D: 55- 64 poäng
E: 45-54 poäng
Fx: 40-44 poäng
F: mindre än 40 poäng 

För godkänd (E eller högre) gäller att:

• Studenten har genomfört den obligatoriska delen av LAB1.
• Studenten skall kunna förklara de olika modeller för distribuerade system.
• Studenten skall kunna specifiera egenskaper hos distribuerade algoritmer.

För högre betyg gäller att:

• Studenden skall behärska de grundliggande algoritmer enligt tentamens frågor.

Paris Carbone

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

I denna kurs tillämpas EECS hederskodex, se: http://www.kth.se/eecs/utbildning/hederskodex.