On-line schedulability tests for adaptive reservations in fixed priority scheduling

Adaptive reservation is a real-time scheduling technique in which each application is associated a fraction of the computational resource (a reservation) that can be dynamically adapted to the varying requirements of the application by using appropriate feedback control algorithms. An adaptive reservation is typically implemented by using an aperiodic server (e.g. sporadic server) algorithm with fixed period and variable budget. When the feedback law demands an increase of the reservation budget, the system must run a schedulability test to check if there is enough spare bandwidth to accommodate such increase. The schedulability test must be very fast, as it may be performed at each budget update, i.e. potentially at each instance of a task; yet, it must be as efficient as possible, to maximize resource usage.In this paper, we tackle the problem of performing an efficient on-line schedulability test for adaptive resource reservations in fixed priority schedulers. In the literature, a number of algorithms have been proposed for on-line admission control in fixed priority systems. We describe four of these tests, with increasing complexity and performance. In addition, we propose a novel on-line test, called Spare-Pot algorithm, which has been specifically designed for the problem at hand, and which shows a good cost/performance ratio compared to the other tests.

[1]  Tommaso Cucinotta,et al.  QoS Management Through Adaptive Reservations , 2005, Real-Time Systems.

[2]  Giuseppe Lipari,et al.  Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science) , 2005 .

[3]  Ching-Chih Han,et al.  A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms , 1997, Proceedings Real-Time Systems Symposium.

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

[5]  Wayne Luk,et al.  A Gaussian noise generator for hardware-based simulations , 2004, IEEE Transactions on Computers.

[6]  Luigi Palopoli,et al.  On adaptive control techniques in real-time resource allocation , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[7]  Giorgio C. Buttazzo,et al.  Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.

[8]  Tommaso Cucinotta,et al.  Feedback Scheduling for Pipelines of Tasks , 2007, HSCC.

[9]  Dong-Won Park,et al.  A generalized utilization bound test for fixed-priority real-time scheduling , 1995, Proceedings Second International Workshop on Real-Time Computing Systems and Applications.

[10]  Luigi Palopoli,et al.  On the Application of Hybrid Control to CPU Reservations , 2003, HSCC.

[11]  Sanjoy K. Baruah,et al.  Greedy reclamation of unused bandwidth in constant-bandwidth servers , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[12]  L. Palopoli,et al.  Stochastic feedback-based control of QoS in soft real-time systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[13]  Tommaso Cucinotta,et al.  Adaptive reservations in a Linux environment , 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..

[14]  Giuseppe Lipari,et al.  IRIS: a new reclaiming algorithm for server-based real-time systems , 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..

[15]  Sanjoy K. Baruah,et al.  Weighted feedback reclaiming for multimedia applications , 2008, 2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.

[16]  Giorgio C. Buttazzo,et al.  Schedulability analysis of periodic fixed priority systems , 2004, IEEE Transactions on Computers.

[17]  Antonio Bicchi,et al.  Quality of service control in soft real-time applications , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[18]  Robert I. Davis,et al.  Spare Capacity Distribution Using Exact Response-Time Analysis , 2009 .

[19]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms* , 2001, Real-Time Systems.

[20]  Insup Lee,et al.  A dynamic scheduling approach to designing flexible safety-critical systems , 2007, EMSOFT '07.

[21]  Samarjit Chakraborty,et al.  Near-Optimal Constant-Time Admission Control for DM Tasks via Non-uniform Approximations , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[22]  Enhanced utilization bounds for QoS management , 2004, IEEE Transactions on Computers.

[23]  Giuseppe Lipari,et al.  Elastic Scheduling for Flexible Workload Management , 2002, IEEE Trans. Computers.

[24]  Tei-Wei Kuo,et al.  Utilization bound revisited , 2003 .

[25]  Sang Hyuk Son,et al.  The case for feedback control real-time scheduling , 1998, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[26]  Tommaso Cucinotta,et al.  A Robust Mechanism for Adaptive Scheduling of Multimedia Applications , 2011, TECS.

[27]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[28]  Lui Sha,et al.  Capacity sharing for overrun control , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

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

[30]  Rami G. Melhem,et al.  An Improved Rate-Monotonic Admission Control and Its Applications , 2003, IEEE Trans. Computers.

[31]  Giorgio C. Buttazzo,et al.  Sensitivity analysis for fixed-priority real-time systems , 2006, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[32]  Lui Sha,et al.  Aperiodic task scheduling for Hard-Real-Time systems , 2006, Real-Time Systems.

[33]  Jonathan Walpole,et al.  Analysis of a reservation-based feedback scheduler , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[34]  Hans Toetenel.  Proceedings of the 12th Euromicro conference on Real-time systems , 2000 .

[35]  Shigemi Aoyagi,et al.  A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling , 1998, Real-Time Systems.

[36]  Shuichi Oikawa,et al.  Resource kernels: a resource-centric approach to real-time and multimedia systems , 2001, Electronic Imaging.

[37]  Tarek F. Abdelzaher,et al.  10th IEEE real-time and embedded technology and applications symposium , 2004, SIGBED.

[38]  Lui Sha,et al.  Elastic feedback control , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[39]  Doug Locke,et al.  Introduction to special issue on Java technologies for real-time and embedded systems , 2010, TECS.

[40]  Giuseppe Lipari,et al.  Soft Real-Time Systems: Predictability vs. Efficiency , 2010 .

[41]  Sanjoy K. Baruah,et al.  A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines , 2009, IEEE Transactions on Computers.

[42]  Sang Hyuk Son,et al.  New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems , 1995, IEEE Trans. Computers.

[43]  James H. Anderson,et al.  An Adaptive Framework for Multiprocessor Real-Time System , 2008, 2008 Euromicro Conference on Real-Time Systems.

[44]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

[46]  Giorgio C. Buttazzo,et al.  Efficient reclaiming in reservation-based real-time systems with variable execution times , 2005, IEEE Transactions on Computers.