Weak memory concurrency

Lectures given at the Master Parisien de Recherche en Informatique, 2012.

Part of the Semantics, languages and algorithms for multicore programming course, in collaboration with Albert Cohen and Luc Maranget.

  • Slides on hardware models.
  • The ppcmem tool to explore the Power/ARM memory model (and some tests).
  • Slides on programming language models.
  • Slides on lr/sc, x86-TSO, fence-elimination optimisations, concurrency compiler bugs...

References: If you want more:
  • A web-page describing our research on weak memory concurrency;
  • Maurice Herlihy, Nir Shavit: The Art of Multiprocessor Programming, Morgan Kaufmann.

NEW: Francesco Zappa Nardelli has several ideas for internships, including:

  1. The Linux Memory Model (with Peter Sewell, U. Cambridge);
  2. Translation validation for a synchronous data-flow equations in a Lustre compiler (with Marc Pouzet, ENS).
If you are interested by weak memory concurrency, I encourage you to contact me directly.

Email: Francesco.Zappa_Nardelli (at) inria.fr

Last updated:  .