DM519: Concurrent Programming (5 ECTS)
STADS: 15009701Level
Bachelor course
Teaching period
The course is offered in the spring semester.
3 th quarter.
Teacher responsible
Email: petersk@imada.sdu.dkTimetable
| Group | Type | Day | Time | Classroom | Weeks | Comment |
|---|---|---|---|---|---|---|
| Common | I | Monday | 10-12 | U140 | 6-8,11-13 | |
| Common | I | Wednesday | 14-16 | U140 | 6,8,11,13 | |
| Common | I | Friday | 08-10 | U20 | 10 | |
| D1 | TE | Tuesday | 08-10 | U154 | 6,10,12 | |
| D1 | TL | Tuesday | 12-14 | IMADA Terminalrum | 6 | |
| D1 | TL | Tuesday | 08-10 | IMADA Terminalrum | 7-8,11,13 | |
| D1 | TL | Tuesday | 14-16 | IMADA Terminalrum | 10,12 | |
| D2 | TE | Monday | 12-14 | U154 | 6,10,12 | |
| D2 | TL | Wednesday | 08-10 | IMADA Terminalrum | 6-8,10-13 |
Show personal time table for this course.
Comment:
Ubegrænset deltagerantal. Samlæses med DM820.
Prerequisites:
None
Academic preconditions:
The content of Programming A (DM502)/DM536 and Programming B (DM503)/DM537 must be known.
Course introduction
The course aims to describe and explain important concepts and techniques in concurrent programming, i.e., programs using multiple interacting threads or processes. Besides a systematic treatment of concepts and learning rigorous techniques to specify and model concurrency, the course focuses on applying the methods to gain experiences in concurrent programming.
Expected learning outcome
After the course the student is expected to be able to:
- identify the use of concurrency in programs
- describe the concurrency mechanisms covered in the course
- explain fundamental problems, techniques, and solutions for concurrent programs
- reason about properties of concrete concurrent programs
- describe and analyze concurrent architectures using model-based approaches
- design and implement non-trivial concurrent programs using model-based approaches
- account for some common concurrent program architectures
Processes, threads, monitor concept, shared memory, synchronization, safety and liveness, model-based design, dynamic systems, message passing, concurrent architecture.
Literature
- Meddeles ved kursets start.
Website
This course uses e-learn (blackboard).
Prerequisites for participating in the exam
None
Assessment and marking:
Mandatory project with marks according to the Danish 7-mark scale and external evaluation.
Reexam after the 2nd quarter.
The re-exam may differ from the ordinary exam.
Expected working hours
The teaching method is based on three phase model.
Intro phase: 20 hours
Skills training phase: 22 hours, hereof:
- Tutorials: 14 hours
- Laboratory exercises: 8 hours
Educational activities Study phase: 8 hours
Language
This course is taught in Danish or English, depending on the lecturer. However, if international students participate, the teaching language will always be English.
Course enrollment
See deadline of enrolment.
Tuition fees for single courses
See fees for single courses.
