Principer för parallell programmering

Parallellprogrammering har blivit allmänt förekommande i olika typer av system,exempelvis för att påskynda beräkningar där fysisk parallellism kan utnyttjas, för att tillhandahålla interaktiva fleranvändarmiljöer, och för att hantera interaktion med asynkrona externa händelser.

Kursen syftar till att ge en introduktion till de principer som ligger till grund för parallella system, samt praktiska programmeringslösningar för modellering där man utnyttjar samtidighet i program. Områden där dessa principer och praxis är relevanta inkluderar operativsystem, distribuerade system, realtidssystem och flerkärniga arkitekturer.

Begrepp som behandlas i kursen är:

• fysisk kontra logisk parallellism
• problem som kan uppkomma vid samtidighet (kapplöpningsvillkor, uteslutning, dödläge, rättvisa, ”livelock”)
• ömsesidig uteslutning
• synkronisering med delat minne (med semaforer eller finkornig låsning)
• meddelandestyrd synkronisering (med meddelandeköer)

Kursen belyser praktiska programmeringslösningar för parallellprogrammering med såväl imperativa som funktionella programmeringsspråk. I kursen ges en kort introduktion till funktionell programmering i allmänhet och av det funktionella programmeringsspråk som används i kursen, avsett att ge en tillräcklig bakgrund för att förstå och använda abstraktioner illustrerade med hjälp av funktionella språk.