Concepedia

Fence Semantics

Fence Semantics is a synchronization construct in memory consistency models that enforces a total ordering constraint on memory operations by prohibiting reordering of accesses across the fence, thereby distinguishing it from other synchronization mechanisms through its explicit control over instruction execution order relative to memory visibility.

13

Publications

541

Citations

29

Authors

19

Institutions

Publications per year

2017–2026

2

Parents

Publications

13

Taming release-acquire consistency

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis · 2016 · 92 citations

, , +15

Overhauling SC atomics in C11 and OpenCL

Mark Batty, Alastair F. Donaldson, John Wickerson · 2016 · 90 citations · Full text

, , +16

Dynamic synthesis for relaxed memory models

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

, , +16

Partial-coherence abstractions for relaxed memory models

Michael Kuperstein, Martin Vechev, Eran Yahav · ACM SIGPLAN Notices · 2011 · 66 citations

, , +17

Partial-coherence abstractions for relaxed memory models

Michael Kuperstein, Martin Vechev, Eran Yahav · 2011 · 51 citations

, , +17

1–5 of 13

Authors

29

  1. MV
    Martin Vechev

    ETH Zurich, Switzerland

    4 publications · 210 citations

    4

    h-index

  2. EY
    Eran Yahav

    Technion – Israel Institute of Technology, Israel

    4 publications · 210 citations

    4

    h-index

  3. MK
    Michael Kuperstein

    Wellesley College, United States

    2 publications · 117 citations

    2

    h-index

  4. JA
    Jade Alglave

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

    2 publications · 79 citations

    2

    h-index

  5. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    2 publications · 111 citations

    2

    h-index

1–5 of 29

Institutions

19

  1. Technion – Israel Institute of Technology

    Haifa, Israel

    4 h-index

    6 publications

    327 citations

  2. ETH Zurich

    Zurich, Switzerland

    2 h-index

    2 publications

    93 citations

  3. Sofia University "St. Kliment Ohridski"

    Sofia, Bulgaria

    2 h-index

    2 publications

    93 citations

  4. University of Oxford

    Oxford, United Kingdom

    2 h-index

    4 publications

    157 citations

  5. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    6 publications

    333 citations

  6. IBM (United States)

    Armonk, United States

    2 h-index

    2 publications

    117 citations

  7. Princeton University

    Princeton, United States

    2 h-index

    4 publications

    186 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    2 publications

    80 citations

1–8 of 19

Venues

  1. ACM SIGPLAN Notices

    3 publications · 102 citations

    3

    h-index

  2. Proceedings from Semantics and Linguistic Theory

    SALT · 1 publications · 15 citations

    1

    h-index

  3. arXiv (Cornell University)

    Repository · 1 publications · 39 citations

    1

    h-index

  4. Taxon

    1 publications · 11 citations

    1

    h-index

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

    Repository · 1 publications · 11 citations

    1

    h-index

1–5