x86-TSO: a rigorous and usable programmer s model for x86 multiprocessors

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen. x86-TSO: a rigorous and usable programmer s model for x86 multiprocessors. Communications of the ACM, 53(7):89-97, 2010. [doi]

Abstract

Abstract is missing.