Detecting Nondeterminacy in Parallel Programs

Authors:
Perry A. Emrath;Sanjoy Ghosh;David A. Padua
Affiliations:
-;-;-
Venue:
IEEE Software
Year:
1992

Citing 2
Cited 12

On-the-fly detection of access anomalies

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Event synchronization analysis for debugging parallel programs

Proceedings of the 1989 ACM/IEEE conference on Supercomputing

Nondeterminancy: testing and debugging in message passing parallel programs

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A bibliography of parallel debuggers, 1993 edition

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
The privatizing DOALL test: a run-time technique for DOALL loop identification and array privatization

ICS '94 Proceedings of the 8th international conference on Supercomputing
Testing races in parallel programs with an OtOt strategy

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Debugging race conditions in message-passing programs

SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
KDB: a multi-threaded debugger for multi-threaded applications

SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Scalable on-the-fly detection of the first races in parallel programs

ICS '98 Proceedings of the 12th international conference on Supercomputing
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization

IEEE Transactions on Parallel and Distributed Systems
Basic compiler algorithms for parallel programs

Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Scenario-Based Hypersequential Programming

International Journal of Parallel Programming - Special issue on international symposium on high performance computing 1997, part I
A Constant Propagation Algorithm for Explicitly Parallel Programs

International Journal of Parallel Programming
Efficient event generation for detecting races

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Methods and tools for detecting nondeterminacy in programs for shared-memory multiprocessors are discussed. The approach described divides the debugging chore into two phases. The first phase uses tools that automatically detect nondeterminacy to debug synchronization errors, assuming it is decided at the outset to make the parallel program determinate. At the end of this phase, it is known that the program is determinate, that timing differences will not affect results, and the debugging sessions are repeatable. In the second phase, an interactive break-point debugger is used to find arithmetic and logical errors. The proposed tools fall into two groups: those that statically analyze the source program and those that analyze an execution trace of the program.