Parallelprogrammering

• modellere og analysere parallelle aktiviterer ved brug af matematiske modeller
• gøre rede for virkemåden af klassiske synkroniserings- og kommunikationsmekanismer samt disses indbyrdes realationer
• anvende kendskab til en række sædvanlige kommunikations- og koordineringsløsninger ved løsning af nye problemer
• verificere korrekthed af parallelle algoritmer ved brug af formelt baserede verifikationsværktøjer
• identificere relevant brug af parallelle aktiviteter ved udvikling af sædvanlige applikationer
• implementere parallelle aktiviteter effektivt ved brug af tasks, tråde og processer
• anvende parallelitet til udnyttelse af moderne maskinarkitekturer
• benytte fagets begreber til koncis problemanalyse og løsningsdokumentation

Parallelprogrammering: Processer, synkronisering, kommunikation. Procesmodeller, atomare aktioner.
Sikkerheds- og aktivitetsegenskaber. Baglås. Verifikationsteknikker og -værktøjer.
Kritiske regioner, semaforer, monitorer, synkron og asynkron meddelelsesoverførsel, kaldmekanismer, distribuerede objekter, tuppelrum. Parallelle datastrukturer.

Systemdesign: Kommunikationsmønstre og algoritmer. Client/server paradigme. Transaktioner og concurrency control. Asynkron og task-baseret programmering.

02100/02101/02102/01017/01019/02105/02132/02135/02141, Beherskelse af sekventiel, objektorienteret programmering, fx. i Java.
Kendskab til datalogisk modellering samt anvendelse af prædikatlogik. Brug af basale datastrukturer. Basalt kendskab til opbygning af computersystemer.

Forelæsninger, grupperegning og programmeringsøvelser.

Kurset er et specialiseringskursus i gruppen af teknologiske linjefag for bachelorretningen Softwareteknologi.