DM519: Concurrent Programming

15009701(tidligere UVA) er identisk med denne kursusbeskrivelse.

Stoffet fra DM550 Introduktion til programmering skal være kendt.

Målet for dette kursus er at beskrive og forklare centrale ideer og teknikker inden for concurrent programming, dvs. programmer der anvender flere interagerende tråde eller processer samtidigt. Udover den systematiske gennemgang af principper og metoder for concurrency, fokuserer kurset på at anvende disse metoder og på at få praktisk erfaring med concurrent programmering

Ved kursets afslutning forventes den studerende at kunne:

• identificere brugen af concurrency i programmer.
• beskrive de anvendte concurrency mekanismer fra kurset.
• forklare fundamentale problemer, teknikker og løsninger fra concurrent programmer.
• argumentere for egenskaber for konkrete concurrent programmer.
• beskrive og analysere concurrent arkitekturer under brug af modelbaserede metoder.
• designe og implemetere ikke-trivielle concurrent programmer
• redegøre for nogle almindelige arkitekturer i concurrent programmer.

Processer, tråde, monitor begrebet, delt hukommelse, synkronisering, safety and liveness, modellering af concurrency, dynamiske systemer, message passing, concurrent architectures.

Se BlackBoard for pensumlister og yderligere litteraturhenvisninger.

• Introfase (forelæsning, holdtimer) - Antal timer: 20
  
• Træningsfase: Antal timer: 22, heraf 14 timer eksaminatorie og 8 timer laboratorie
  
• Studiefase: Antal timer: 8
  
• Total: Antal timer: 50