Solution Space for Fixed-Priority with Preemption Threshold

Citations Over TimeTop 17% of 2005 papers

Abstract

This paper reaffirms that fixed-priority with preemption threshold (FPPT) is an important form of real-time scheduling algorithm, which fills the gap between fixed-priority preemptive (FPP) and fixed-priority nonpreemptive (FPNP). When a task set is schedulable by FPPT, there may exist multiple valid preemption threshold assignments, which provide useful scheduling options. All valid assignments form a solution space that is delimited by a minimal and maximal assignment. A mechanism is presented to generate part of the valid assignments once the minimal and maximal assignments are known. The known algorithm to compute the minimal assignment starts at FPP, and the known algorithm to compute the maximal assignment starts from any valid assignment. This paper presents algorithms to compute the minimal and maximal assignments starting from FPNP, and the proofs for the correctness of these algorithms are also presented.

Related Papers

• → Scheduling fixed-priority tasks with preemption threshold(2003)270 cited
• → Assigning Priorities for Fixed Priority Preemption Threshold Scheduling(2015)5 cited
• → Optimal priority and threshold assignment for fixed-priority preemption threshold scheduling(2018)3 cited
• → Selective Preemption of Distributed Deep Learning Training(2023)2 cited
• → It’s Past Time for Practical Computer Checked Proofs of Program Correctness(1990)1 cited