Optimizing Energy in Non-Preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information

The strict requirements on the timing correctness biased the modeling and analysis of real-time systems toward the worst-case performances. Such focus on the worst-case, however, does not provide enough information to effectively steer the resource/energy optimization. In this article, we integrate a probabilistic-based energy prediction strategy with the precise scheduling of mixed-criticality tasks, where the timing correctness must be met for all tasks at all scenarios. The dynamic voltage and frequency scaling (DVFS) is applied to this precise scheduling policy to enable energy minimization. We propose a probabilistic technique to derive an energy-efficient speed (for the processor) that minimizes the average energy consumption, while guaranteeing the (worst-case) timing correctness for all tasks, including LO-criticality ones, under any execution condition. We present a response time analysis for such systems under the nonpreemptive fixed-priority scheduling policy. Finally, we conduct an extensive simulation campaign based on randomly generated task sets to verify the effectiveness of our algorithm (with respect to energy savings) and it reports up to 46% energy-saving.

[1]  Nan Guan,et al.  Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems , 2019, 2019 IEEE Real-Time Systems Symposium (RTSS).

[2]  Alan Burns,et al.  A Survey of Research into Mixed Criticality Systems , 2017, ACM Comput. Surv..

[3]  Sanjoy K. Baruah,et al.  A Neurodynamic Approach for Real-Time Scheduling via Maximizing Piecewise Linear Utility , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[4]  Zhishan Guo,et al.  Precise scheduling of mixed-criticality tasks by varying processor speed , 2019, RTNS.

[5]  Liliana Cucu-Grosjean,et al.  A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems , 2019, Leibniz Trans. Embed. Syst..

[6]  Liliana Cucu-Grosjean,et al.  Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time , 2017, IEEE Embedded Systems Letters.

[7]  Alan Burns,et al.  Mode changes in priority preemptively scheduled systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[8]  Giuseppe Lipari,et al.  Minimizing CPU energy in real-time systems with discrete speed management , 2009, TECS.

[9]  Haoyi Xiong,et al.  Energy-Efficient Multi-Core Scheduling for Real-Time DAG Tasks , 2017, ECRTS.

[10]  Sanjoy K. Baruah,et al.  Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor , 2014, 2014 IEEE Real-Time Systems Symposium.

[11]  Alessandro Cilardo,et al.  The RECIPE approach to challenges in deeply heterogeneous high performance systems , 2020, Microprocess. Microsystems.

[12]  Laurent George,et al.  Fault-aware sensitivity analysis for probabilistic real-time systems , 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

[13]  Man-Ki Yoon,et al.  Real-Time Systems Security through Scheduler Constraints , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[14]  Wang Yi,et al.  Improving the Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems , 2013 .

[15]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[16]  Abusayeed Saifullah,et al.  Energy-Efficient Real-Time Scheduling of DAGs on Clustered Multi-Core Platforms , 2019, 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[17]  Zhishan Guo,et al.  EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability , 2015, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications.

[18]  Nan Guan,et al.  Energy-Efficient Parallel Real-Time Scheduling on Clustered Multi-Core , 2020, IEEE Transactions on Parallel and Distributed Systems.

[19]  Lothar Thiele,et al.  Workload characterization model for tasks with variable execution demand , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[20]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[21]  William Fornaciari,et al.  A DVFS Cycle Accurate Simulation Framework with Asynchronous NoC Design for Power-Performance Optimizations , 2016, J. Signal Process. Syst..

[22]  Kiyoung Choi,et al.  Power conscious fixed priority scheduling for hard real-time systems , 1999, DAC '99.

[23]  Lothar Thiele,et al.  Energy minimization for periodic real-time tasks on heterogeneous processing units , 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[24]  William Fornaciari,et al.  Probabilistic-WCET reliability: Statistical testing of EVT hypotheses , 2020, Microprocess. Microsystems.

[25]  Nan Guan,et al.  EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[26]  Haoyi Xiong,et al.  Energy-Efficient Real-Time Scheduling of DAG Tasks , 2018, ACM Trans. Embed. Comput. Syst..

[27]  Giuseppe Massari,et al.  A Probabilistic Approach to Energy-Constrained Mixed-Criticality Systems , 2019, 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED).

[28]  Insup Lee,et al.  MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors , 2014, 2014 IEEE Real-Time Systems Symposium.

[29]  Alessandro Cilardo,et al.  Challenges in Deeply Heterogeneous High Performance Systems , 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD).

[30]  J. Kiefer,et al.  Asymptotic Minimax Character of the Sample Distribution Function and of the Classical Multinomial Estimator , 1956 .

[31]  Giuseppe Massari,et al.  Statistical power estimation dataset for external validation GoF tests on EVT distribution , 2019, Data in brief.

[32]  Giuseppe Massari,et al.  Towards Fine-Grained DVFS in Embedded Multi-core CPUs , 2018, ARCS.

[33]  Sharad Malik,et al.  Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.

[34]  Hyeongboo Baek,et al.  Incorporating Security Constraints into Mixed-Criticality Real-Time Scheduling , 2017, IEICE Trans. Inf. Syst..

[35]  Alan Burns,et al.  Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[36]  Lothar Thiele,et al.  Energy efficient DVFS scheduling for mixed-criticality systems , 2014, 2014 International Conference on Embedded Software (EMSOFT).

[37]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling upon Varying-Speed Processors , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[38]  Marco Di Natale,et al.  Mixed Criticality Systems - A History of Misconceptions? , 2016, IEEE Des. Test.

[39]  Sanjoy K. Baruah,et al.  The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[40]  Sanjoy K. Baruah,et al.  Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems , 2015, J. ACM.

[41]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[42]  Eduardo Tovar,et al.  How realistic is the mixed-criticality real-time system model? , 2015, RTNS.

[43]  Alessandro Cilardo,et al.  Reliable power and time-constraints-aware predictive management of heterogeneous exascale systems , 2018, SAMOS.

[44]  Chenyang Lu,et al.  Mixed-criticality federated scheduling for parallel real-time tasks , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[45]  William Fornaciari,et al.  Dealing with Uncertainty in pWCET Estimations , 2020, ACM Trans. Embed. Comput. Syst..

[46]  Lothar Thiele,et al.  Exploring Energy Saving for Mixed-Criticality Systems on Multi-Cores , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[47]  Nathan Fisher,et al.  Power minimization for parallel real-time systems with malleable jobs and homogeneous frequencies , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[48]  Wang Yi,et al.  Bounding and shaping the demand of generalized mixed-criticality sporadic task systems , 2013, Real-Time Systems.

[49]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling upon Varying-Speed Multiprocessors , 2014, 2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing.

[50]  Sanjoy K. Baruah,et al.  MC-Fluid: Simplified and Optimally Quantified , 2015, 2015 IEEE Real-Time Systems Symposium.