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

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

• LAB1 - Laborationer, 3,0 hp, betygsskala: P, F
• TEN1 - Tentamen, 4,5 hp, betygsskala: A, B, C, D, E, FX, 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.

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.

Examensarbete, forskarutbildning

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