Course pages 2012–13
Multicore Semantics and Programming
Slides
- Slides for week 1 (intro; x86) (Peter Sewell)
- Slides for week 2 (more x86; POWER and ARM) (Peter Sewell)
- Toy SC language semantics with mutexes
- Slides for week 3 (programming language models (Peter Sewell)
- Slides for week 3 (C/C++11) (Mark Batty)
- Slides for week 4 (LL/SC on Power and ARM) (Peter Sewell)
- Code for Week 4:
- Slides for week 5 (locking) (Tim Harris)
- Slides for week 6 (lock-free data structures) (Tim Harris)
- Slides for week 7 (transactional memory) (Tim Harris)
- Slides for week 8: Asynchronous C♯, and Scalable Join Patterns (Claudio Russo)
Reference Materials
Tools
Last year’s course materials are still available.