Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Programming parallel processors
Programming parallel processors
Computer simulation using particles
Computer simulation using particles
A distributed debugger for Amoeba
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Event-based debugging of object/action programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The mach exception handling facility
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
IGOR: a system for program debugging via reversible execution
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Supporting reverse execution for parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
High-level debugging in parasight
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Computer Networks
An automated program testing methodology and its implementation
ICSE '81 Proceedings of the 5th international conference on Software engineering
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Rabbit: A Compiler for Scheme
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
Parallel multi-window multimethod two dimensional device analysis
Parallel multi-window multimethod two dimensional device analysis
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
| Hi-index | 0.00 |
This paper presents a new high level debugging tool, HDB, for debugging large scientific programs running on a moderate number of processors. The unique feature of HDB is that checksums are used to compress arrays and groups of variables without losing meaningful information for debugging. Using checksums makes it possible to use invariance assertions to detect misbehavior of a program at a place near the source of the error. Tracing the checksums allows the tracing of a large amount of data with a small amount of output. Comparing the traced checksums of a program and the traced checksums of its reference copy can rapidly reduce the potential error sources to a small number of subroutines. These subroutines can then be directly probed for further investigation. If desired, a debugger providing break points and single stepping source code can be used in conjunction with HDB. Examples show that using the HDB method can rapidly uncover bugs hidden in both parallel and sequential programs.