Dynamic currency determination in optimized programs
DSpace at IIT Bombay
View Archive InfoField | Value | |
Title |
Dynamic currency determination in optimized programs
|
|
Creator |
DHAMDHERE, DM
SANKARANARAYANAN, KV |
|
Subject |
data-flow analysis
code code instrumentation code optimization compiler debugging optimized code dynamic currency determination dynamic slicing minimal unrolled graph source-level debugging |
|
Description |
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.
|
|
Publisher |
ASSOC COMPUTING MACHINERY
|
|
Date |
2011-07-18T20:29:20Z
2011-12-26T12:50:49Z 2011-12-27T05:36:56Z 2011-07-18T20:29:20Z 2011-12-26T12:50:49Z 2011-12-27T05:36:56Z 1998 |
|
Type |
Article
|
|
Identifier |
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 20(6), 1111-1130
0164-0925 http://dx.doi.org/10.1145/295656.295657 http://dspace.library.iitb.ac.in/xmlui/handle/10054/5055 http://hdl.handle.net/10054/5055 |
|
Language |
en
|
|