An Analysis of Partially Clairvoyant Scheduling

Real-time scheduling problems confront two issues not addressed by traditional scheduling models, viz., parameter variability and the existence of complex relationships constraining the executions of jobs. Accordingly, modeling becomes crucial in the specification of scheduling problems in such systems. In this paper, we analyze scheduling algorithms in Partially Clairvoyant Real-time scheduling systems and present a new dual-based algorithm for the feasibility problem in the case of strict relative constraints. We also study the problem of online dispatching in Partially Clairvoyant systems and show that the complexity of dispatching is logarithmically related to the complexity of the schedulability problem.

[1]  Hermann Kopetz,et al.  The real-time operating system of MARS , 1989, OPSR.

[2]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[3]  Leo Joskowicz,et al.  Reasoning About Linear Constraints Using Parametric Queries , 1990, FSTTCS.

[4]  Kwei-Jay Lin,et al.  Scheduling Real-Time Computations with Separation Constraints , 1992, Inf. Process. Lett..

[5]  Richard Gerber,et al.  Parametric Dispatching of Hard Real-Time Tasks , 1995, IEEE Trans. Computers.

[6]  Insup Lee,et al.  RTC: Language support for real-time concurrency , 2005, Real-Time Systems.

[7]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[8]  Satish K. Tripathi,et al.  The MARUTI hard real-time operating system , 1989, OPSR.

[9]  George B. Dantzig,et al.  Fourier-Motzkin Elimination and Its Dual , 1973, J. Comb. Theory A.

[10]  S.K. Tripathi,et al.  MARUTI: a hard real-time operating system , 1989, IEEE Workshop on Experimental Distributed Systems.

[11]  K. Subramani,et al.  Contraction versus Relaxation: A Comparison of Two Approaches for the Negative Cost Cycle Detection Problem , 2003, International Conference on Computational Science.

[12]  Kwei-Jay Lin,et al.  Scheduling distance-constrained real-time tasks , 1992, [1992] Proceedings Real-Time Systems Symposium.

[13]  K. Subramani,et al.  A Specification Framework for Real-Time Scheduling , 2002, SOFSEM.

[14]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[15]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[16]  K. Subramani,et al.  An Analysis of Zero-Clairvoyant Scheduling , 2002, TACAS.

[17]  Seonho Choi.  Dynamic time-based scheduling for hard real-time systems , 1998 .