2007/2008

02152 Parallelle systemer

Engelsk titel: 


Concurrent Systems

Sprog:


Point (ECTS )

  10

Kursustype:   

Civil- Grundlæggende kursus
Kurset udbydes under Tompladsordningen


Skemaplacering:

E1

 

Undervisningsform:

Forelæsninger, grupperegning og programmeringsøvelser.

Kursets varighed:

13-uger

Eksamensplacering:

E1B,   F1B 

Evalueringsform:

Varighed eksamen:

Hjælpemidler:

Bedømmelsesform:

Tidligere kursus:

02220

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 afviklet på en eller flere maskiner.


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 på sædvanlige maskinarkitekturer
  • gøre rede for de grundlæggende begreber, der anvendes ved beskrivelse af kommunikation gennem datanet
  • benytte viden om netværk, netværksprotokoller og netværksprogrammering til konstruktion af client/server-baserede distribuerede applikationer
  • benytte fagets begreber til koncis problemanalyse og løsningsdokumentation


Kursusindhold:

Parallelprogrammering: Processer, synkronisering, kommunikation. Procesmodeller, atomare aktioner.
Sikkerheds- og aktivitetsegenskaber. Verifikationsteknikker og -værktøjer.
Kritiske regioner, semaforer, monitorer, synkron og asynkron meddelelsesoverførsel, kaldmekanismer, distribuerede objekter, tuppelrum. Parallelle datastrukturer.

Netværksprogrammering: Netværkstyper, protokolbegreber, OSI model, TCP/IP, sockets, middleware (fx RMI, CORBA, web-services).

Systemdesign: Kommunikationsmønstre og algoritmer. Client/server paradigme. Transaktioner og concurrency control. Service-orienterede arkitekturer.


Bemærkninger:

Kurset er et specialiseringskursus i gruppen af teknologiske linjefag for bachelorlinjen Softwareteknologi.


Kursusansvarlig:

Hans Henrik Løvengreen, 322, 015, (+45) 4525 3763, hhl@imm.dtu.dk  

Institut:

02 Institut for Informatik og Matematisk Modellering

Tilmelding:

I CampusNet

Nøgleord:

Parallelprogrammering, multi-trådet programmering, synkronisering, kommunikation, datanetværk
Sidst opdateret: 23. januar, 2008