discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
X86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors (2010)
http://www.cl.cam.ac.uk/~pes20/weakmemory/cacm.pdf
5 comments
8/6/2014