X86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors (2010)cl.cam.ac.uk46 pointsnkurz12 years ago