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

    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
    Specifying memory consistency of write buffer multiprocessors
    • 34
    • Highly Influenced
    • PDF
    On the decidability of shared memory consistency verification
    • 4
    • PDF
    Memory Model = Instruction Reordering + Store Atomicity
    Memory Model = Instruction Reordering + Store Atomicity
    • 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

    Publications referenced by this paper.
    SHOWING 1-10 OF 28 REFERENCES