Practical Concurrent and Parallel Programming, MSc CS
This course is about that part of programming that focuses on parallelism and concurrency. The Java programming language is the language used for practically addressing such aspects.
Parallel and Concurrent Programming used to be an exception in the past: it is now the norm and all software systems are mostly made by several entities concurrently interacting with each other. Therefore, it is extremely important that computer science graduates acquire this knowledge.
In this course you learn how to write correct and efficient concurrent and parallel software, primarily using Java, on standard shared-memory multicore hardware such as laptops, desktops and servers.
The course covers basic mechanisms such as threads, locks and shared memory as well as more advanced mechanisms such as functional parallel stream operations, message passing, and lock-free data structures implemented using atomic compare-and-swap instructions. It covers concepts such as atomicity, safety, liveness and deadlock. It covers how to measure and understand performance and scalability of parallel programs. It covers tools and methods to find bugs in concurrent programs, and reason about their correctness.
Topics covered include:
- Threads and locks in Java, shared mutable memory, mutual exclusion, atomic operations, avoiding sharing (thread confinement, stack confinement), designing thread-safe classes, the Java monitor pattern, object graph sharing.
- Visibility, volatile, immutable objects, final, the Java memory model.
- Functional programming, stream pipelines for bulk data, parallel operations on streams and arrays.
- Performance and scalability, performance measurements, scalability case studies: concurrent hashmap, parallel quicksort.
- Tasks, the Java executor framework, concurrent pipelines, blocking queues.
- Concurrency and single-threaded GUI applications.
- Testing concurrent programs, correctness, safety and liveness concepts, deadlock, livelock, tools.
- Optimistic concurrency, lock-free data
structures (lists, stacks and queues), compare-and-swap, progress concepts and how
to implement a lock.
- Message passing concurrency, concepts from the
Java Akka framework.
Formal prerequisitesStudents must know the Java programming language very well, including: inner classes, generics, a first exposure to threads and locks, and event-based graphical user interfaces.
Intended learning outcomes
After the course, the student should be able to:
- ANALYSE the correctness of concurrent Java software, and RELATE it to the Java memory model
- ANALYSE the performance of concurrent Java software
- APPLY Java threads and related language features (locks, final and volatile fields) and libraries (concurrent collections) to CONSTRUCT correct and well-performing concurrent Java software
- USE software tools for accelerated testing and analysis of concurrency problems in Java software
- COMPARE different communication mechanisms (shared mutable memory and message passing)
Teaching consist of lectures and exercises, some of which are mandatory hand-ins. The examination, which emphasizes construction, measurement and reflection, is closely aligned with the intended learning outcomes. The weekly exercises facilitate independent understanding and practical skills in implementing and empirically evaluating the software concepts taught in the course. As learning activities, doing the exercises enable the students to perform according to the intended learning outcomes, including but not limited to passing the exam.
There will be regular (weekly or bi-weekly) mandatory activities, which must be handed-in. As a prerequisite for taking the exam, 80% of the hand-ins must be approved.
The student will receive the grade NA (not approved) at the ordinary exam, if the mandatory activities are not approved and the student will use an exam attempt.
- Goetz, B., Peierls, T., Lea, D., Bloch, J., Bowbeer, J., & Holmes, D. (2006). Java concurrency in practice. Pearson Education.
- Herlihy, M., Shavit, N., Luchangco, V., & Spear, M. (2020). The art of multiprocessor programming. Newnes.
Student Activity BudgetEstimated distribution of learning activities for the typical student
- Preparation for lectures and exercises: 30%
- Lectures: 12%
- Exercises: 12%
- Assignments: 30%
- Exam with preparation: 16%
Ordinary examExam type:
C: Submission of written work, External (7-point scale)
C22: Submission of written work – Take home
Duration of exam is 24 hours
B: Oral exam, External (7-point scale)
B22: Oral exam with no time for preparation.
Time and dateOrdinary Exam - hand out Mon, 19 Dec 2022, 08:00 - 14:00
Ordinary Exam - submission Tue, 20 Dec 2022, 08:00 - 13:55
Reexam Mon, 20 Mar 2023, 09:00 - 20:00
Reexam Wed, 22 Mar 2023, 09:00 - 20:00