Contributions to Proceedings:

A. Jordan, F. Brandner, M. Schoeberl:
"Static analysis of worst-case stack cache behavior";
in: "Proceedings of the 21st International conference on Real-Time Networks and Systems", ACM, 2013, ISBN: 978-1-4503-2058-0, 55 - 64.

English abstract:
Utilizing a stack cache in a real-time system can aid predictability by avoiding interference that heap memory traffic causes on the data cache. While loads and stores are guaranteed cache hits, explicit operations are responsible for managing the stack cache. The behavior of these operations can be analyzed statically. We present algorithms that derive worst-case bounds on the latency-inducing operations of the stack cache. Their results can be used by a static WCET tool. By breaking the analysis down into subproblems that solve intra-procedural data-flow analysis and path searches on the call-graph, the worst-case bounds can be efficiently yet precisely determined. Our evaluation using the MiBench benchmark suite shows that only 37% and 21% of potential stack cache operations actually store to and load from memory, respectively. Analysis times are modest, on average running between 0.46s and 1.30s per benchmark, depending on the size of the stack cache.

Program Analysis, Stack Cache, Real-Time Systems

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Related Projects:
Project Head Andreas Krall:
Optimale Code Erzeugung für explizit parallele Prozessoren

Created from the Publication Database of the Vienna University of Technology.