Behörighetskrav

120 hp varav minst 60 hp i datavetenskap inklusive imperativ och objektorienterad programmering på nivå motsvarande en fortsättningskurs. Funktionell programmering rekommenderas eller kan med fördel läsas parallellt med kursen. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)

Mål

Efter godkänd kurs ska studenten kunna:

• skriva och modifiera program som använder olika modeller och språkliga abstraktioner för parallellprogrammering,
• analysera modeller med avseende på vilka specifika problem de angriper, var de kan användas, och var de bör undvikas,
• redogöra för skillnaden mellan en modell och dess implementation i ett specifikt språk,
• redogöra för hur vissa språk implementerar hybrider eller flera modeller, och hur dessa kan samspela.

Innehåll

Olika modeller för concurrency och parallellprogrammering, t.ex. trådar och lås (för att förstå vilka problem andra modeller löser), transaktionsminnen, actors, sido-effekt-fria kombinatorer och map-reduce, fork/join-ramverk, dataparallellism. Ett flertal olika programspråk som illustrerar dessa modeller, t.ex. C, Java, Erlang. Laborationer som lyfter fram styrkor och svagheter hos modellerna.

Fördjupning i någon modell och dess specifika implementation i något språk som ligger till grund för jämförelse mellan modeller.

Undervisning

Föreläsningar, laborationer, projekthandledning.

Examination

Muntlig och skriftlig redovisning av uppgifter, 7 hp, och projekt, 3 hp.

Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en enskild student examineras på annat sätt. Särskilda skäl kan t.ex. vara besked om särskilt pedagogiskt stöd från universitetets samordnare för studenter med funktionsnedsättning.