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

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Communications of the ACM 53(7)
Association for Computing Machinery
New York, NY, USA
Pages 89-97
jul 2010
Note(s): weak memory, TSO

Total store order (TSO)