Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems

Most of the existing research on multiprocessor mixed-criticality scheduling has focused on ensuring schedulability of the task set when the criticality level of the system increases. Furthermore, upon increasing the criticality level, most of these scheduling approaches suspend the execution of the lower criticality tasks in order to guarantee the schedulability of the higher criticality tasks. Although there exists a couple of approaches to facilitate the execution of some of the lower criticality tasks using the available slack in the system, to the best of our knowledge, there is no efficient mechanism that allows for eventually decreasing the criticality level of the system in order to resume the execution of the suspended lower criticality tasks. We refer to the problem of deciding when and how to lower the criticality level of the system as the "Safe Criticality Reduction" (SCR) problem. In this work, we design two solutions that are independent of the number of criticality levels and the number of processors and prove their correctness. The first protocol can be applied to any fixed task priority scheduler, and an upper-bound on the suspension delay suffered by the lower criticality tasks is presented. The second protocol can be applied to any fixed job priority scheduler and hence dominates the first protocol albeit with a higher run-time overhead. To the best of our knowledge, these are the first solutions for the SCR problem on multiprocessor platforms.

[1]  Rhan Ha,et al.  Validating timing constraints in multiprocessor and distributed systems , 1995 .

[2]  Ragunathan Rajkumar,et al.  Mixed-Criticality Task Synchronization in Zero-Slack Scheduling , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[3]  Rami G. Melhem,et al.  Power-aware scheduling for periodic real-time tasks , 2004, IEEE Transactions on Computers.

[4]  Jane W.-S. Liu,et al.  Validating timing constraints in multiprocessor and distributed real-time systems , 1994, 14th International Conference on Distributed Computing Systems.

[5]  Wang Yi,et al.  Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[6]  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).

[7]  Sanjoy K. Baruah,et al.  The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[8]  Sanjoy K. Baruah,et al.  Outstanding Paper Award: Global Mixed-Criticality Scheduling on Multiprocessors , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[9]  Risat Mahmud Pathan,et al.  Schedulability Analysis of Mixed-Criticality Systems on Multiprocessors , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[10]  Ragunathan Rajkumar,et al.  On the Scheduling of Mixed-Criticality Real-Time Task Sets , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[11]  Laurent George,et al.  Relaxing Mixed-Criticality Scheduling Strictness for Task Sets Scheduled with FP , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[12]  Wang Yi,et al.  New Response Time Bounds for Fixed Priority Multiprocessor Scheduling , 2009, 2009 30th IEEE Real-Time Systems Symposium.

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

[14]  Sanjoy K. Baruah,et al.  An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems , 2010, 2010 31st IEEE Real-Time Systems Symposium.

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

[16]  Sanjoy K. Baruah,et al.  Load-based schedulability analysis of certifiable mixed-criticality systems , 2010, EMSOFT '10.

[17]  Vincent Nélis,et al.  MORA: An Energy-Aware Slack Reclamation Scheme for Scheduling Sporadic Real-Time Tasks upon Multiprocessor Platforms , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[18]  Sanjoy Baruah,et al.  Global mixed-criticality scheduling on multiprocessors , 2012 .

[19]  Dakai Zhu,et al.  An Elastic Mixed-Criticality task model and its scheduling algorithm , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Liliana Cucu-Grosjean,et al.  Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[21]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling of Sporadic Task Systems , 2011, ESA.