Facilitating worst-case execution times analysis for optimized code

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1998, Pages 146-153

  Engblom, Jakob ^a   Ermedahl, Andreas ^a   Altenbernd, Peter ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b C LAB   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILER TRANSFORMATIONS; COTRANSFORMATION; EXECUTION INFORMATIONS; KEEP TRACK OF; OPTIMIZING COMPILERS; PROGRAM EXECUTION; WORST-CASE EXECUTION TIME; WORST-CASE EXECUTION TIME ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES; OPTIMIZATION; REAL TIME SYSTEMS;

PROGRAM COMPILERS;

EID: 84884699143     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1998.685079     Document Type: Conference Paper

References (23)

1. A.-R. Adl-Tabatabai. Source-Level Debugging of Global Optimized Code. PhD thesis, School of Computer Science, Carnegie Mellon University, June 1996.
2. P. Altenbernd. On the False Path Problem in Hard Real-Time Programs. In Proceedings 8th Euromicro Workshop on Real Time Systems, 1996.
3. R. Arnold, F. Müller, D. Whalley, and M. Harmon. Bounding worst-case instruction cache performance. In IEEE Real-Time Systems Symposium, pages 172-181, Dec. 1994.
4. M. R. Boyd and D. B. Whalley. Isolation and analysis of optimization errors. In PLDI 1993, volume 28 of ACM SIGPLAN Notices, pages 26-35. ACM SIGPLAN, ACM Press, June 1993.
5. R. Chapman. Worst-case timing analysis via finding longest paths in SPARK Ada basic-path graphs. Technical Report YCS-94-246, Department of Computer Science, York University, Oct. 1994.
6. T. M. Chung and H. G. Dietz. Language constructs and transformation for hard real-time systems. In Proceedings of the Second ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, June 1995.
7. M. Copperman. Debugging optimized code without being misled. Technical Report UCSC-CRL-92-01, University of California, Santa Cruz, May 1992.
8. J. Engblom. Worst-case execution time analysis for optimized code. Master's thesis, Department of Computer Systems, Uppsala University, Sept. 1997. DoCS MSc Thesis 97/94.
9. A. Ermedahl and J. Gustafsson. Deriving annotations for tight calculation of execution time. In Proceedings of EuroPar 97, LNCS (Lecture Notes in Computer Science) 1300. Springer Verlag, Aug. 1997.
10. C. Forsyth. Implementation of the worst-case execution analyser. Technical Report Hard Real-Time Operating System Kernel Study Task 8, Volume E, York Software Engineering Ltd, July 1992.
11. J. Gustafsson and A. Ermedahl. Automatic derivation of path and loop annotations in object-oriented real-time programs. In Joint Workshop on Parallel and Distributed Real-Time Systems, Geneva, Switzerland, Apr. 1997.
12. M. G. Harmon, T. P. Baker, and D. B. Whalley. A retargetable technique for predicting execution time of code segments. Real-Time Systems, pages 159-182, Sept. 1994.
13. C. A. Healy, D. B. Whalley, and M. G. Harmon. Integrating the timing analysis of pipelining and instruction caching. In Proceedings of the IEEE Real-Time Systems Symposium, Dec. 1995.
14. A. A. Kountouris. Safe and efficient elimination of infeasible execution paths in WCET estimation. In Proceedings of RTCSA'96. IEEE, IEEE Computer Society Press, 1996.
15. Y.-T. S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In Proceedings of the 32th Design Automation Conference, pages 456-461, 1995.
16. Y.-T. S. Li, S. Malik, and A. Wolfe. Cache modelling for real-time software: Beyond direct mapped instruction caches. In Proceedings of the 17th IEEE Real-Time Systems Symposium, pages 254-263. IEEE Computer Society Press, Dec. 1996.
17. S.-S. Lim, Y. H. Bae, C. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, and C. S. Ki. An accurate worst-case timing analysis for risc processors. IEEE Transactions on Software Engineering, 21(7):593-604, July 1995.
18. G. Ottosson and M. Sjödin. Worst-Case Execution Time Analysis for Modern Hardware Architectures. In Proc. SIGPLAN 1997 Workshop on Languages, Compilers and Tools for Real-Time Systems, June 1997. Also avaible as ASTEC Report 97/01 from the Deparment of Computer Systems, Uppsala University.
19. C. Y. Park. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, 5(1):31-62, Mar. 1993.
20. P. Puschner and A. Schedl. Computing maximum task execution times with linear programming techniques. Technical report, Technische Universität, Institut für Technische Informatik, Wien, Apr. 1995.
21. F. Stappert. Predicting pipelining and caching behaviour of hard real-time programs. In EUROMICRO Workshop on Real-Time Systems, June 1997.
22. A. Vrchoticky. Compilation support for fine-grained execution analysis. In ACM Sigplan Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994.
23. R. White, F. Müller, C. Healy, D. Whalley, and M. Harmon. Timing analysis for data caches and set-associative caches. In Proceedings of the IEEE Real-Time Technology and Applications Symposium, pages 192-202, June 1997.