DM821: Theory of Distributed Computing (5 ECTS)

STADS: 15007401

Niveau
Kandidatkursus

Undervisningsperiode

Udbydes efter behov.

Ansvarlige undervisere
Email: faith@imada.sdu.dk

Skemaoplysninger
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. 4.kvartal

Indgangskrav:
Ingen

Faglige forudsætninger:
Stoffet fra DM508 Algoritmer og kompleksitet antages kendt.

Kursusintroduktion
Målet med kurset er at introducere de studerende til fundamentale modeller og problemer inden for området distributed computing, med særligt fokus på emnerne synchronization og fault tolerance. De studerende vil lære at udvikle distribuerede algoritmer, samt analysere dem med hensyn til korrekthed og køretid. De vil også lære teknikker til at bevise uløselighed af visse problemer inden for distributed computing.

Forventet læringsudbytte
Ved kursets afslutning forventes den studerende at kunne:
- Beskrive distribuerede algoritmer i et præcist sprog.
- Bevise korrekthed af distribuerede algoritmer.
- Analysere compleksiteten af distribuerede algoritmer.
- Bevise uløseligheden af visse problemer inden for området distributed computing.

Emneoversigt
Asynchronous shared memory og message passing modeller, mutual exclusion, consensus, Byzantine agreement, linearizability, wait-freedom, consensus number, snapshot objects, universality, approximate agreement, timestamps, randomized consensus, renaming, covering argumenter, scenario argumenter, valency argumenter, samt informationsteoretiske nedre grænser.

Litteratur

• Meddeles ved kursets start.: .

Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).

Forudsætningsprøver
Ingen

Eksamen- og censurform:
Løbende evaluering af kurset baseret på mindst 80% deltagelse i forelæsninger og øvelser, samt et fagligt foredrag. Bestået/ikke bestået, intern censur ved underviser (15007402).



Reeksamen afholdes umiddelbart efter den ordinære eksamen og er en mundtlig eksamen bestået/ikke bestået, intern censur ved underviser.

Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.

Forelæsninger: 21 timer
Eksaminatorietimer/opgaveregning: 14 timer
Aktiviteter i studiefasen

Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren.

Bemærkninger
Det faglige foredrag bestås ved at vælge en interessant idé eller resultat fra litteraturen inden for kursets område, læse og forstå dette, og derefter give et 20 minutters foredrag af høj kvalitet hvor emnet motiveres og gennemgås. Underviseren vil gennemse udkast til de studerendes foredrag og foreslå mulige forbedringer. Foredraget skal være på engelsk. For at bestå kurset skal den studerende endvidere deltage i mindst 80% af samtlige timer (forelæsninger og øvelser samlet).

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Dette er den nyeste version af en kursusbeskrivelse, som trådte i kraft den 1. feb 2010.