An efficient feasibility test method for hard real-time periodic tasks

  • Authors:
  • Moonju Park;Yookun Cho

  • Affiliations:
  • School of Electrical Engineering and Computer Science, Seoul National University, Seoul, Korea;School of Electrical Engineering and Computer Science, Seoul National University, Seoul, Korea

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper addresses the problem of deciding the feasibility of hard real-time periodic tasks. It is known to be co-NP problem to determine whether a task set is feasible on one processor, when there exists a task with relative deadline shorter than its period in the task set. For synchronous task sets, "Processor Demand Analysis (PDA)" has been considered as a practical tool to solve the feasibility problem. PDA determines the feasibility of a task set by checking whether a deadline is missed in an interval with finite length; this time interval is called "test interval." The efficiency of a feasibility test method will depend on the length of the test interval. In this paper, we present a new method for feasibility test of hard real-time periodic tasks. We show that the length of the test interval in our algorithm is shorter than or equal to existing ones theoretically. We also present experimental results that show the length of the test interval in our algorithm is significantly shorter than existing ones on the average.