Concepedia

Locking Protocol Analysis

Locking Protocol Analysis is a formal method used in real-time systems research to evaluate the synchronization mechanisms of concurrent processes by systematically examining how lock acquisition and release behaviors influence priority inheritance and scheduling guarantees under contention.

15

Publications

508

Citations

33

Authors

23

Institutions

Publications per year

2017–2026

3

Parents

Publications

15

A real-time locking protocol

Lui Sha, R. Rajkumar, S.H. Son et al. · IEEE Transactions on Computers · 1991 · 199 citations

, , +17

An optimal k-exclusion real-time locking protocol motivated by multi-GPU systems

Glenn A. Elliott, James H. Anderson · Real-Time Systems · 2012 · 47 citations

, , +12

Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison

Maolin Yang, Alexander Wieder, Björn B. Brandenburg · 2015 · 41 citations

, , +17

The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware Analysis

Björn B. Brandenburg · 2014 · 37 citations

, , +17

Design and analysis of a secure two-phase locking protocol

Sang H. Son, Rasikan David · 2002 · 29 citations

, , +15

1–5 of 15

Authors

33

  1. WL
    Weichen Liu

    Nanyang Technological University, Singapore

    3 publications · 42 citations

    3

    h-index

  2. XJ
    Xu Jiang

    Hong Kong Polytechnic University, Hong Kong SAR China

    3 publications · 42 citations

    3

    h-index

  3. NG
    Nan Guan

    Northeastern University, China

    3 publications · 42 citations

    3

    h-index

  4. RD
    Rasikan David

    University of Virginia, United States

    2 publications · 40 citations

    2

    h-index

  5. BB
    Björn B. Brandenburg

    Max Planck Institute for Software Systems, Germany

    2 publications · 78 citations

    2

    h-index

1–5 of 33

Institutions

23

  1. University of Electronic Science and Technology of China

    Chengdu, China

    4 h-index

    5 publications

    93 citations

  2. Hong Kong Polytechnic University

    Hong Kong, Hong Kong

    3 h-index

    7 publications

    94 citations

  3. University of Virginia

    Charlottesville, United States

    3 h-index

    6 publications

    290 citations

  4. Nanyang Technological University

    Singapore, Singapore

    3 h-index

    3 publications

    42 citations

  5. The University of Texas at Austin

    Austin, United States

    2 h-index

    4 publications

    88 citations

  6. University of North Carolina at Chapel Hill

    Chapel Hill, United States

    2 h-index

    5 publications

    136 citations

  7. Stony Brook University

    Stony Brook, United States

    2 h-index

    2 publications

    40 citations

  8. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    2 h-index

    4 publications

    160 citations

1–8 of 23

Venues

  1. IEEE Transactions on Computers

    2 publications · 213 citations

    2

    h-index

  2. Proceedings of the IEEE

    1 publications · 12 citations

    1

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 1 publications · 24 citations

    1

    h-index

  4. Fundamenta Informaticae

    1 publications · 17 citations

    1

    h-index

  5. Information Sciences

    1 publications · 11 citations

    1

    h-index

1–5