Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Sequential consistency

Sequential consistency is one of the consistency models used in the domain of concurrent computing (e.g. in distributed shared memory, distributed… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
The C/C++11 memory model defines the semantics of concurrent memory accesses in C/C++, and in particular supports racy "atomic… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Many modern computer systems and most multicore chips (chip multiprocessors) support shared memory in hardware. In a shared… Expand
  • figure 2.2
  • table 3-2
  • table 3-1
  • table 3-2
  • table 3-3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
While Sequential Consistency (SC) is the most intuitive memory consistency model and the one most programmers likely assume… Expand
  • figure 2
  • figure 1
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Over the last several years, major efforts have been made to develop methods for extracting information from audiovisual media… Expand
  • figure 1
  • figure 4
  • figure 8
  • figure 9
  • figure 11
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We determine the complexity of testing whether a finite state, sequential or concurrent probabilistic program satisfies its… Expand
  • figure 1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The power of two well-known consistency conditions for shared-memory multiprocessors, sequential consistency and linearizability… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Based on extensive research, this reference shows how automated fabrication--also known as desktop manufacturing and rapid… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A new model of memory consistency, called release consistency, that allows for more buffering and pipelining than previously… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Scalable shared-memory multiprocessors distribute memory among the processors and use scalable interconnection networks to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?