Advertisement

Transformation of Meta-Information by Abstract Co-interpretation

  • Raimund Kirner
  • Peter Puschner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2826)

Abstract

In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further properties of the specific data. The construction of a correct transformation function for the meta-information can be quite complicated in case of complex data transformations or data structures. A special approximation method is presented that works with data abstraction.

Performing worst-case execution time (WCET) analysis for optimized code is described as a concrete example for the application of this approach. A transformation framework is constructed to correctly update the flow information in case of code transformations.

Keywords

Transformation Function Abstract Interpretation Program Transformation Abstract Domain Galois Connection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238–252. ACM Press, New York (1977)CrossRefGoogle Scholar
  2. 2.
    Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Conference Record of the 6th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269–282 (1979)Google Scholar
  3. 3.
    Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Conference Record of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pp. 178–190. ACM Press, New York (2002)Google Scholar
  4. 4.
    Engblom, J., Ermedahl, A., Altenbernd, P.: Facilitating Worst- Case Execution Time Analysis for Optimized Code. In: Proc. 10th Euromicro Real-Time Workshop, Berlin, Germany (June 1998)Google Scholar
  5. 5.
    Gustafsson, J.: Analysing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Uppsala University, Uppsala, Sweden (May 2000)Google Scholar
  6. 6.
    Kirner, R.: Extending Optimising Compilation to Support Worst-Case Execution Time Analysis. PhD thesis, Technische UniversitätWien, Treitlstr. 3/3/182- 1, 1040 Vienna, Austria (May 2003)Google Scholar
  7. 7.
    Kirner, R., Puschner, P.: Transformation of Path Information for WCET Analysis during Compilation. In: Proc. 13th IEEE Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001, pp. 29–36. Technical University of Delft, Delft (2001)CrossRefGoogle Scholar
  8. 8.
    Kirner, R., Puschner, P.: Timing analysis of optimised code. In: Proc. 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico (January 2003)Google Scholar
  9. 9.
    Muchnick, S.S.: Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, Inc., San Francisco (1997). ISBN: 1-55860-320-4Google Scholar
  10. 10.
    Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999). ISBN: 3-540-65410-0zbMATHGoogle Scholar
  11. 11.
    Puschner, P., Burns, A.: A Review of Worst-Case Execution-Time Analysis. Journal of Real-Time Systems 18(2/3), 115–128 (2000)CrossRefGoogle Scholar
  12. 12.
    Puschner, P., Schedl, A.V.: Computing Maximum Task Execution Times A Graph-Based Approach. The Journal of Real-Time Systems 13, 67–91 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Raimund Kirner
    • 1
  • Peter Puschner
    • 1
  1. 1.Institut für Technische InformatikTechnische Universität WienWienAustria

Personalised recommendations