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

  • Authors:
  • Robert I. Davis;Thomas Rothvoβ;Sanjoy K. Baruah;Alan Burns

  • Affiliations:
  • Real-Time Systems Research Group, Department of Computer Science, University of York, York, UK;Ecole Polytechnique Federale de Lausanne, Institute of Mathematics, Lausanne, Switzerland 1015;Department of Computer Science, University of North Carolina, Chapel Hill, USA 27599-317;Real-Time Systems Research Group, Department of Computer Science, University of York, York, UK

  • Venue:
  • Real-Time Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.