Weak memory concurrency

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

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).
  • Some exercices on hardware memory models.
  • Slides on programming language models.
  • Slides on data race detection and C11.

References: If you want more:

Email: Francesco.Zappa_Nardelli (at) inria.fr

Last updated:  .