Cache-aware response time analysis for real-time tasks with fixed preemption points

In real-time systems that employ preemptive scheduling and cache architecture, it is essential to account as precisely as possible for cache-related preemption delays in the schedulability analysis, as an imprecise estimation may falsely deem the system unschedulable. In the current state of the art for preemptive scheduling of tasks with fixed preemption points, the existing schedulability analysis considers overly pessimistic estimation of cache-related preemption delay, which eventually leads to overly pessimistic schedulability results. In this paper, we propose a novel response time analysis for real-time tasks with fixed preemption points, accounting for a more precise estimation of cache-related preemption delays. The evaluation shows that the proposed analysis significantly dominates the existing approach by being able to always identify more schedulable tasksets.

[1]  Giorgio C. Buttazzo,et al.  Optimal Selection of Preemption Points to Minimize Preemption Overhead , 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

[2]  Dakshina Dasari,et al.  Communication Centric Design in Complex Automotive Embedded Systems , 2017, ECRTS.

[3]  Jan Carlson,et al.  Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling , 2018, Ada-Europe.

[4]  Robert I. Davis,et al.  Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems , 2011, RTSS.

[5]  Lui Sha,et al.  Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems , 2008, 2008 Real-Time Systems Symposium.

[6]  Johan J. Lukkien,et al.  Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[7]  Sebastian Altmeyer,et al.  A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[8]  Yudong Tan,et al.  Timing analysis for preemptive multi-tasking real-time systems with caches , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[9]  Reinder J. Bril,et al.  Towards best-case response times of real-time tasks under fixed-priority scheduling with deferred preemption , 2005 .

[10]  Sanjoy K. Baruah,et al.  The limited-preemption uniprocessor scheduling of sporadic task systems , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[11]  Frank Mueller,et al.  Tightening the Bounds on Feasible Preemption Points , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[12]  Reinder J. Bril,et al.  Exact worst-case response times of real-time tasks under fixed-priority scheduling , 2004 .

[13]  Sebastian Altmeyer,et al.  Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[14]  Nikil D. Dutt,et al.  Program path analysis to bound cache-related preemption delay in preemptive real-time systems , 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).

[15]  Frank Mueller,et al.  Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

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

[17]  Giorgio C. Buttazzo,et al.  Schedulability analysis of periodic fixed priority systems , 2004, IEEE Transactions on Computers.

[18]  Giorgio C. Buttazzo,et al.  Limited Preemptive Scheduling for Real-Time Systems. A Survey , 2013, IEEE Transactions on Industrial Informatics.

[19]  Robert I. Davis,et al.  Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[20]  Giorgio C. Buttazzo,et al.  Feasibility analysis under fixed priority scheduling with limited preemptions , 2011, Real-Time Systems.

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

[22]  Giorgio C. Buttazzo,et al.  Comparative evaluation of limited preemptive methods , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[23]  Bo Peng,et al.  Explicit Preemption Placement for Real-Time Conditional Code , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[24]  Sebastian Altmeyer,et al.  Resilience analysis: tightening the CRPD bound for set-associative caches , 2010, LCTES '10.

[25]  Jan Carlson,et al.  Tightening the Bounds on Cache-Related Preemption Delay in Fixed Preemption Point Scheduling , 2017, WCET.

[26]  Jan Reineke,et al.  Enabling Compositionality for Multicore Timing Analysis , 2016, RTNS.

[27]  Gerard J. M. Smit,et al.  A mathematical approach towards hardware design , 2010, Dynamically Reconfigurable Architectures.

[28]  Björn B. Brandenburg,et al.  Cache-Related Preemption and Migration Delays : Empirical Approximation and Impact on Schedulability ∗ , 2010 .

[29]  Jan Gustafsson,et al.  The Mälardalen WCET Benchmarks: Past, Present And Future , 2010, WCET.

[30]  Jan Reineke,et al.  Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis , 2018, WCET.

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

[32]  Giorgio C. Buttazzo,et al.  Feasibility Analysis under Fixed Priority Scheduling with Fixed Preemption Points , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[33]  Nathan Fisher,et al.  Minimizing Cache Overhead via Loaded Cache Blocks and Preemption Placement , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[34]  Thomas Nolte,et al.  Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems , 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).

[35]  Andy J. Wellings,et al.  Adding instruction cache effect to schedulability analysis of preemptive real-time systems , 1996, Proceedings Real-Time Technology and Applications.

[36]  Sang Lyul Min,et al.  Analysis of cache-related preemption delay in fixed-priority preemptive scheduling , 1998, 17th IEEE Real-Time Systems Symposium.

[37]  TanYudong,et al.  Timing analysis for preemptive multitasking real-time systems with caches , 2007 .

[38]  Alan Burns,et al.  Preemptive priority-based scheduling: an appropriate engineering approach , 1995 .