DocumentCode :
3259544
Title :
High-level debugging with the aid of an incremental optimizer
Author :
Pollock, Lori L. ; Soffa, Mary Lou
Author_Institution :
Rice Univ., Houston, TX, USA
Volume :
2
fYear :
1988
fDate :
0-0 1988
Firstpage :
524
Lastpage :
532
Abstract :
The design of a high-level debugger that tailors optimizations to conform to desired debugging capabilities is presented. In this scheme, debugging requests are specified before program execution and viewed as changes that inhibit optimizations in ways similar to program edits invalidating optimizations. Debugging requests are honored by detecting and temporarily disabling those optimizations that prohibit correct debugging response. An intermediate program representation keeps a history of all optimizations possible prior to debugging. Any modifications to debugging requests are incrementally incorporated into this representation which is then used to generate optimized code tailored to the new desired debugging capabilities. When debugging requests have little effect on optimizations, code closely related to the final optimized code is debugged. Execution time and debugging accuracy are always comparable to debugging unoptimized code as no additional analysis or optimization history is needed at run time.<>
Keywords :
optimisation; program debugging; debugging accuracy; debugging requests; high-level debugger; incremental optimizer; intermediate program representation; optimization history; program execution; Code standards; Debugging; Design optimization; History; Optimizing compilers; Production; Program processors; Programming profession;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0842-0
Type :
conf
DOI :
10.1109/HICSS.1988.11846
Filename :
11846
Link To Document :
بازگشت