Opportunistic scheduling in a constraint-rich world

The latest planners and schedulers allow expressive domain modelling and problem definition, particularly with respect to the inclusion of constrained resource usage and inter-task dependencies. This increased complexity removes the ability to guarantee schedulability of a problem at run-time.In hard real-time systems, where 'hard' emphasizes the critical nature of meeting task deadines, the estimated worst-case execution time is used in the task representation. If a solely static framework is used to schedule these systems, the pessimism in the prediction of task execution times will lead to unused resources.This paper describes a framework to include a local dynamic scheduler with a large-scale planner or scheduler. The local scheduler can take advantage of any unused resources by scheduling additional task sets. It can also handle online plan repair by switching between different quality levels of tasks.

[1]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[2]  Håkan L. S. Younes,et al.  Introduction to the Probabilistic Planning Track , 2004 .

[3]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[4]  Alan Burns,et al.  Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems , 2000, IEEE Trans. Computers.

[5]  John L. Bresina,et al.  Just-In-Case Scheduling , 1994, AAAI.

[6]  D. Long,et al.  Single-trajectory Opportunistic Planning under Uncertainty , 2002 .

[7]  M. Fox,et al.  The 3rd International Planning Competition: Results and Analysis , 2003, J. Artif. Intell. Res..

[8]  Kwei-Jay Lin,et al.  Dynamic priority ceilings: A concurrency control protocol for real-time systems , 1990, Real-Time Systems.

[9]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[10]  Alan Burns,et al.  Schedulability analysis for mode changes in flexible real-time systems , 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).

[11]  Éric Rutten,et al.  Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[12]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..