Integrating Lowest Priority Approach with Largest Point Scheme for Faster Feasibility Analysis

Recently many solutions have been proposed to lower the computational cost of feasibility analysis for real-time systems. The computational cost of feasibility tests can be lowered by strategies such as lowering the number of scheduling points needed during analysis, starting feasibility analysis from lowest priority, or starting schedulability tests for a task with larger scheduling point. All these techniques significantly reduce the computation time of feasibility analysis for fixed priority systems. The computation time of such tests can be further reduced by combining various solutions for efficient feasibility analysis of periodic task sets. In this work, we integrate both lowest priority first with largest points first solution to derive a faster feasibility analysis test for fixed priority system. Our experimental evaluations suggest that the proposed technique significantly lowers the computational cost of the test when system utilization is in the range of 80% or when the ratio between the task period of a lower priority task and the highest priority task is large.

[1]  Eugen Bernading,et al.  A load adjustment , 1997 .

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

[3]  Marco Spuri,et al.  Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling , 1996 .

[4]  Albert Y. Zomaya,et al.  Lowest priority first based feasibility analysis of real-time systems , 2013, J. Parallel Distributed Comput..

[5]  Chong Wang,et al.  Solving linear optimization over arithmetic constraint formula , 2017, J. Glob. Optim..

[6]  Tei-Wei Kuo,et al.  Load adjustment in adaptive real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[7]  Nasro Min-Allah Effect of ordered set on feasibility analysis of static-priority system , 2018, The Journal of Supercomputing.

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

[9]  Yongji Wang,et al.  An interleaved depth-first search method for the linear optimization problem with disjunctive constraints , 2018, Journal of Global Optimization.

[10]  Samee U. Khan,et al.  A HYBRID TEST FOR FASTER FEASIBILITY ANALYSIS OF PERIODIC TASKS , 2011 .

[11]  Giorgio C. Buttazzo,et al.  A hyperbolic bound for the rate monotonic algorithm , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[12]  Tei-Wei Kuo,et al.  Efficient Online Schedulability Tests for Real-Time Systems , 2003, IEEE Trans. Software Eng..

[13]  Samee Ullah Khan,et al.  A goal programming based energy efficient resource allocation in data centers , 2012, The Journal of Supercomputing.

[14]  Juan Li,et al.  A comparative study of rate monotonic schedulability tests , 2012, The Journal of Supercomputing.

[15]  Nasro Min-Allah,et al.  An efficient schedulability condition for non-preemptive real-time systems at common scheduling points , 2016, The Journal of Supercomputing.

[16]  Nasir Ghani,et al.  An Application of Markov Jump Process Model for Activity-Based Indoor Mobility Prediction in Wireless Networks , 2011, 2011 Frontiers of Information Technology.

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

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

[19]  Jay K. Strosnider,et al.  Engineering and Analysis of Fixed Priority Schedulers , 1993, IEEE Trans. Software Eng..

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

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

[22]  Yongji Wang,et al.  Utilization bound for periodic task set with composite deadline , 2010, Comput. Electr. Eng..

[23]  Juan M. Corchado,et al.  Energy Optimization Using a Case-Based Reasoning Strategy , 2018, Sensors.

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