Record Details

Dynamic currency determination in optimized programs

DSpace at IIT Bombay

View Archive Info
 
 
Field 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