Abstract
The design of tailored hardware has proven a successful strategy to reduce the timing analysis overhead for (hard) real-time systems. The stack cache is an example of such a design that has been proven to provide good average-case performance, while being easy to analyze.
So far, however, the analysis of the stack cache was limited to individual tasks, ignoring aspects related to multitasking. A major drawback of the original stack cache design is that, due to its simplicity, it cannot hold the data of multiple tasks at the same time. Consequently, the entire cache content needs to be saved and restored when a task is preempted.
We propose (a) an analysis exploiting the simplicity of the stack cache to bound the overhead induced by task pre-emption and (b) an extension of the design that allows to (partially) hide the overhead by virtualizing stack caches.
So far, however, the analysis of the stack cache was limited to individual tasks, ignoring aspects related to multitasking. A major drawback of the original stack cache design is that, due to its simplicity, it cannot hold the data of multiple tasks at the same time. Consequently, the entire cache content needs to be saved and restored when a task is preempted.
We propose (a) an analysis exploiting the simplicity of the stack cache to bound the overhead induced by task pre-emption and (b) an extension of the design that allows to (partially) hide the overhead by virtualizing stack caches.
Original language | English |
---|---|
Title of host publication | Proceedings of the 23rd International Conference on Real Time and Networks Systems (RTNS 2015) |
Publisher | Association for Computing Machinery |
Publication date | 2015 |
Pages | 119-128 |
ISBN (Print) | 978-1-4503-3591-1 |
DOIs | |
Publication status | Published - 2015 |
Event | 23rd International Conference on Real-Time Networks and Systems - Lille, France Duration: 4 Nov 2015 → 6 Nov 2015 Conference number: 23 |
Conference
Conference | 23rd International Conference on Real-Time Networks and Systems |
---|---|
Number | 23 |
Country/Territory | France |
City | Lille |
Period | 04/11/2015 → 06/11/2015 |
Keywords
- Program Analysis
- Stack Cache
- Cache-Related Preemption Delays
- Real-Time Systems