loading...
Solution Space for Fixed-Priority with Preemption Threshold
San Francisco, CA March 07-March 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2005.4911th IEEE Real Time and Embedded Tech ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jiongxiong Chen, University of Waterloo, Canada
Ashif Harji, University of Waterloo, Canada
Peter Buhr, University of Waterloo, Canada
This paper reaffirms that fixed-priority with pre-emption threshold (FPPT) is an important form of real-time scheduling algorithm, which fills the gap between fixed-priority preemptive (FPP) and fixed-priority non-preemptive (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.
Citation:
Jiongxiong Chen, Ashif Harji, Peter Buhr, "Solution Space for Fixed-Priority with Preemption Threshold," rtas, pp.385-394, 11th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.