The case for feedback control real-time scheduling

Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotonic, and the Spring scheduling algorithm can support sophisticated task set characteristics (such as deadlines, precedence constraints, shared resources, jitter, etc.), they are all "open loop" scheduling algorithms. Open loop refers to the fact that once schedules are created they are not "adjusted" based on continuous feedback. While open-loop scheduling algorithms can perform well in static or dynamic systems in which the workloads can be accurately modeled, they can perform poorly in unpredictable dynamic systems. In this paper, we present a new scheduling paradigm, which we call feedback control real-time scheduling. Feedback control real-time scheduling defines error terms for schedules, monitors the error, and continuously adjusts the schedules to maintain stable performance. This paper also presents a practical feedback control real-time scheduling algorithm, FC-EDF, which is a starting point in the long-term endeavor of creating a theory and practice of feedback control scheduling.

[1]  PangHweeHwa,et al.  Multiclass Query Scheduling in Real-Time Database Systems , 1995 .

[2]  David B. Whalley,et al.  Bounding loop iterations for timing analysis , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).

[3]  Sharad Malik,et al.  Cache modeling for real-time software: beyond direct mapped instruction caches , 1996, 17th IEEE Real-Time Systems Symposium.

[4]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[5]  Marco Spuri,et al.  Implications of Classical Scheduling Results for Real-Time Systems , 1995, Computer.

[6]  Seongsoo Hong,et al.  Toward Automatic Synthesis of Schedulable Real-Time Controllers , 1998, Integr. Comput. Aided Eng..

[7]  Azer Bestavros,et al.  An Admission Control Paradigm for Value-cognizant Real-Time Databases , 1996 .

[8]  Chang-Gun Lee,et al.  Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling , 1996, Proceedings Real-Time Systems Symposium.

[9]  Leonard Kleinrock,et al.  A contiuum of time-sharing scheduling algorithms , 1970, AFIPS '70 (Spring).

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

[11]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[12]  Richard Gerber,et al.  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes , 1995, IEEE Trans. Software Eng..

[13]  C. V. Ramamoorthy,et al.  Aspects of a Dynamically Adaptive Operating System , 1976, IEEE Transactions on Computers.

[14]  Donald F. Towsley,et al.  Experimental evaluation of real-time transaction processing , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[15]  Sang Lyul Min,et al.  Analysis of cache-related preemption delay in fixed-priority preemptive scheduling , 1998, 17th IEEE Real-Time Systems Symposium.

[16]  W. T. Tucker.  Linear Estimation and Stochastic Control , 1984 .

[17]  John A. Stankovic,et al.  Adding Robustness in Dynamic Preemptive Scheduling , 1995, Responsive Computer Systems.

[18]  Stuart Bennett.  Real-Time Computer Control , 1988 .

[19]  Erol Gelenbe,et al.  Adaptive Allocation of Central Processing Unit Quanta , 1976, JACM.

[20]  Jane W.-S. Liu,et al.  Scheduling Periodic Jobs That Allow Imprecise Results , 1990, IEEE Trans. Computers.

[21]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[22]  Krithi Ramamritham,et al.  Preemptive Scheduling Under Time and Resource Constraints , 1987, IEEE Transactions on Computers.

[23]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[24]  Miron Livny,et al.  Multiclass Query Scheduling in Real-Time Database Systems , 1995, IEEE Trans. Knowl. Data Eng..

[25]  Krithi Ramamritham,et al.  Dynamic Task Scheduling in Hard Real-Time Distributed systems , 1984, IEEE Software.

[26]  Wei Kuan Shih,et al.  Algorithms for Scheduling Imprecise Computations with Timing Constraints , 1991, SIAM J. Comput..

[27]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

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

[29]  Gang Tao,et al.  Adaptive Control of Systems with Actuator and Sensor Nonlinearities , 1996 .

[30]  Young-Kuk Kim,et al.  Supporting predictability in real-time database systems , 1996, Proceedings Real-Time Technology and Applications.

[31]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[32]  Krithi Ramamritham,et al.  Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems , 1989, IEEE Trans. Parallel Distributed Syst..

[33]  C. D. Locke,et al.  Best-effort decision-making for real-time scheduling , 1986 .

[34]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[35]  M. Saksena,et al.  Parametric scheduling for hard real-time systems , 1994 .

[36]  John A. Stankovic,et al.  On real-time transactions , 1988, SGMD.

[37]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[38]  J. de Meer.  On the Specification of EtE QoS Control , 1997 .

[39]  Miron Livny,et al.  Earliest deadline scheduling for real-time database systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[40]  Sang Hyuk Son,et al.  BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications , 1997, ARTDB.

[41]  Heonshik Shin,et al.  Visual assessment of a real-time system design: a case study on a CNC controller , 1996, 17th IEEE Real-Time Systems Symposium.

[42]  Katsuhiko Ogata,et al.  Modern control engineering (3rd ed.) , 1996 .