Loading...
Please wait, while we are loading the content...
Similar Documents
Dynamic Currency Determination in Optimized Programs (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Dhamdhere, D. M. Sankaranarayanan, K. V. |
| Abstract | Compiler optimizations pose many problems to source-level debugging of an optimized program due to reordering, insertion, and deletion of code. One such problem is to determine whether the value of a variable is current at a breakpoint—that is, whether its actual value is the same as its expected value. We use the notion of dynamic currency of a variable in source-level debugging and propose the use of a minimal unrolled graph to reduce the run-time overhead of dynamic currency determination. We prove that the minimal unrolled graph is an adequate basis for performing bit-vector data flow analyses at a breakpoint. This property is used to perform dynamic currency determination. It is also shown to help in recovery of a dynamically noncurrent variable. |
| File Format | |
| Journal | ACM Transactions on Programming Languages and Systems |
| Language | English |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Dynamic Currency Determination Optimized Program Source-level Debugging Minimal Unrolled Graph Dynamic Currency Run-time Overhead Noncurrent Variable Bit-vector Data Flow Analysis Actual Value Adequate Basis Many Problem Compiler Optimization |
| Content Type | Text |
| Resource Type | Article |
