2012/2013
02158 Parallelprogrammering |
|
| |  | Engelsk titel:
| Concurrent Programming | Sprog:
| | Point
(ECTS )
| 5 | Kursustype:
| Civil- Grundlæggende kursus
| | Kurset udbydes under åben uddannelse |
| | |
| Skemaplacering:
| E1B
| Undervisningsform: | Forelæsninger, grupperegning og programmeringsøvelser. | Kursets varighed:
| 13-uger | Eksamensplacering:
| E1B,
F1B
| Evalueringsform:
| | Eksamens varighed:
| | Hjælpemidler:
| | Bedømmelsesform: | | Pointspærring: | | Faglige forudsætninger: | , | Ønskelige forudsætninger: | , |
| Overordnede kursusmål:
| At give deltagerne et begrebsmæssigt og praktisk grundlag for konstruktion af systemer med flere selvstændige, parallelle aktiviteter. |
| Læringsmål: | | En studerende, der fuldt ud har opfyldt kursets mål, vil kunne: | - modellere og analysere parallelle aktiviterer ved brug af matematiske modeller
- gøre rede for virkemåden af klassiske synkroniserings- og kommunikationsmekanismer samt disses indbyrdes realationer
- anvende kendskab til en række sædvanlige kommunikations- og koordineringsløsninger ved løsning af nye problemer
- verificere korrekthed af parallelle algoritmer ved brug af formelt baserede verifikationsværktøjer.
- identificere relevant brug af parallelle aktiviteter ved udvikling af sædvanlige applikationer
- implementere parallelle aktiviteter effektivt ved brug af tråde og processer
- anvende parallelitet til udnyttelse af moderne maskinarkitekturer
- benytte fagets begreber til koncis problemanalyse og løsningsdokumentation
| Kursusindhold:
| Parallelprogrammering: Processer, synkronisering, kommunikation. Procesmodeller, atomare aktioner.
Sikkerheds- og aktivitetsegenskaber. Baglås. Verifikationsteknikker og -værktøjer.
Kritiske regioner, semaforer, monitorer, synkron og asynkron meddelelsesoverførsel, kaldmekanismer, distribuerede objekter, tuppelrum. Parallelle datastrukturer.
Systemdesign: Kommunikationsmønstre og algoritmer. Client/server paradigme. Transaktioner og concurrency control. |
| Bemærkninger:
| Kurset er et specialiseringskursus i gruppen af teknologiske linjefag for bachelorlinjen Softwareteknologi.
|
| Kursusansvarlig:
| , 322, 228, (+45) 4525 3763,
| Institut:
| 02 Institut for Informatik og Matematisk Modellering | Tilmelding:
| I CampusNet | Nøgleord: | Parallelprogrammering, multi-trådet programmering, synkronisering, kommunikation |
|
|
|
| Sidst opdateret:
27. april, 2012 |
