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 kombination af forelæsninger (2-3 t/uge), teoretiske øvelser (2 t/uge), og praktiske programmerings labs (2 t/uge).
INDHOLD
Processer, tråde, interaktion, interferens, synkronisering, monitorer, baglås, sikkerheds- og fremdriftsegenskaber, verifikation og model-baseret design.
Til den teoretiske del anvendes concurrency modelleringssproget FSP (Finite State Processes)
En 13-skala karakter på baggrund af gruppe mini-projektet samt en individuel multiple-choice prøve. 5 ECTS, intern censur.
For at blive indstillet til eksamen, skal alle afleveringsopgaver være afleveret - og godkendt.
