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, ...)
Planning: 04.03.2013, first lecture 10.3.2014
IMPORTANT: Registration for VU and group is necessary!
ECTS Breakdown
- Overview, 3.3. 14:00-16:00 seminar room 384, planning: 1h
- Lectures: 14x2h = 28h
- Lecture preparation and digestion: 14x1h = 14h
- Projects and Exercises: 3x16h = 48h
- Oral exam/project presentation, including preparation: 9h
Total: 100h = 4.0 ECTS
Book: Herlihy, Shavit: The Art of Multiprocessor Programming. Morgan Kaufmann, Revised First Edition, 2012.
Lecture slides, additional papers.