Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling

In a mixed-criticality system, multiple tasks with different levels of criticality may coexist on the same hardware platform. The scheduling algorithm EDF-VD (Earliest Deadline First with Virtual Deadlines) has been proposed for mixed-criticality systems, which assumes tasks do not share any common resources. We present MC-SRP (Mixed-Criticality Stack Resource Policy), a resource synchronization protocol for EDF-VD, which allows resource sharing among tasks at the same criticality level and guarantees that each task is blocked at most once in each criticality mode. In addition, we present MC-SRPT (MC-SRP with Thresholds) for reducing the application stack size requirement in resource-constrained embedded systems.

[1]  Wang Yi,et al.  On the analysis of EDF-VD scheduled mixed-criticality real-time systems , 2014, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).

[2]  Zonghua Gu,et al.  PT-AMC: Integrating Preemption Thresholds into Mixed-Criticality Scheduling , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[3]  Dakai Zhu,et al.  Service guarantee exploration for mixed-criticality systems , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[4]  Giorgio C. Buttazzo,et al.  HARD REAL-TIME COMPUTING SYSTEMS Predictable Scheduling Algorithms and Applications , 2007 .

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

[6]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[7]  A. Burns.  Towards A More Practical Model for Mixed Criticality Systems , 2013 .

[8]  Wang Yi,et al.  Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

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

[10]  Sanjoy K. Baruah,et al.  Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[11]  Theodore P. Baker,et al.  Stack-based scheduling of realtime processes , 1991, Real-Time Systems.

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

[13]  Wang Yi,et al.  Partitioned mixed-criticality scheduling on multiprocessor platforms , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

[15]  Giuseppe Lipari,et al.  Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[16]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[17]  Zonghua Gu,et al.  HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling , 2014, IEEE Embedded Systems Letters.

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

[19]  Daniel Mossé,et al.  Scheduling algorithms for Elastic Mixed-Criticality tasks in multicore systems , 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

[20]  Alexander G. Dean,et al.  Preemption Threshold Scheduling: Stack Optimality, Enhancements and Analysis , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[21]  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.

[22]  Manas Saksena,et al.  Scheduling fixed-priority tasks with preemption threshold , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

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

[24]  A. Burns,et al.  The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems , 2013 .

[25]  Sanjoy K. Baruah,et al.  Resource Sharing in EDF-Scheduled Systems: A Closer Look , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[26]  Alan Burns,et al.  Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing , 2013, TECS.

[27]  Haibo Zeng,et al.  Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms , 2015, The 20th Asia and South Pacific Design Automation Conference.