Course pages 2019–20
Multicore Semantics and Programming
- Slides for 11 Oct (locking) [PDF] (Tim Harris)
- MCS locks
- Cohort locks
- Flat combining
- Fine-grained loops using ideas from flat combining
- Slides for 18 Oct (lock-free data structures) [PDF] (Tim Harris)
- Slides for 25 Oct (transactional memory) [PDF] (Tim Harris)
- Slides for 1 Nov and first half of 8 Nov (x86)[PDF] (Peter Sewell)
- Slides for ARM, POWER, RISC-V: second half of 8 Nov (Peter Sewell), 15 Nov (Christopher Pulte), and 22 Nov (Peter Sewell) [PDF]
- Slides for C/C++, 29 Nov: Part 1, Part 2, and Part 3.