Course pages 2016–17
Multicore Semantics and Programming
- Exercises for the first part of the course. Deadline noon December 5.
- Exercises and practical report for the second part, and example source code. Deadline noon 17 January 2017.
First part: ExercisesThe written coursework comprises a series of questions on the memory models of multiprocessors and programming languages
Second part: Problem sheetThe written coursework comprises a series of questions on the design of mutual exclusion locks and shared-memory data structures. Pseudo-code can be used when writing algorithms, and a sequentially-consistent memory model can be assumed. For questions about performance, it is sufficient to describe how an algorithm is likely to interact with a classical MESI cache in a machine with multiple cores and/or multiple sockets.