Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Exact quantification of the sub-optimality of uniprocessor fixed-priority pre- emptive scheduling
 
research article

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

Davis, Robert
•
Rothvoß, Thomas  
•
Baruah, Sanjoy
Show more
2009
Real-Time Systems

This paper examines the relative effectiveness of fixed priority pre-emptive scheduling in a uniprocessor system, compared to an optimal algorithm. 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. The maximum value for the processor speedup factor is shown to be 1/Omega = 1.76322 for tasksets where all task deadlines are less than or equal to their periods, and 1/ln(2) = 1.44270 for tasksets where all task deadlines are equal to their periods. The derivation of this latter result provides an alternative proof of the well-know Liu and Layland result.We refer to this factor as the processor speedup factor for fixed priority pre- emptive scheduling. Liu and Layland (1973) considered the pre-emptive scheduling of synchronous1 tasksets comprising independent periodic tasks, with bounded execution times, and deadlines equal to their periods. We refer to such tasksets as implicit-deadline tasksets. Liu and Layland showed that Earliest Deadline First (EDF) can schedule any implicit-deadline taskset with a total utilisation2 less than or equal to 100% ( 1 ≤ U ). Liu and Layland also showed that rate monotonic3 priority assignment is the optimal fixed priority assignment policy for implicit-deadline tasksets, and that using this priority assignment policy, fixed priority pre- emptive scheduling can schedule any implicit-deadline

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

EDFvFPSpeedupv6.1-resubmitted-to-Real-time-systems.pdf

Access type

openaccess

Size

366.46 KB

Format

Adobe PDF

Checksum (MD5)

ce92f0a4eb03f1158958c9784c2e80b5

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés