Chapter 10 Reference 48

x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli and Magnus O. Myreen

Communications of the ACM 2010 cl.cam.ac.uk

Open the original at cl.cam.ac.uk

As cited in DDIA

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, and Magnus O. Myreen. "x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors." Communications of the ACM, volume 53, issue 7, pages 89–97, July 2010. doi:10.1145/1785414.1785443

Link check

Status: Link checked and reachable (HTTP 200)
Format: application/pdf
Size: 0.1 MB
Last checked: 2026-08-29

Identifiers and archived copies

DOI: 10.1145/1785414.1785443