Abstract:ABSTRACTDebugging long running multithreaded programs is a very challenging problem when using tracing-based analyses. Since such programs are non-deterministic, reproducing the bug is non-trivial and generating and inspecting traces for long running programs can be prohibitively expensive. We propose a framework in which, to overcome the problem of bug reproducibility, a lightweight logging technique is used to log the events during the original execution. When a bug is encountered, it is reproduced using the generated log and during the replay, a fine-grained tracing technique is employed to collect control-flow/dependence traces that are then used to locate the root cause of the bug. In this paper, we address the key challenges resulting due to tracing, that is, the prohibitively high expense of collecting traces and the significant burden on the user who must examine the large amount of trace information to locate the bug in a long-running multithreaded program. These challenges are addressed through execution reduction that realizes a combination of logging and tracing such that traces collected contain only the execution information from those regions of threads that are relevant to the fault. This approach is highly effective because we observe that for long running multithreaded programs, many threads that execute are irrelevant to the fault. Hence, these threads need not be replayed and traced when trying to reproduce the bug. We develop a novel lightweight scheme that identifies such threads by observing all the interthread data dependences and removes their execution footprint in the replay run. In addition, we identify regions of thread executions that need not be replayed or, if they must be replayed, we determine if they need not be traced. Following execution reduction, the replayed execution takes lesser time to run and it produces a much smaller trace than the original execution. Thus, the cost of collecting traces and the effort of examining the traces to locate the fault are greatly reduced.

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency

A self-adaptive test framework for concurrent programs

Predictive Monitoring with Strong Trace Prefixes

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction.

Sound Concurrent Traces for Online Monitoring Technical Report

Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs

Poster: RIPT - An Efficient Multi-Core Record-Replay System

Trace-Based Temporal Verification for Message-Passing Programs

Automated Dynamic Concurrency Analysis for Go

ORDER: Object Centric Deterministic Replay for Java

Tracing Distributed Algorithms Using Replay Clocks

Analyzing nondeterminacy of message passing programs

JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace.

A Program Instrumentation Framework for Automatic Verification

Ireplayer: In-Situ and Identical Record-and-replay for Multithreaded Applications

Past: Accurate Instrumentation on Fully Optimized Program

Automatic Tracing in Task-Based Runtime Systems

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation

On Performance Debugging of Unnecessary Lock Contentions on Multicore Processors: A Replay-based Approach

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives

Optimistic Shared Memory Dependence Tracing