Concepedia

Non-atomic Memory Models

Non-Atomic Memory Models is a memory consistency model that belongs to the class of memory models governing the behavior of shared memory in parallel systems, distinguished by its lack of guarantees for atomicity in memory operations, allowing reads and writes to be arbitrarily reordered or fragmented across processors.

17

Publications

1.2K

Citations

33

Authors

19

Institutions

Publications per year

2017–2026

4

Parents

Publications

17

Weak ordering---a new definition

Sarita V. Adve · 1990 · 247 citations

, , +17

Memory consistency models

David Mosberger · ACM SIGOPS Operating Systems Review · 1993 · 242 citations · Full text

, , +17

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Christopher Pulte, Shaked Flur, Will Deacon et al. · Proceedings of the ACM on Programming Languages · 2017 · 128 citations · Full text

, , +14

A theory of memory models

Vijay Saraswat, Radha Jagadeesan, Maged Michael et al. · 2007 · 92 citations

, , +15

Dynamic synthesis for relaxed memory models

Feng Liu, Nayden Nedev, Nedyalko Prisadnikov et al. · 2012 · 76 citations

, , +16

1–5 of 17

Authors

33

  1. PS
    Peter Sewell

    University of Cambridge, United Kingdom

    3 publications · 185 citations

    3

    h-index

  2. SS
    Susmit Sarkar

    University of Cambridge, United Kingdom

    3 publications · 185 citations

    3

    h-index

  3. FL
    Feng Liu

    Princeton University, United States

    2 publications · 93 citations

    2

    h-index

  4. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    2 publications · 34 citations

    2

    h-index

  5. EY
    Eran Yahav

    Technion – Israel Institute of Technology, Israel

    2 publications · 93 citations

    2

    h-index

1–5 of 33

Institutions

19

  1. Sofia University "St. Kliment Ohridski"

    Sofia, Bulgaria

    2 h-index

    2 publications

    93 citations

  2. ETH Zurich

    Zurich, Switzerland

    2 h-index

    2 publications

    93 citations

  3. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    4 publications

    68 citations

  4. Technion – Israel Institute of Technology

    Haifa, Israel

    2 h-index

    2 publications

    93 citations

  5. University of St Andrews

    St Andrews, United Kingdom

    2 h-index

    2 publications

    164 citations

  6. Princeton University

    Princeton, United States

    2 h-index

    4 publications

    186 citations

  7. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    8 publications

    656 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    1 h-index

    1 publications

    71 citations

1–8 of 19

Venues

  1. ACM SIGARCH Computer Architecture News

    1 publications · 71 citations

    1

    h-index

  2. Formal Methods in System Design

    1 publications · 71 citations

    1

    h-index

  3. Apollo (University of Cambridge)

    Repository · 1 publications · 36 citations

    1

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 128 citations

    1

    h-index

  5. Science of Computer Programming

    1 publications · 72 citations

    1

    h-index

1–5