Enhanced fixed-priority scheduling with (m,k)-firm guarantee

  • Authors:
  • Gang Quan;Xiaobo Hu

  • Affiliations:
  • Department of Computer Science & Engineering, University of Notre Dame, Notre Dame, IN;Department of Computer Science & Engineering, University of Notre Dame, Notre Dame, IN

  • Venue:
  • RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we study the problem of scheduling task sets with (m,k) constraints. In our approach, jobs of each task are partitioned into two sets: mandatory and optional. Mandatory jobs are scheduled according to their pre-defined priorities, while optional jobs are assigned to the lowest priority. We show that finding the optimal partition as well as determining the schedulability of the resultant task set are both NP-hard problems. A new technique, based on the General Chinese Remainder Theorem, is proposed to quantify the inteiference among tasks, which is then used to derive two partitioning approaches. Furthermore, a sufficient condition is presented to predict in polynomial time the schedulability of mandatory jobs. We prove that our partitions are never worse than those obtained in previous work. Experimental results also show significant improvement achieved by our approaches.