Loading...
Please wait, while we are loading the content...
Similar Documents
DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing
| Content Provider | CiteSeerX |
|---|---|
| Abstract | We present a collection of tools, DrDebug, that greatly advances the state-of-the-art of cyclic, interactive debugging of multi-threaded programs based upon the record and replay paradigm. The features of DrDebug significantly increase the efficiency of debugging by tailoring the scope of replay to a buggy execution region or an execution slice of a buggy region. In addition to supporting traditional debugger commands, DrDebug provides commands for recording, replaying, and dynamic slicing with several novel features. First, upon a user’s request, a highly precise dynamic slice is computed that can then be browsed by the user by navigating the dynamic dependence graph with the assistance of our graphical user interface. Second, a dynamic slice of interest to the user can be used to compute an execution slice whose replay can then be carried out. Due to narrow scope, the replay can be performed efficiently as execution of code segments that do not belong to the execution slice is skipped. We also provide the capability of allowing the user to step from the execution of one statement in the slice to the next while examining the values of variables. To the best of our knowledge, this capability cannot be found in any other slicing tool. We have also integrated DrDebug with the Maple tool that exposes bugs and records buggy executions for replay. Our experiments demonstrate DrDebug’s practicality. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | User Request Buggy Region Execution Slice Multi-threaded Program Slicing Tool Dynamic Dependence Graph Deterministic Replay Graphical User Interface Maple Tool Precise Dynamic Slice Buggy Execution Region Interactive Debugging Capability Cannot Cyclic Debugging Dynamic Slice Dynamic Slicing Narrow Scope Traditional Debugger Command Drdebug Practicality Code Segment Several Novel Feature |
| Content Type | Text |