Shared Memory Consistency Models: A Tutorial

  title={Shared Memory Consistency Models: A Tutorial},
  author={Sarita V. Adve and Kourosh Gharachorloo},
  journal={IEEE Computer},
Parallel systems that support the shared memory abstraction are becoming widely accepted in many areas of computing. Writing correct and efficient programs for such systems requires a formal specification of memory semantics, called a memory consistency model. The most intuitive model—sequential consistency—greatly restricts the use of many performance optimizations commonly used by uniprocessor hardware and compiler designers, thereby reducing the benefit of using a multiprocessor. To… CONTINUE READING
Highly Influential
This paper has highly influenced 89 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 1,173 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
717 Extracted Citations
24 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 717 extracted citations

1,174 Citations

Citations per Year
Semantic Scholar estimates that this publication has 1,174 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 24 references

The SPARC Architecture Manual

  • David L. Weaver, Tom Germond, editors
  • SPARC International, Version
  • 1994
Highly Influential
10 Excerpts

Memory Consistency Models for Shared-Memory Multiprocessors

  • Kourosh Gharachorloo
  • PhD thesis, Stanford University,
  • 1995
6 Excerpts

Stone , and Charles M . Barton . A formal specification of the PowerPC shared memory architecture Memory access buffering in multiprocessors

  • Francisco Corella, M Janice
  • Memory Consistency Models for Shared - Memory…
  • 1995

The PowerPC Architecture: A Specification for a New Family of RISC Processors

  • Cathy May, Ed Silha, Rick Simpson, Hank Warren, editors
  • 1994
1 Excerpt

A formal specification of the PowerPC shared memory architecture

  • Francisco Corella, Janice M. Stone, Charles M. Barton
  • Technical Report Computer Science Technical…
  • 1993
1 Excerpt

Adve and Mark D . Hill . A unified formalization of four sharedmemory models

  • V. Sarita
  • IEEE Transactions on Parallel and Distributed…
  • 1993

Designing Memory Consistency Models for Shared-Memory Multiprocessors

  • Sarita V. Adve
  • PhD thesis,
  • 1993
4 Excerpts

Revision to “Memory consistency and event ordering in scalable shared-memory multiprocessors

  • Kourosh Gharachorloo, Anoop Gupta, John Hennessy
  • Technical Report CSL-TR-93-568,
  • 1993
11 Excerpts

Similar Papers

Loading similar papers…