DM519: Concurrent Programming
Study Board of Science
Teaching language: Danish or English depending on the teacher, but English if international students are enrolled
EKA: N330032102
Assessment: Second examiner: External
Grading: 7-point grading scale
Offered in: Odense
Offered in: Spring
Level: Bachelor
STADS ID (UVA): N330032101
ECTS value: 5
Date of Approval: 25-10-2018
Duration: 1 semester
Version: Archive
Comment
Entry requirements
Academic preconditions
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 methods for 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
- account for some common concurrent program architectures
Content
Processes, threads, monitor concept, shared memory, synchronization, safety and liveness, modellling of concurrency, dynamic systems, message passing, concurrent architecture.
Literature
Examination regulations
Exam element a)
Timing
Spring
Tests
Mandatory project
EKA
N330032102
Assessment
Second examiner: External
Grading
7-point grading scale
Identification
Full name and SDU username
Language
Normally, the same as teaching language
Examination aids
To be announced during the course
ECTS value
5
Additional information
The re-exam may differ from the ordinary exam.