Course pages 2013–14
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 (C/C++11) (Mark Batty)
- Slides for week 4: Guest Lecture by Paul McKenney
- Slides for first part of week 5: Guest Lecture by Luis Ceze
- Slides for last part of week 5 (LL/SC on Power and ARM) (Peter Sewell)
- Slides for week 6 (Amdahl's law, locking) (Tim Harris)
- Slides for week 7 (lock-free data structures) (Tim Harris)
- Slides for week 8 (transactional memory) (Tim Harris)
Reference Materials
- A Tutorial Introduction to the ARM and POWER Relaxed Memory Models
- TM book (Cambridge access only)
Tools
Last year’s course materials are still available.