Concepedia

Total Store Order

Total Store Order is a memory consistency model that enforces a global order on all memory store operations such that all processors observe writes to memory in a uniform sequence, thereby preserving program order for writes while allowing limited reordering of other operations to optimize performance.

30

Publications

1.1K

Citations

77

Authors

45

Institutions

Publications per year

2017–2026

4

Parents

Publications

30

On the verification problem for weak memory models

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt et al. · 2010 · 138 citations

, , +14

A regulated transitive reduction (RTR) for longer memory race recording

Min Xu, Rastislav Bodík · 2006 · 125 citations

, , +16

TSOtool

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit et al. · ACM SIGARCH Computer Architecture News · 2004 · 105 citations

, , +17

Calvin: Deterministic or not? Free will to choose

Derek R. Hower, Polina Dudnik, David A. Wood · 2011 · 78 citations

, , +17

TSO-CC: Consistency directed cache coherence for TSO

Marco Elver, Vijay Nagarajan · 2014 · 56 citations · Full text

, , +16

1–5 of 30

Authors

77

  1. CM
    Chaiyasit Manovit

    Stanford University, United States

    3 publications · 159 citations

    3

    h-index

  2. SH
    Sudheendra Hangal

    Stanford University, United States

    3 publications · 159 citations

    3

    h-index

  3. MF
    Mohamed Faouzi Atig

    Uppsala University, Sweden

    3 publications · 187 citations

    3

    h-index

  4. SB
    Sebastian Burckhardt

    Microsoft (United States), United States

    3 publications · 184 citations

    3

    h-index

  5. SH
    Shiyou Huang

    Texas A&M University, United States

    2 publications · 52 citations

    2

    h-index

1–5 of 77

Institutions

45

  1. Microsoft (United States)

    Redmond, United States

    3 h-index

    5 publications

    357 citations

  2. Intel (United States)

    Santa Clara, United States

    3 h-index

    7 publications

    224 citations

  3. Texas A&M University

    College Station, United States

    2 h-index

    4 publications

    104 citations

  4. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    2 h-index

    2 publications

    71 citations

  5. University of Salerno

    Fisciano, Italy

    2 h-index

    2 publications

    42 citations

  6. Uppsala University

    Uppsala, Sweden

    2 h-index

    5 publications

    94 citations

  7. Gran Sasso Science Institute

    L’Aquila, Italy

    2 h-index

    2 publications

    42 citations

  8. University of Southampton

    Southampton, United Kingdom

    2 h-index

    6 publications

    126 citations

1–8 of 45

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 22 citations

    2

    h-index

  2. ACM SIGARCH Computer Architecture News

    2 publications · 147 citations

    2

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 46 citations

    2

    h-index

  4. Kent Academic Repository (University of Kent)

    Repository · 1 publications · 30 citations

    1

    h-index

  5. ePrints Soton (University of Southampton)

    Repository · 1 publications · 19 citations

    1

    h-index

1–5