Compilation Support for Fine-Grained Execution Time Analysis

This paper discusses the problem of calculating accurate source-level execution time bounds for real-time programs in the presence of code-improving transformations. The description fo-cuses on the compiler's role of collection information about the structure of the program and the execution times of its basic components, and on the problem of maintaining the accuracy of this information in the presence of code-improving transformations.

[1]  Ron Cytron,et al.  Code motion of control structures in high-level languages , 1986, POPL '86.

[2]  Peter P. Puschner,et al.  Developing real-time tasks with predictable timing , 1992, IEEE Software.

[3]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[4]  R. Acevedo,et al.  Research report , 1967, Revista odontologica de Puerto Rico.

[5]  Mark N. Wegman,et al.  Constant propagation with conditional branches , 1985, POPL.

[6]  M. Wegman,et al.  Global value numbers and redundant computations , 1988, POPL '88.

[7]  Alan C. Shaw,et al.  Experiments with a program timing tool based on source-level timing schema , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[8]  Douglas Niehaus.  Program representation and translation for predictable real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[9]  Peter P. Puschner,et al.  Calculating the maximum execution time of real-time programs , 1989, Real-Time Systems.

[10]  Deborah S. Coutant,et al.  DOC: a practical approach to source-level debugging of globally optimized code , 1988, PLDI '88.

[11]  Peter P. Puschner,et al.  A Tool for the Computation of Worst Case Task Execution Times , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[12]  Marion G. Harmon.  Predicting execution time on contemporary computer architectures , 1991 .

[13]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .