© 2017 IBM Corporation Linux-Kernel Memory Ordering: Help Arrives At Last! Joint work with Jade Alglave, Luc Maranget, Andrea Parri, and Alan Stern Paul E. McKenney, IBM Distinguished Engineer, Linux Technology Center Member, IBM Academy of Technology linux.conf.au, January 19, 2017 © 2017 IBM Corporation 2 linux.conf.au Linux Kernel Memory Ordering, January 19, 2017 Overview Who cares about memo