Memory models, synchronization problems, operations and primitives, atomic operations, consensus, impossibility and universality results, locks, lock- and wait-free data structures (lists, stacks, queues,
hashtables, search structures, ...), work-stealing. Practical implementation project (C/C++ with pthreads, Java, ...)
Book: Herlihy, Shavit: The Art of Multiprocessor Programming. Morgan Kaufmann, Revised First Edition, 2012 (or later edition).
Lecture slides, additional papers.
First Lecture: 7.10.2024 (Attendance MANDATORY)
Lectures and discussion, active participation, blackboard exercises, project work.