EDF-Like Scheduling for Self-Suspending Real-Time Tasks

In real-time systems, schedulability tests are utilized to provide timing guarantees. However, for self-suspending task sets, current suspension-aware schedulability tests are limited to Task-Level Fixed-Priority (TFP) scheduling or EarliestDeadline-First (EDF) with constrained-deadline task systems. In this work we provide a unifying schedulability test for the uniprocessor version of Global EDF-Like (GEL) schedulers and arbitrary-deadline task sets. A large body of existing scheduling algorithms can be considered as EDF-Like, such as EDF, First-In-First-Out (FIFO), Earliest-Quasi-Deadline-First (EQDF) and Suspension-Aware EDF (SAEDF). Therefore, the unifying schedulability test is applicable to those algorithms. Moreover, the schedulability test can be applied to TFP scheduling as well. Our analysis is the first suspension-aware schedulability test applicable to arbitrary-deadline sporadic real-time task systems under Job-Level Fixed-Priority (JFP) scheduling, such as EDF. Moreover, it is the first unifying suspension-aware schedulability test framework that covers a wide range of scheduling algorithms. Through numerical simulations, we show that the schedulability test outperforms the state of the art for EDF under constraineddeadline scenarios. Moreover, we demonstrate the performance of different configurations under EQDF and SAEDF.

[1]  Insik Shin,et al.  Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[2]  Bo Peng,et al.  Parameter Adaption for Generalized Multiframe Tasks and Applications to Self-Suspending Tasks , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[3]  Hennadiy Leontyev,et al.  Multiprocessor extensions to real-time calculus , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[4]  Konstantinos Bletsas,et al.  Extended analysis with reduced pessimism for systems with limited parallelism , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[5]  Kyung-Hee Choi,et al.  Real-time scheduling of tasks that contain the external blocking intervals , 1995, Proceedings Second International Workshop on Real-Time Computing Systems and Applications.

[6]  W. Eric Norum.  EPICS on the RTEMS real-time executive for multiprocessor systems , 2002 .

[7]  Björn Andersson,et al.  Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[8]  UmaMaheswari Devi,et al.  An improved schedulability test for uniprocessor periodic task systems , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[9]  Gurulingesh Raravi,et al.  Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[10]  Jian-Jia Chen,et al.  A note on slack enforcement mechanisms for self-suspending tasks , 2021, Real Time Syst..

[11]  Konstantinos Bletsas,et al.  Fixed priority timing analysis of real-time systems with limited parallelism , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[12]  Feather-Trace : A Light-Weight Event Tracing Toolkit ∗ , 2007 .

[13]  Jian-Jia Chen,et al.  Computational Complexity and Speedup Factors Analyses for Self-Suspending Tasks , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

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

[15]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[16]  James H. Anderson,et al.  Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling , 2013, Real-Time Systems.

[17]  Jian-Jia Chen,et al.  Schedulability and Priority Assignment for Multi-Segment Self-Suspending Real-Time Tasks under Fixed-Priority Scheduling , 2015 .

[18]  Jian-Jia Chen,et al.  PASS: Priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[19]  Jian-Jia Chen,et al.  Self-suspension real-time tasks under fixed-relative-deadline fixed-priority scheduling , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Hennadiy Leontyev,et al.  Generalized tardiness bounds for global multiprocessor scheduling , 2007, Real Time Syst..

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

[22]  Jian-Jia Chen,et al.  Many suspensions, many problems: a review of self-suspending tasks in real-time systems , 2018, Real-Time Systems.

[23]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

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

[25]  Jian-Jia Chen,et al.  Suspension-Aware Earliest-Deadline-First Scheduling Analysis , 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[26]  Jian-Jia Chen,et al.  Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling , 2020, Real-Time Systems.

[27]  Jian-Jia Chen,et al.  A Unifying Response Time Analysis Framework for Dynamic Self-Suspending Tasks , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[28]  Jian-Jia Chen,et al.  Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models , 2014, 2014 IEEE Real-Time Systems Symposium.

[29]  James H. Anderson,et al.  Suspension-Aware Analysis for Hard Real-Time Multiprocessor Scheduling , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[30]  Jian-Jia Chen,et al.  Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-Suspensions , 2014, 2014 IEEE Real-Time Systems Symposium.

[31]  Jian-Jia Chen,et al.  Scheduling Self-Suspending Tasks: New and Old Results , 2019, ECRTS.

[32]  Zheng Dong,et al.  Closing the Loop for the Selective Conversion Approach: A Utilization-Based Test for Hard Real-Time Suspending Task Systems , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).