Priority inheritance protocols: an approach to real-time synchronization

DOI10.1109/12.57058zbMath1395.90151OpenAlexW2160293203WikidataQ55881695 ScholiaQ55881695MaRDI QIDQ5375450

Lui Sha, Ragunathan (Raj) Rajkumar, John P. Lehoczky

Publication date: 14 September 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.57058

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Queueing theory (aspects of probability theory) (60K25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items

Local Reasoning for Global Graph Properties ⋮ Optimal priority assignment in the presence of blocking ⋮ Priority inheritance with backtracking for iterative multi-agent path finding ⋮ Static race detection for periodic programs ⋮ Transaction scheduling protocols for controlling priority inversion: a review ⋮ Improved response-time bounds in fixed priority scheduling with arbitrary deadlines ⋮ Dual ceiling protocol for real-time synchronization under preemption threshold scheduling ⋮ An optimal resource sharing protocol for generalized multiframe tasks ⋮ Reasoning about programs by exploiting the environment ⋮ Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms ⋮ Graph-based models for real-time workload: a survey ⋮ WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model ⋮ A misconception in blocking time analyses under multiprocessor synchronization protocols ⋮ Analysis and implementation of the multiprocessor bandwidth inheritance protocol ⋮ Processor bounding for an efficient non-preemptive task scheduling algorithm ⋮ A robot model of the basal ganglia: behavior and intrinsic processing ⋮ Priority inheritance protocol proved correct ⋮ Rate-monotonic scheduling for hard-real-time systems ⋮ A real-time configurable synchronization protocol for self-suspending process sets ⋮ Real-time multiprocessor locks with nesting: optimizing the common case ⋮ Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks ⋮ Coordinating action systems ⋮ A simple proof technique for priority-scheduled systems