Concepedia

Ceiling Protocol Analysis

Ceiling Protocol Analysis is a formal method in real-time systems for analyzing resource access protocols, distinguished by its use of priority ceilings to prevent unbounded priority inversion in multiprocessor and uniprocess governors.

4

Publications

393

Citations

9

Authors

7

Institutions

Publications per year

2017–2026

1

Variants

Priority Ceiling Protocol Analysis

Parents

Publications

4

A real-time locking protocol

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

, , +17

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks

John B. Goodenough, Lui Sha · 1988 · 135 citations

, , +8

Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions

Pratyush Patel, Iljoo Baek, Hyoseung Kim et al. · 2018 · 30 citations

, , +16

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks

John B. Goodenough, Lui Sha · ACM SIGAda Ada Letters · 1988 · 29 citations · Full text

, , +8

A practical application of the ceiling protocol in a real-time system

C. Douglass Locke, John B. Goodenough · 1988 · 11 citations

, , +7

1–5 of 4

Authors

9

  1. LS
    Lui Sha

    University of Illinois Urbana-Champaign, United States

    3 publications · 363 citations

    3

    h-index

  2. JB
    John B. Goodenough

    The University of Texas at Austin, United States

    2 publications · 164 citations

    2

    h-index

  3. CC
    Che-Wei Chang

    National Taiwan University, Taiwan

    1 publications · 199 citations

    1

    h-index

  4. PP
    Pratyush Patel

    University of Washington, United States

    1 publications · 30 citations

    1

    h-index

  5. IB
    Iljoo Baek

    Carnegie Mellon University, United States

    1 publications · 30 citations

    1

    h-index

1–5 of 9

Institutions

7

  1. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    3 publications

    363 citations

  2. University of Pittsburgh

    Pittsburgh, United States

    1 h-index

    1 publications

    135 citations

  3. Software Engineering Institute

    Pittsburgh, United States

    1 h-index

    1 publications

    199 citations

  4. Konkuk University

    Seoul, South Korea

    1 h-index

    1 publications

    199 citations

  5. University of California, Riverside

    Riverside, United States

    1 h-index

    1 publications

    30 citations

  6. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    1 h-index

    1 publications

    199 citations

  7. University of Virginia

    Charlottesville, United States

    1 h-index

    1 publications

    199 citations

1–7 of 7

Venues

  1. IEEE Transactions on Computers

    1 publications · 199 citations

    1

    h-index

  2. ACM SIGAda Ada Letters

    1 publications · 29 citations

    1

    h-index

1–2