Corpus ID: 15315715

The weakest reasonable memory model

@inproceedings{Frigo1998TheWR,
  title={The weakest reasonable memory model},
  author={M. Frigo},
  year={1998}
}
  • M. Frigo
  • Published 1998
  • Computer Science
  • A memory model is some description of how memory behaves in a parallel computer s ystem. While there is consensus that sequential consistency [Lamport 1979] is the str onge t memory model, nobody seems to have tried to identify the weakest memory model. This thesis concerns itself with precisely this problem. We cannot hope to identify the weakest memory model unless we specify a minimal s et of properties we want it to obey. In this thesis, we identify five such propertie s: completeness… CONTINUE READING
    38 Citations

    Figures and Tables from this paper.

    Location Consistency-A New Memory Model and Cache Consistency Protocol
    • 112
    • Highly Influenced
    • PDF
    A unified theory of shared memory consistency
    • 117
    • PDF
    Computation-centric memory models
    • 35
    • PDF
    Location Consistency Model Revisited: Problem, Solution and Prospects
    • G. Long, Nan Yuan, D. Fan
    • Computer Science
    • 2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies
    • 2008
    • 2
    Specifying memory consistency of write buffer multiprocessors
    • 34
    • Highly Influenced
    • PDF
    On the decidability of shared memory consistency verification
    • A. Sezgin, G. Gopalakrishnan
    • Computer Science
    • Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.
    • 2005
    • 4
    • PDF
    Memory Model = Instruction Reordering + Store Atomicity
    Memory Model = Instruction Reordering + Store Atomicity
    • Arvind, J. Maessen
    • Computer Science
    • 33rd International Symposium on Computer Architecture (ISCA'06)
    • 2006
    • 86
    • PDF
    A Graph-Theoretic Model of Shared-Memory Legality
    • Ayru L. Oliveira Filhoy, Valmir C. Barbosaz, yCentro de Pesquisas
    • 2000
    • 2
    • PDF
    Memory models for open-nested transactions
    • 32
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 28 REFERENCES
    Weak ordering—a new definition
    • 366
    • PDF
    The Midway distributed shared memory system
    • 596
    Scope Consistency: A Bridge between Release Consistency and Entry Consistency
    • 250
    Precedence-Based Memory Models
    • 10
    • PDF
    Shared Memory Consistency Models: A Tutorial
    • 1,130
    • PDF
    DAG-consistent distributed shared memory
    • 108
    • PDF