Concepedia

Transactional Memory Semantics

Transactional Memory Semantics is a formal model of memory consistency that defines the behavior of concurrent transactions by specifying the conditions under which sequences of memory operations appear to execute atomically and in isolation, preserving program order within each transaction while enabling parallelism across transactions.

163

Publications

9.8K

Citations

336

Authors

124

Institutions

Publications per year

2017–2026

6

Parents

Publications

163

Software transactional memory for dynamic-sized data structures

Maurice Herlihy, Victor Luchangco, Mark Moir et al. · 2003 · 999 citations

, , +14

Transactional Memory: Architectural Support For Lock-free Data Structures

Maurice Herlihy, J. Eliot, B. Moss · 2005 · 541 citations

, , +14

On the correctness of transactional memory

Rachid Guerraoui · 2008 · 458 citations · Full text

, , +16

NOrec

Luke Dalessandro, Michael Spear, Michael L. Scott · 2010 · 288 citations

, , +14

A flexible framework for implementing software transactional memory

Maurice Herlihy, Victor Luchangco, Mark Moir · 2006 · 235 citations

, , +14

1–5 of 163

Authors

336

  1. AA
    Ali-Reza Adl-Tabatabai

    Intel (United States), United States

    12 publications · 1K citations

    12

    h-index

  2. ML
    Michael L. Scott

    University of Rochester, United States

    12 publications · 915 citations

    12

    h-index

  3. RG
    Rachid Guerraoui

    École Polytechnique Fédérale de Lausanne, Switzerland

    12 publications · 1K citations

    11

    h-index

  4. MS
    Michael Spear

    University of Rochester, United States

    11 publications · 800 citations

    11

    h-index

  5. TH
    Tim Harris

    Microsoft Research (United Kingdom), United Kingdom

    10 publications · 511 citations

    10

    h-index

1–5 of 336

Institutions

124

  1. Intel (United States)

    Santa Clara, United States

    15 h-index

    68 publications

    5.7K citations

  2. University of Rochester

    Rochester, United States

    12 h-index

    39 publications

    3.8K citations

  3. Microsoft (United States)

    Redmond, United States

    12 h-index

    17 publications

    1.1K citations

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

    Lausanne, Switzerland

    11 h-index

    19 publications

    1.1K citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    11 h-index

    15 publications

    632 citations

  6. Stanford University

    Stanford, United States

    8 h-index

    41 publications

    3K citations

  7. University of Neuchâtel

    Neuchâtel, Switzerland

    8 h-index

    23 publications

    926 citations

  8. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

    Lisbon, Portugal

    7 h-index

    14 publications

    489 citations

1–8 of 124

Venues

  1. ACM SIGPLAN Notices

    12 publications · 317 citations

    12

    h-index

  2. UR Research (University of Rochester)

    Repository · 6 publications · 213 citations

    6

    h-index

  3. Journal of Parallel and Distributed Computing

    4 publications · 53 citations

    4

    h-index

  4. IEEE Micro

    3 publications · 103 citations

    3

    h-index

  5. ACM SIGARCH Computer Architecture News

    3 publications · 194 citations

    3

    h-index

1–5