Course pages 2016–17
Multicore Semantics and Programming
Schedule
- Week 1: Friday 7 October 2016: Peter Sewell
- Week 2: Friday 14 October 2016: Peter Sewell
- Week 3: Friday 21 October 2016: Tim Harris
- Week 4: Friday 28 October 2016: Peter Sewell
- Week 5: Friday 4 November 2016: Peter Sewell
- Week 6: Friday 11 November 2016: Peter Sewell
- Week 7: Friday 18 November 2016: Tim Harris
- Week 8: Friday 25 November 2016: Tim Harris
Slides
- Slides for week 1 (introduction) (Peter Sewell)
- Slides for week 2 (x86, architectures) (Peter Sewell)
- Slides for week 2 (testing) (Peter Sewell)
- Slides for week 3 (locking) (Tim Harris)
- Slides for week 4 and 5 (POWER
and ARM) (Peter Sewell)
- Understanding POWER Multiprocessors. Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams. In PLDI 2011 (more details)
- Synchronising C/C++ and POWER. Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams. In PLDI 2012. (more details)
- Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA. Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell. In POPL 2016 (more details).
- Power model web interface: PPCMEM: PPC
- ARM model web interface: PPCMEM: AArch64
- diy7 tools for litmus testing
- Slides for week 6 (Peter Sewell): PL intro, C/C++11 intro (slides from Francesco Zappa Nardelli), and C/C++11 details (slides from Mark Batty).
- Code for Weeks 4/5/6:
- Slides for week 7 (lock-free programming) (Tim Harris)
- Slides for week 8 (transactional memory) (Tim Harris)
Example exercises
- There is an example exercise sheet and solution notes available for Tim Harris' lectures. These are made available to provide an additional range of questions—there is no need to submit the answers.
Last year’s course materials are still available.