Som software udvikler skal man danne forbindelsen mellem opgaven der
skal løses, og den platform den skal løses på. I flere tilfælde
fordrer opgaven og/eller platformen, at der anvendes en løsningsmodel,
som indeholder centrale elementer af parallelitet og/eller
distribution. Her er det derfor nødvendigt at beherske begreber og
modeller inden for concurrency for at kunne realisere en løsning. I
andre tilfælde kan inddragelse af concurrency som en løsningsmodel
være en stor gevinst alene i forhold til effektivitet, modificerbarhed
og skalerbarhed.
FORMÅL
Målet er at give studerende et grundigt kendskab til begreber,
modeller og systemer inden for concurrency, således at dette kan
anvendes til realisering af kvalificerede løsninger på realistiske og
praktiske problemstillinger.
FORM
Kurset er en blanding af forelæsninger, teoretisk og praktisk
opgaveløsning. Et praktisk mini-projekt vil udgøre en del af kurset;
projektet skal illustrere forskellige aspekter af concurrency (og
objektorientering), og resultatet af projektet skal dokumenteres i en
rapport, hvor design og erfaringer fra projektet diskuteres.
INDHOLD
Processer, tråde, interaktion, interferens, synkronisering, monitorer,
baglås, sikkerheds- og fremdriftsegenskaber, kommunikationsformer,
software arkitekturer for systemer og concurrency, ...
Til den teoretiske del anvendes concurrency modelleringssproget FSP (Finite State Processes)
Kurset evalueres gennem projektarbejdet med karakteren
bestået/ikke-bestået (5 ECTS points). For at bestå skal man aflevere
og få godkendt alle (skriftlige) opgaver samt mini-projektet.
