Concepedia

Consistency Semantics

Consistency Semantics is a formal specification within memory consistency models that defines the admissible behaviors of memory operations in a concurrent system by determining the order in which reads and writes to shared memory locations become visible across processors.

233

Publications

14.8K

Citations

483

Authors

200

Institutions

Publications per year

2017–2026

41

Parents

Publications

233

The notions of consistency and predicate locks in a database system

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie et al. · Communications of the ACM · 1976 · 2K citations · Full text

, , +16

Shared memory consistency models: a tutorial

Sarita V. Adve, Kourosh Gharachorloo · Computer · 1996 · 1.1K citations

, , +16

Weak ordering—a new definition

Sarita V. Adve · 1998 · 449 citations

, , +17

Design and evaluation of a conit-based continuous consistency model for replicated services

Haifeng Yu, Amin Vahdat · ACM Transactions on Computer Systems · 2002 · 291 citations

, , +17

xlinkit

Christian Nentwich, Licia Capra, Wolfgang Emmerich et al. · ACM Transactions on Internet Technology · 2002 · 274 citations

, , +16

1–5 of 233

Authors

483

  1. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    16 publications · 809 citations

    14

    h-index

  2. OL
    Ori Lahav

    Tel Aviv University, Israel

    11 publications · 643 citations

    11

    h-index

  3. SV
    Sarita V. Adve

    University of Illinois Urbana-Champaign, United States

    8 publications · 1.9K citations

    8

    h-index

  4. AR
    Azalea Raad

    Max Planck Institute for Software Systems, Germany

    7 publications · 238 citations

    7

    h-index

  5. JA
    Jade Alglave

    Institut national de recherche en sciences et technologies du numérique, France

    7 publications · 321 citations

    7

    h-index

1–5 of 483

Institutions

200

  1. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    16 h-index

    45 publications

    2.5K citations

  2. Imperial College London

    London, United Kingdom

    9 h-index

    14 publications

    964 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    12 publications

    534 citations

  4. University of Michigan

    Ann Arbor, United States

    8 h-index

    27 publications

    1.2K citations

  5. University of California, Berkeley

    Berkeley, United States

    7 h-index

    18 publications

    2.7K citations

  6. Tel Aviv University

    Tel Aviv, Israel

    7 h-index

    8 publications

    262 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    14 publications

    902 citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    6 h-index

    7 publications

    332 citations

1–8 of 200

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 13 publications · 378 citations

    13

    h-index

  2. ACM SIGPLAN Notices

    7 publications · 156 citations

    7

    h-index

  3. Information Processing Letters

    4 publications · 72 citations

    4

    h-index

  4. ACM SIGARCH Computer Architecture News

    4 publications · 244 citations

    4

    h-index

  5. Artificial Intelligence

    4 publications · 315 citations

    4

    h-index

1–5