Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability is highly undesired for real-time systems. The Worst-Case Execution Time (WCET) of a software running on an embedded processor is one of the most important metrics during real-time system design. The WCET depends to a large extent on the total amount of time spent for memory accesses. In the presence of caches, WCET analysis must always assume a memory access to be a cache miss if it can not be guaranteed that it is a hit. Hence, WCETs for cached systems are imprecise due to the overestimation caused by the caches. Modern caches can be controlled by software. The software can load parts of its code or of its data into the cache and lock the cache afterwards. Cache locking prevents the cache's contents from being flushed by deactivating the replacement. A locked cache is highly predictable and leads to very precise WCET estimates, because the uncertainty caused by the replacement strategy is eliminated completely. This paper presents techniques exploring the lockdown of instruction caches at compile-time to minimize WCETs. In contrast to the current state of the art in the area of cache locking, our techniques explicitly take the worst-case execution path into account during each step of the optimization procedure. This way, we can make sure that always those parts of the code are locked in the I-cache that lead to the highest WCET reduction. The results demonstrate that WCET reductions from 54% up to 73% can be achieved with an acceptable amount of CPU seconds required for the optimization and WCET analyses themselves.
[1]
John Beidler,et al.
Data Structures and Algorithms
,
1996,
Wiley Encyclopedia of Computer Science and Engineering.
[2]
Isabelle Puaut,et al.
Low-complexity algorithms for static cache locking in multitasking hard real-time systems
,
2002,
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
[3]
Björn Lisper,et al.
Data cache locking for higher program predictability
,
2003,
SIGMETRICS '03.
[4]
P. Marwedel,et al.
Influence of Onchip Scratchpad Memories on WCET prediction ∗
,
2004
.
[5]
José V. Busquets-Mataix,et al.
Cache contents selection for statically-locked instruction caches: an algorithm comparison
,
2005,
17th Euromicro Conference on Real-Time Systems (ECRTS'05).
[6]
Peter Marwedel,et al.
Influence of memory hierarchies on predictability for time constrained embedded software
,
2005,
Design, Automation and Test in Europe.
[7]
Henrik Theiling,et al.
Design of a WCET-Aware C Compiler
,
2006,
2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia.
[8]
Isabelle Puaut,et al.
WCET-centric software-controlled instruction caches for hard real-time systems
,
2006,
18th Euromicro Conference on Real-Time Systems (ECRTS'06).