Scope-aware data cache analysis for WCET estimation

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 2011, Pages 203-212

  Huynh, Bach Khoa ^a   Ju, Lei ^b   Roychoudhury, Abhik ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b SHANDONG UNIVERSITY   (China)

Author keywords

abstract interpretation; cache memories; data cache behavior prediction; program analysis; real time applications; worst case execution time

Indexed keywords

ABSTRACT INTERPRETATIONS; DATA CACHE BEHAVIOR PREDICTION; PROGRAM ANALYSIS; REAL-TIME APPLICATION; WORST-CASE EXECUTION TIME;

ABSTRACTING; EMBEDDED SYSTEMS; ESTIMATION;

CACHE MEMORY;

EID: 79957612742     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2011.27     Document Type: Conference Paper

References (19)

1. WCET benchmarks. http://www.mrtc.mdh.se/projects/wcet/benchmarks.html.
2. C. Ballabriga and H. Casse. Improving the First-Miss Computation in Set-Associative Instruction Caches. In ECRTS, 2008.
3. D. Burger and T.M. Austin. The SimpleScalar tool set, version 2.0. ACM SIGARCH Computer Architecture News, 25(3), 1997.
4. S. Chatterjee, E. Parker, P. J. Hanlon, and A. R. Lebeck. Exact analysis of the cache behavior of nested loops. In PLDI, 2001.
5. S. Chattopadhyay and A. Roychoudhury. Unified cache modeling for wcet analysis and layout optimizations. In RTSS, 2009.
6. Jan Reineke et al., Timing predictability of cache replacement policies. Real-Time Systems 2007
7. J. Reineke et al. A definition and classification of timing anomalies. In In WCET Workshop, 2006.
8. C. Ferdinand. Cache behavior prediction for real-time systems. PhD thesis, Saarland University, 1999.
9. C. Ferdinand and R. Wilhelm. On predicting data cache behavior for real-time systems. In LCTES, 1998.
10. S. Ghosh, M. Martonosi, and S. Malik. Cache miss equations: a compiler framework for analyzing and tuning memory behavior. ACM Transactions on Programming Languages and Systems, 21(4):703-746, 1999. (Pubitemid 129541517)
11. B. K. Huynh, L. Ju, and A. Roychoudhury. Scope-aware Data Cache Analysis for WCET Estimation. Technical Report TR20/10, National University of Singapore, 2010, http://www.comp.nus.edu.sg/~abhik/pdf/TR20-10.pdf.
12. B. Lesage, D. Hardy, and I. Puaut. WCET analysis of multi-level set-associative data caches. In WCET Workshop, 2009.
13. X. Li et al. Chronos: A timing analyzer for embedded software. Science of Computer Programming, 69(1-3):56-67, 2007, http://www.comp.nus.edu.sg/~rpembed/ chronos. (Pubitemid 350087241)
14. X. Li, A. Roychoudhury, and T. Mitra. Modeling Out-of-Order Processors for Software Timing Analysis. In RTSS, 2004.
15. H. Ramaprasad and F. Mueller. Bounding worst-case data cache behavior by analytically deriving cache reference patterns. In RTAS, 2005.
16. R. Sen and Y.N. Srikant. WCET estimation for executables in the presence of data caches. In EMSOFT, 2007.
17. J. Staschulat and R. Ernst. Worst case timing analysis of input dependent data cache behavior. In ECRTS, 2006.
18. H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Real-Time Systems, 18(2):157-179, 2000.
19. R. T. White et al. Timing analysis for data and wrap-around fill caches. Real-Time System, 17(2-3):209-233, 1999.