Analyzing GEDF Scheduling for Parallel Real-Time Tasks with Arbitrary Deadlines

Real-time and embedded systems are shifting from single-core to multi-core processors, on which software must be parallelized to fully utilize the computation capacity of hardware. Recently much work has been done on real-time scheduling of parallel tasks modeled as directed acyclic graphs (DAG). However, most of these studies assume tasks to have implicit or constrained deadlines. Much less work considered the general case of arbitrary deadlines (i.e., the relative deadline is allowed to be larger than the period), which is more difficult to analyze due to intra-task interference among jobs. In this paper, we study the analysis of Global Earliest Deadline First (GEDF) scheduling for DAG parallel tasks with arbitrary deadlines. We develop new analysis techniques for GEDF scheduling of a single DAG task, which not only outperform the state-of-the-art in general evidenced by empirical evaluation, but also guarantee a better capacity augmentation bound 2.41 (the best known result is 2.5). The proposed analysis techniques are also extended to and evaluated with the case of multiple DAG tasks using the federated scheduling approach.

[1]  Serge Midonnet,et al.  A Stretching Algorithm for Parallel Real-time DAG Tasks on Multiprocessor Systems , 2014, RTNS.

[2]  Ronald L. Graham,et al.  Bounds on Multiprocessing Timing Anomalies , 1969, SIAM Journal of Applied Mathematics.

[3]  Sanjoy K. Baruah,et al.  The partitioned dynamic-priority scheduling of sporadic task systems , 2007, Real-Time Systems.

[4]  Sanjoy K. Baruah,et al.  A Generalized Parallel Task Model for Recurrent Real-time Processes , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[5]  Sanjoy K. Baruah The federated scheduling of constrained-deadline sporadic DAG task systems , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[6]  Xu Jiang,et al.  On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[7]  Chenyang Lu,et al.  Multi-core Real-Time Scheduling for Generalized Parallel Task Models , 2011, RTSS.

[8]  T. Neumann Computers And Intractability A Guide To The Theory Of Np Completeness , 2016 .

[9]  Sanjoy K. Baruah,et al.  The federated scheduling of systems of conditional sporadic DAG tasks , 2015, 2015 International Conference on Embedded Software (EMSOFT).

[10]  Jean-Marc Vincent,et al.  Random graph generation for scheduling simulations , 2010, SimuTools.

[11]  Chenyang Lu,et al.  Parallel Real-Time Scheduling of DAGs , 2014, IEEE Transactions on Parallel and Distributed Systems.

[12]  Frédéric Fauberteau,et al.  Global EDF scheduling of directed acyclic graphs on multiprocessor systems , 2013, RTNS '13.

[13]  James H. Anderson,et al.  Tardiness Bounds under Global EDF Scheduling on a Multiprocessor , 2005, RTSS.

[14]  Wang Yi,et al.  Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors , 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

[15]  Chenyang Lu,et al.  Analysis of Federated and Global Scheduling for Parallel Real-Time Tasks , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[16]  Sanjoy K. Baruah,et al.  Federated Scheduling of Sporadic DAG Task Systems , 2015, 2015 IEEE International Parallel and Distributed Processing Symposium.

[17]  C. Gill,et al.  Analysis of Global EDF for Parallel Tasks , 2013 .

[18]  Sebastian Stiller,et al.  Feasibility Analysis in the Sporadic DAG Task Model , 2013, 2013 25th Euromicro Conference on Real-Time Systems.