Unified Cache Modeling for WCET Analysis and Layout Optimizations
- 1 December 2009
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Presence of instruction and data caches in processors create lack of predictability in execution timings. Hard real-time systems require absolute guarantees about execution time, and hence the timing effects of caches need to be modeled while estimating the worst-case execution time (WCET) of a program. In this work, we consider the modeling of a generic cache architecture which is most common in commercial processors - separate instruction and data caches in the first level and a unified cache in the second level (which houses code as well as data). Our modeling is used to develop a timing analysis method built on top of the Chronos WCET analysis tool. Moreover we use our unified cache modeling to develop WCET-driven code and data layout optimizations - where the code and data layout are optimized simultaneously for reducing WCET.Keywords
This publication has 10 references indexed in Scilit:
- WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction CachesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- WCET-driven Cache-based Procedure Positioning OptimizationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Chronos: A timing analyzer for embedded softwareScience of Computer Programming, 2007
- WCET estimation for executables in the presence of data cachesPublished by Association for Computing Machinery (ACM) ,2007
- Improving WCET by applying a WC code-positioning optimizationACM Transactions on Architecture and Code Optimization, 2005
- Timing analysis for data caches and set-associative cachesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fast and Precise WCET Prediction by Separated Cache and Path AnalysesReal-Time Systems, 2000
- Performance estimation of embedded software with instruction cache modelingACM Transactions on Design Automation of Electronic Systems, 1999
- Experiments with a program timing tool based on source-level timing schemaComputer, 1991
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989