Symbolic Debugging of Optimized Code
Symbolic Debugging of Optimized Code
复制标题
优化代码的符号调试
DOI：
10.1145/357172.357173
复制
发表时间：
1982
期刊：
影响因子：
--
通讯作者：
J. Hennessy
中科院分区：
文献类型：
--
作者：
J. Hennessy
代码的优化和象征性地调试代码的能力之间的长期存在的冲突进行检查。对局部优化和全局优化对程序变量的影响进行了分类，并给出了表示优化效果的模型。这些模型由算法使用，该算法确定其值与原始程序中的值不对应的变量的子集。还开发了用于将这些变量恢复到其正确值的算法。这些算法的应用，局部优化的经验结果。
The long standing conflict between the optimization of code and the ability to symbolically debug the code is examined. The effects of local and global optimizations on the variables of a program are categorized and models for representing the effect of optimizations are given. These models are used by algorithms which determine the subset of variables whose values do not correspond to those in the original program. Algorithms for restoring these variables to their correct values are also developed. Empirical results from the application of these algorithms to local optimization are presented.