Concepedia

Interrupt Preemption

Interrupt Preemption is a mechanism in real-time operating systems whereby a pending interrupt with higher priority forcibly suspends the handling of a lower-priority interrupt to ensure timely response to critical events.

16

Publications

529

Citations

50

Authors

22

Institutions

Publications per year

2017–2026

1

Parents

Publications

16

Certifying low-level programs with hardware interrupts and preemptive threads

Xinyu Feng, Zhong Shao, Yuan Dong et al. · 2008 · 79 citations

, , +16

Process-Aware Interrupt Scheduling and Accounting

Yuting Zhang, R. G. West · 2006 · 59 citations

, , +17

Interface and execution models in the Fluke kernel

Bryan Ford, Mike Hibler, Jay Lepreau et al. · 1999 · 59 citations

, , +17

Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads

Xinyu Feng, Zhong Shao, Yu Guo et al. · Journal of Automated Reasoning · 2009 · 44 citations

, , +16

Introducing preemptive scheduling in abstract RTOS models using result oriented modeling

Gunar Schirner, Rainer Dömer · 2008 · 43 citations

, , +17

1–5 of 16

Authors

50

  1. YG
    Yu Guo

    University of Science and Technology of China, China

    2 publications · 123 citations

    2

    h-index

  2. GS
    Gunar Schirner

    Northeastern University, United States

    2 publications · 60 citations

    2

    h-index

  3. XF
    Xinyu Feng

    University of Science and Technology of China, China

    2 publications · 123 citations

    2

    h-index

  4. ZS
    Zhong Shao

    Yale University, United States

    2 publications · 123 citations

    2

    h-index

  5. RD
    Rainer Dömer

    University of California, Irvine, United States

    2 publications · 60 citations

    2

    h-index

1–5 of 50

Institutions

22

  1. University of California, Irvine

    Irvine, United States

    2 h-index

    4 publications

    120 citations

  2. Toyota Technological Institute at Chicago

    Chicago, United States

    2 h-index

    2 publications

    123 citations

  3. Yale University

    New Haven, United States

    2 h-index

    2 publications

    123 citations

  4. Tsinghua University

    Beijing, China

    2 h-index

    2 publications

    123 citations

  5. University of Science and Technology of China

    Hefei, China

    2 h-index

    2 publications

    123 citations

  6. Boston University

    Boston, United States

    1 h-index

    2 publications

    118 citations

  7. RAND Corporation

    Santa Monica, United States

    1 h-index

    2 publications

    40 citations

  8. Data61

    Sydney, Australia

    1 h-index

    3 publications

    78 citations

1–8 of 22

Venues

  1. Journal of Automated Reasoning

    1 publications · 44 citations

    1

    h-index

  2. 1

    h-index

  3. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 1 publications · 13 citations

    1

    h-index

  4. Proceedings of the IEEE

    1 publications · 20 citations

    1

    h-index

  5. ACM SIGBED Review

    1 publications · 10 citations

    1

    h-index

1–5