Practical Concurrent and Parallel Programming, MSc CS (Autumn 2024)

Abstract

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.

Description

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, deadlock, starvation, atomic operations, avoiding sharing (thread confinement), designing thread-safe classes, the monitor pattern.

* 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.

* Thread pools, the Java executor framework, work-stealing queues, Futures.

* Concurrency and single-threaded GUI applications.

* Testing concurrent programs, correctness, safety and liveness properties, testing 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, using the Java Akka framework.

Formal prerequisites

Students 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)

Ordinary exam

Exam type:
B: Oral exam, External (7-point scale)
Exam variation:
B22: Oral exam with no time for preparation.