Memory model (programming)

Known as: Memory model, Memory model (computing) 
In computing, a memory model describes the interactions of threads through memory and their shared use of the data.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency(SC), but it disallows the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A memory model for a concurrent imperative programming language specifies which writes to shared variables may be seen by reads… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a memory model to analyze and improve the performance of scientific algorithms on graphics processing units (GPUs… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, we describe TSOtool, a program to check thebehavior of the memory subsystem in a shared memorymultiprocessor… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • table 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The memory consistency model, or memory model, supported by a shared-memory multiprocessor directly affects its performance. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?