A Formal Model of Linux-Kernel Memory Ordering

July 1, 2016

This article was contributed by Jade Alglave, Paul E. McKenney, Alan Stern, Luc Maranget, Andrea Parri and TBD

  1. A Formal Model of Linux-Kernel Memory Ordering
  2. RCU Guarantees