Distribuerade system
Distributed Systems

EDAP25F, 7.5 högskolepoäng

Gäller från och med: Vårterminen 2022
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2022-01-24

Allmänna uppgifter

Avdelning: Datavetenskap (LTH)
Kurstyp: Gemensam kurs, avancerad nivå och forskarnivå
Kursen ges även på avancerad nivå med kurskod: EDAP25
Undervisningsspråk: Engelska

Syfte

Att ge en introduktion till fundamentala begrepp inom distribuerade system, samt deras egenskaper och praktiska applikationer.

Mål

Kunskap och förståelse

För godkänd kurs skall doktoranden

• visa grundläggande kunskap om:
• olika typer av distribuerade system och deras egenskaper,
• fel och felåterhämtning i distribuerade system,
• modeller och abstraktioner för distribuerade system,
• distribuerade modeller för logisk tid,
• distribuerade algoritmer och protokoll,
• samt distribuerat tillstånd och beräkning.

Färdighet och förmåga

För godkänd kurs skall doktoranden

• kunna resonera om egenskaper hos distribuerade system,
• kunna använda begrepp och abstraktioner för att modellera distribuerade system samt beskriva deras beteende,
• kunna använda fundamentala distribuerade algoritmer och protokoll för att hantera resurser, dela tillstånd, hantera distribuerat tillstånd, samt koordinera distribuerade beräkningar,
• kunna applicera konceptuell kunskap på implementationen av distribuerade algoritmer på olika sorters plattformar.

Värderingsförmåga och förhållningssätt

För godkänd kurs skall doktoranden

• kunna utvärdera lämpligheten hos modeller och plattformar för distribuerade system för ett givet problem,
• visa på grundläggande förståelse om avvägningar och begränsningar med de begrepp och tekniker som används inom design av distribuerade system.

Kursinnehåll

Modeller för distribuerade system, både asynkrona och synkrona, konsensus, val av ledare, konsistens, replikation, logiska klockor, felhantering.

Kurslitteratur

Vi kommer att använda material publicerat online exempelvis Martin Kleppmanns föreläsningsanteckningar och forskningsartiklar.

Kursens undervisningsformer

Undervisningsformer: Föreläsningar, laborationer

Kursens examination

Examinationsform: övrigt. Fullgjorda laborationsuppgifter.
Betygsskala: Underkänd, godkänd
Examinator:

Antagningsuppgifter

Förkunskapskrav: Programmeringskunskaper motsvarande EDAA01 Programmeringsteknik - fördjupningskurs.

Kurstillfällesinformation

Kontaktinformation och övrigt

Kursansvariga:
Hemsida: https://cs.lth.se/edap25/