DM584: Concurrent Programming

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.
• designe og implementere ikke-trivielle concurrent programmer
  
• redegøre for nogle almindelige arkitekturer i concurrent programmer.

Kurset indeholder følgende faglige hovedområder:

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

• Læsning af kursusmateriale
• Refleksion over metoder og teoretiske koncepter.