Slides for Part 1 (Peter Sewell)

Slides for Part 2 (Tim Harris)

• Slides for 5 Oct (locking) [PDF] (Tim Harris)
  • MCS locks
  • Cohort locks
  • Flat combining
  • Fine-grained loops using ideas from flat combining
  • PGX project
• Slides for 12 Oct (lock-free programming) [PDF] (Tim Harris)
  • A pragmatic implementation of non-blocking linked lists
  • A scalable lock-free stack algorithm
  • Thread scheduling for multiprogrammed multiprocessors
  • Idempotent work stealing
• Slides for 17 Oct (transactional memory) [PDF] (Tim Harris)