Kursen är en grundliggande kurs i algoritmteori för tillförlitliga distribuerade system
* Formell modellering av distribuerade system med "input/output automata".
* Specifikationer för distribuerade abstraktioner och felmodeller
* Broadcast abstraktioner
* Delade minnesabstraktioner och konsistensmodeller
* Konsensusproblemet och beräkningsbarhetsresultat för olika distribuerade systemmodeller.
* Paxosalgoritmen för konsensus
* Replikerade tillståndsmaskinalgoritmer och dynamiska omkonfigurering
* Tidsmodeller för distribuerade system och användning av fysiska klockor
* Relaxerade konsistensmodeller och tillhörande algoritmer
* Byzantinfel och associerade konsensusalgoritmer
FID3021 Avancerad kurs i distribuerade algoritmer 7,5 hp
Information per kursomgång
Kursomgångar saknas för aktuella eller kommande terminer.
Kursplan som PDF
Notera: all information från kursplanen visas i tillgängligt format på denna sida.
Kursplan FID3021 (VT 2020–)Information för forskarstuderande om när kursen ges
Kursen ges tilsammas med ID2203, period 3.
Innehåll och lärandemål
Kursinnehåll
Lärandemål
Efter kursen kommer studenten att kunna diskutera, analysera, presentera och kritiskt bedöma de senaste forskningsrönen inom området tillförlitliga distribuerade algoritmer och associerade teori och relatera detta till kunskap inom det större området distribuerade system. Studenten ska också kunna bedöma och utvärdera nya framväxande trender samt att identifiera behovet av ytterligare kunskaper inom området.
Kurslitteratur och förberedelser
Särskild behörighet
Inskriven som forskarstuderande.
Rekommenderade förkunskaper
Kursen kräver grundläggande kunskaper i programmering och algoritmsteori och diskret matematik, inklusive resonemang om korrekthet av algoritmer. Det är en utökad version av ID2203 kurs, avancerade distribuerade system.
Utrustning
Kurslitteratur
Examination och slutförande
När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.
Betygsskala
Examination
- EXA1 - Examination, 7,5 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.
P/F
Övriga krav för slutbetyg
För att få godkänt, måste studenten göra de betygsatta frågorna, programmeringsövningarna och presentationer av tilldelade forskningsartiklarna i lokala seminarier.
Möjlighet till komplettering
Möjlighet till plussning
Examinator
Etiskt förhållningssätt
- 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.