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.
Lecture slides, additional papers.
Planning/First lecture: Monday 04.03.2019