Advertisement

Real-Time Systems

, Volume 43, Issue 3, pp 211–258 | Cite as

Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling

  • Robert I. DavisEmail author
  • Thomas Rothvoß
  • Sanjoy K. Baruah
  • Alan Burns
Article

Abstract

This paper examines the relative effectiveness of fixed priority pre-emptive scheduling in a uniprocessor system, compared to an optimal algorithm such as Earliest Deadline First (EDF).

The quantitative metric used in this comparison is the processor speedup factor, equivalent to the factor by which processor speed needs to increase to ensure that any taskset that is schedulable according to an optimal scheduling algorithm can be scheduled using fixed priority pre-emptive scheduling, assuming an optimal priority assignment policy.

For constrained-deadline tasksets where all task deadlines are less than or equal to their periods, the maximum value for the processor speedup factor is shown to be 1/Ω≈1.76322 (where Ω is the mathematical constant defined by the transcendental equation ln (1/Ω)=Ω, hence, Ω≈0.567143). Further, for implicit-deadline tasksets where all task deadlines are equal to their periods, the maximum value for the processor speedup factor is shown to be 1/ln (2)≈1.44270. The derivation of this latter result provides an alternative proof of the well-known Liu and Layland result.

Keywords

Real-time Uniprocessor Fixed priority pre-emptive scheduling Earliest Deadline First (EDF) Sub-optimality Processor speedup factor Constrained deadline Implicit deadline Omega constant 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Audsley NC, Burns A, Richardson M, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284–292 CrossRefGoogle Scholar
  2. Baruah S, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the IEEE real-time systems symposium, pp 159–168 Google Scholar
  3. Baruah S, Burns A (2008) Quantifying the sub-optimality of uniprocessor fixed priority scheduling. In: Proceedings of the IEEE international conference on real-time and network systems, pp 89–95 Google Scholar
  4. Baruah SK, Rosier LE, Howell RR (1990a) Algorithms and complexity concerning the preemptive scheduling of periodic real-time tasks on one processor. Real-Time Systems 2(4):301–324 CrossRefGoogle Scholar
  5. Baruah SK, Mok AK, Rosier LE (1990b) Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Proceedings of the IEEE real-time system symposium, pp 182–190 Google Scholar
  6. Bini E, Buttazzo GC (2005) Measuring the Performance of Schedulability Tests. Real-Time Syst 30(1–2):129–154 zbMATHCrossRefGoogle Scholar
  7. Bini E, Buttazzo GC, Buttazzo GM (2003) Rate monotonic scheduling: the hyperbolic bound. IEEE Trans Comput 52(7):933–942 CrossRefGoogle Scholar
  8. Dertouzos ML (1974) Control robotics: the procedural control of physical processes. In: Proceedings of the IFIP congress, pp 807–813 Google Scholar
  9. Fineberg MS, Serlin O (1967) Multiprogramming for hybrid computation. In: Proceedings AFIPS fall joint computing conference, pp 1–13 Google Scholar
  10. Joseph M, Pandya PK (1986) Finding response times in a real-time system. Comput J 29(5):390–395 CrossRefMathSciNetGoogle Scholar
  11. Kalyanasundaram B, Pruhs K (1995) Speed is as powerful as clairvoyance. In: Proceedings of the 36th symposium on foundations of computer science, pp 214–221 Google Scholar
  12. Lehoczky JP, Sha L, Ding Y (1989) The rate monotonic scheduling algorithm: Exact characterization and average case behaviour. In: Proceedings of the IEEE real-time systems symposium, pp 166–171 Google Scholar
  13. Leung JY-T, Whitehead J (1982) On the complexity of fixed-priority scheduling of periodic real-time tasks. Perform Eval 2(4):237–250 zbMATHCrossRefMathSciNetGoogle Scholar
  14. Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46–61 zbMATHCrossRefMathSciNetGoogle Scholar
  15. Mok AK (1983) Fundamental design problems of distributed systems for the hard-real-time environment. PhD Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts Google Scholar
  16. Sjodin M, Hansson H (1998) Improved response time analysis calculations. In: Proceedings of the 19th IEEE real-time systems symposium, pp 399–408 Google Scholar
  17. Tindell KW (1994) Fixed priority scheduling of hard real-time systems. PhD thesis, Department of Computr Science, University of York Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Robert I. Davis
    • 1
    Email author
  • Thomas Rothvoß
    • 2
  • Sanjoy K. Baruah
    • 3
  • Alan Burns
    • 1
  1. 1.Real-Time Systems Research Group, Department of Computer ScienceUniversity of YorkYorkUK
  2. 2.Ecole Polytechnique Federale de LausanneInstitute of MathematicsLausanneSwitzerland
  3. 3.Department of Computer ScienceUniversity of North CarolinaChapel HillUSA

Personalised recommendations