A concurrent program debugging environment using real-time replay

Paik, Euihyun; Chung, Young-Sik; Lee, B.S.; Yoo, Chae-Woo

doi:10.1109/icpads.1997.652587

Cited by 4 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The classical approach to debugging sequential programs involves repeatedly stopping the program during execution, examining the state, and then either continuing or re-executing in order to stop at an earlier point in the execution. Approaches to monitoring and debugging have been extended to include concurrent and distributed programs [29], [30], [33], [44], [49], [54]. Although these are important topics, we do not deal with them in this paper.…”

Section: Dynamic Analysismentioning

confidence: 99%

Tool support for testing concurrent java components

Long

Hoffman

Strooper

2003

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Tool support is offered through ConAn (Concurrency Analyser), a tool for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

show abstract

Section: Dynamic Analysismentioning

confidence: 99%

Tool support for testing concurrent java components

Long

Hoffman

Strooper

2003

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…A system of logical clocks is then used in order to capture this relation by assigning time-stamps to all concurrent events in the computation, consistent with the logical dependencies between these events. The computation of timestamps for ordering of concurrent events is studied and improved upon in several works (see, for example, [3,14,21,18,19,1]), where the order of events determined by timestamps is used for replay of programs. Replay of multi-threaded Java programs, which are inherently concurrent, is studied by Choi et al, who suggest methods for efficient recording of concurrent events and control of the Java scheduler in order to replay the recorded execution (see, for example, [5]).…”

Section: Introductionmentioning

confidence: 99%

Cross-Entropy-Based Replay of Concurrent Programs

Chockler

Farchi

Godlin

et al. 2009

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract.Replay is an important technique in program analysis, allowing to reproduce bugs, to track changes, and to repeat executions for better understanding of the results. Unfortunately, since re-executing a concurrent program does not necessarily produce the same ordering of events, replay of such programs becomes a difficult task. The most common approach to replay of concurrent programs is based on analyzing the logical dependencies among concurrent events and requires a complete recording of the execution we are trying to replay as well as a complete control over the program's scheduler. In realistic settings, we usually have only a partial recording of the execution and only partial control over the scheduling decisions, thus such an analysis is often impossible. In this paper, we present an approach for replay in the presence of partial information and partial control. Our approach is based on a novel application of the cross-entropy method, and it does not require any logical analysis of dependencies among concurrent events. Roughly speaking, given a partial recording R of an execution, we define a performance function on executions, which reaches its maximum on R (or any other execution that coincides with R on the recorded events). Then, the program is executed many times in iterations, on each iteration adjusting the probabilistic scheduling decisions so that the performance function is maximized. Our method is also applicable to debugging of concurrent programs, in which the program is changed before it replayed in order to increase the information from its execution. We implemented our replay method on concurrent Java programs and we show that it consistently achieves a close replay in presence of incomplete information and incomplete control, as well as when the program is changed before it is replayed.

show abstract

Implementation of DDARC: software architecture for debugging distributed programs

Rai

Sampath

Srivathsa

Proceedings ACS/IEEE International Conference on Computer Systems and Applications

View full text Add to dashboard Cite

Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification and testing. The task of debugging depends on the environment, the language, the operating system: the problem: and more interestingly even the individual program. In this paper, we present a detailed implementation of software architecture for debugging distributed programs. The debugger based on the proposed architecture supports debugging based on a mechanism for controlling multiple processes, presenting the process states, grouping of processes for ease in controlling the distributed programs developed on PVM based computing paradigm.

show abstract

A concurrent program debugging environment using real-time replay

Cited by 4 publications

References 3 publications

Tool support for testing concurrent java components

Tool support for testing concurrent java components

Cross-Entropy-Based Replay of Concurrent Programs

Implementation of DDARC: software architecture for debugging distributed programs

Contact Info

Product

Resources

About