FULLDOC: A Full Reporting Debugger for Optimized Code

As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of source variables are computed in the execution of the optimized code, source level debuggers of optimized code are unable to always report the expected values of source variables at breakpoints.

[1]  Thomas R. Gross,et al.  Source-level debugging of scalar optimized code , 1996, PLDI '96.

[2]  Craig Chambers,et al.  Debugging optimized code with dynamic deoptimization , 1992, PLDI '92.

[3]  Harish Patil,et al.  A new framework for debugging globally optimized code , 1999, PLDI '99.

[4]  Rajiv Gupta.  Debugging Code Reorganized by a Trace Scheduling Compiler , 1990, Struct. Program..

[5]  L.L. Pollock,et al.  High-level debugging with the aid of an incremental optimizer , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[6]  Christopher W. Fraser,et al.  A Retargetable C Compiler: Design and Implementation , 1995 .

[7]  Max Copperman.  Debugging optimized code without being misled , 1994, TOPL.

[8]  Mary Lou Soffa,et al.  Debugging parallelized code using code liberation techniques , 1991, PADD '91.

[9]  Susan L. Graham,et al.  Non-Transparent Debugging of Optimized Code , 1999 .

[10]  Dhananjay M. Dhamdhere,et al.  Dynamic currency determination in optimized programs , 1998, TOPL.

[11]  Steve Simmons,et al.  A new approach to debugging optimized code , 1992, PLDI '92.

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

[13]  Rajiv Gupta,et al.  Comparison checking: an approach to avoid debugging of optimized code , 1999, ESEC/FSE-7.

[14]  P. Zellweger.  An interactive high-level debugger for control-flow optimized programs , 1983, SIGSOFT '83.

[15]  John L. Hennessy,et al.  Symbolic Debugging of Optimized Code , 1982, TOPL.

[16]  ChambersCraig,et al.  Debugging optimized code with dynamic deoptimization , 1992 .

[17]  Roland Wismiiller,et al.  Debugging of globally optimized programs using data flow analysis , 1994 .