Analysis of preemption costs for the stack cache

Amine Naji*, Sahar Abbaspour, Florian Brandner, Mathieu Jan

*Corresponding author for this work

    Research output: Contribution to journalJournal articleResearchpeer-review

    155 Downloads (Pure)


    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 was shown to provide good average-case performance, while remaining 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 preemption, (b) preemption mechanisms for the stack cache exploiting the previous analysis and, finally, (c) an extension of the design that allows to (partially) hide the overhead by virtualizing stack caches.
    Original languageEnglish
    JournalReal-Time Systems
    Issue number3
    Pages (from-to)700–744
    Publication statusPublished - 2018


    • Cache-related preemption delays
    • Program analysis
    • Real-time systems
    • Stack cache


    Dive into the research topics of 'Analysis of preemption costs for the stack cache'. Together they form a unique fingerprint.

    Cite this