A Better x86 Memory Model: x86-TSO

By Scott Owens, Susmit Sarkar, Peter Sewell. International Conference on Theorem Proving in Higher Order Logics, 2009

422 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/e949f00933afc88cfc8982c2becb5971635085d9

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Peter Sewell
2. Scott Owens
3. Susmit Sarkar

In Hardware and Architecture

1. Peter Sewell
2. Scott Owens
3. Susmit Sarkar

Citations in the corpus

• x86-TSO (2010, background): “Doi:10.1145/1785414.1785443 july 2010 | Vol. 53 | no. 7 | communications of the acm 89 x86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors”
• Mathematizing C++ concurrency (2011, methodology): “Here, we prove a version of the above prototype x86 implementation [Ter08] correct with respect to our x86-TSO semantics [SSZN + 09, OSS09 , SSO + 10].”