Concepedia

Fence Instructions

Fence Instructions is a synchronization mechanism in memory consistency models that enforces a global ordering constraint on memory operations by ensuring that all memory accesses before the fence are globally visible before any memory accesses after the fence.

22

Publications

944

Citations

63

Authors

25

Institutions

Publications per year

2017–2026

5

Parents

Publications

22

Speculative Buffer Overflows: Attacks and Defenses

Vladimir Kiriansky, Carl A. Waldspurger · arXiv (Cornell University) · 2018 · 127 citations · Full text

, , +16

Taming release-acquire consistency

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

, , +15

Automatic fence insertion for shared memory multiprocessing

Xing Fang, Jaejin Lee, Samuel P. Midkiff · 2003 · 86 citations

, , +17

Hiding relaxed memory consistency with a compiler

Jinseok Lee, David Padua · IEEE Transactions on Computers · 2001 · 78 citations

, , +17

Dynamic synthesis for relaxed memory models

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

, , +16

1–5 of 22

Authors

63

  1. MV
    Martin Vechev

    ETH Zurich, Switzerland

    3 publications · 132 citations

    3

    h-index

  2. EY
    Eran Yahav

    Technion – Israel Institute of Technology, Israel

    3 publications · 132 citations

    3

    h-index

  3. NN
    Nayden Nedev

    Princeton University, United States

    2 publications · 93 citations

    2

    h-index

  4. EK
    Elliot K. Kolodner

    IBM Research - Haifa, Israel

    2 publications · 114 citations

    2

    h-index

  5. CL
    Changhui Lin

    University of California, Riverside, United States

    2 publications · 25 citations

    2

    h-index

1–5 of 63

Institutions

25

  1. Technion – Israel Institute of Technology

    Haifa, Israel

    5 h-index

    7 publications

    265 citations

  2. ETH Zurich

    Zurich, Switzerland

    3 h-index

    3 publications

    132 citations

  3. IBM Research - Haifa

    Haifa, Israel

    2 h-index

    13 publications

    740 citations

  4. University of Rochester

    Rochester, United States

    2 h-index

    8 publications

    134 citations

  5. Sofia University "St. Kliment Ohridski"

    Sofia, Bulgaria

    2 h-index

    2 publications

    93 citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    6 publications

    333 citations

  7. University of California, Riverside

    Riverside, United States

    2 h-index

    4 publications

    50 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    2 publications

    25 citations

1–8 of 25

Venues

  1. ACM SIGPLAN Notices

    2 publications · 36 citations

    2

    h-index

  2. IEEE Transactions on Computers

    1 publications · 78 citations

    1

    h-index

  3. 1

    h-index

  4. ACM SIGACT News

    1 publications · 39 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 127 citations

    1

    h-index

1–5