Concurrency / TI-ConCur (F 2004)

Under Teknisk IT og Datalogisk Institut, Aarhus Universitet.

• Forelæsninger

  Onsdage 0915-1100, Aud. D2

  Matematisk Institut (Bygn. 531), Ny Munkegade, Aarhus Universitet.

• Øvelser

  hold	tid	sted	instruktor
  #1	Fredage 08-10 (LAB) Fredage 10-12 (TØ)	Zuse Bygningen, lok. 127 Brdr. Vestergaard, lok. 159	Martin Mosegaard
  #2	Fredage 08-10 (TØ) Fredage 10-12 (LAB)	Brdr. Vestergaard, lok. 159 Zuse Bygningen, lok. 127	Claus Brabrand

  Brdr. Vestergaard: Finlandsgade 24, IT Parken, Aarhus Universitet
  Zuse Bygningen: Aabogade 40, IT Parken, Aarhus Universitet
  

• Bemanding

  userid	navn	kontor	telefon	funktion
  brabrand	Claus Brabrand	Turing-123	89 42 57 83	forelæser & instruktor
  martinm	Martin Mosegaard	Ørkenfortet-242	???	instruktor

• Baggrund

  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.

• Indhold

  Processer, tråde, interaktion, interferens, synkronisering, monitorer, baglås, sikkerheds- og fremdriftsegenskaber, kommunikationsformer, software arkitekturer for systemer og concurrency, ...

• 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. Kurset tager udgangspunkt i bogen "Concurrency; State Models & Java Programs". Til den teoretiske del anvendes concurrency modelleringssproget FSP (Finite State Processes) og til den praktiske del anvendes Java.

• Afløsning

  Kurset evalueres gennem projektarbejdet med karakteren bestået/ikke-bestået (10 ECTS points). For at bestå skal man aflevere og få godkendt mindst 80% af afleveringsopgaverne samt mini-projektet.