at identificere brug af concurrency i (Java) programmer;
at beskrive concurrency mekanismer i programmeringssprog (Java);
at forklare fundamentale problemer, teknikker og løsninger indenfor concurrency;
at forklare sammenhængen mellem modeller og programmer generelt;
at relatere konkrete modeller og programmer;
at sammenligne konkrete modeller;
at ræsonnere om egenskaber (korrekthed/safety/liveness) af konkrete modeller og programmer;
at implementere konkrete modeller i programmeringssprog (Java);
at anvende ovenstående med henblik på at skabe konkrete modeller af systemer.
EKSAMEN
Eksamenerne er konstrueret til at evaluere din dybdeforståelse af concurrency i overensstemmelse med dine mål (se ovenfor).
Jo bedre du kan ovenstående mål, jo bedre vil du sandsynligvis klare dig til eksamen; du vil således kunne bruge målene overfor dig selv
som en checkliste for din egen forståelse.
Som en direkte konsekvens heraf vil der ikke være hverken "type"- eller "huske"-opgaver (som ikke nødvendigvis forudsætter dybdeforståelse).
Eksamen: 13-skala karakter på baggrund af:
(gruppe) mini-projektet samt
(individuel) multiple-choice prøve
...som begge vil være centreret omkring ovenstående mål.
NB: For at blive indstillet til eksamen, skal alle afleveringsopgaver være afleveret - og godkendt.
INDHOLD
Processer, tråde, interaktion, interferens, synkronisering, monitorer, deadlock, sikkerheds- og fremdriftsegenskaber, verifikation og model-baseret design.
Som modellerings-sprog anvendes FSP (Finite State Processes)
