Article

Relative debugging and its application to the development of large numerical models

Authors:

David Abramson,

John Michalakes,

Rok SosicAuthors Info & Claims

Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing

Pages 51 - es

https://doi.org/10.1145/224170.224350

Published: 08 December 1995 Publication History

Abstract

Because large scientific codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this paper, we describe a new technique called relative debugging that addresses this problem by automating the process of comparing a modified code against a correct reference code. We examine the utility of the relative debugging technique by applying a relative debugger called Guard to a range of debugging problems in a large atmospheric circulation model. Our experience confirms the effectiveness of the approach. Using Guard, we are able to validate a new sequential version of the atmospheric model, and to identify the source of a significant discrepancy in a parallel version in a short period of time.

References

[1]

R. Anthes. 1986 summary of workshop on the NCAR Community Climate/Forecast models. Bull. Amer. Meteor. Soc., 67:194-198, 1986.

[2]

Z. Aral, I. Gertner, and G. Schaffer. Efficient debugging primitives for multiprocessors. In Proc. of the 3nd International Conference on Architectural Support for Programming Languages and Operating Systems, pages 87-95. ACM, 1989.

Digital Library

[3]

J. Brown and K. Campana. An economical time-differencing system for numerical weather prediction. Mon. Wea. Rev., (106):1125-1136, 1978.

[4]

J. Dudhia. A nonhydrostatic version of the Penn State/NCAR mesoscale model: Validation tests and simulation of an Atlantic cyclone and cold front. Technical report, National Center for Atmospheric Research, 1992.

[5]

I. Foster and J. Michalakes. MPMM: A Massively Parallel Mesoscale Model. In Geered-R Hoffmann and Tuomo Kauranne, editors, Parallel Supercomputing in Atmospheric Science, pages 354-363. World Scientific, River Edge, NJ 07661, 1993.

[6]

N. Galbreath, W. Gropp, and D. Levine. Applications-driven parallel I/O. In Proceedings Supercomputing-93, Portland, Oregon, pages 462-471. IEEE, 1993.

Digital Library

[7]

Georg A. Grell, Jimmy Dudhia, and David R. Stauffer. A Description of the Fifth-Generation Penn State/NCAR Mesoscale Model (MM5). Technical Report NCAR/TN-398+STR, National Center for Atmospheric Research, Boulder, Colorado, June 1994.

[8]

J. H. Griffin, H. J. Wasserman, and L. P. McGavran. A debugger for parallel processes. Software-Practice and Experience, 18(12):1179-1190, December 1988.

Digital Library

[9]

C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, December 1989.

Digital Library

[10]

J. Michalakes, T. Canfield, R. Nanjundiah, S. Hammond, and G. Grell. Parallel Implementation, Validation, and Performance of MM5. In Parallel Supercomputing in Atmospheric Science. World Scientific, River Edge, NJ 07661, 1994.

[11]

T. G. Moher. PROVIDE: A process visualization and debugging environment. IEEE Transactions on Software Engineering, 14(6):849-857, June 1988.

Digital Library

[12]

R. A. Olsson, R. H. Crawford, and W. W. Ho. A dataflow approach to event-based debugging. Software-Practice and Experience, 21(2):209-229, February 1991.

Digital Library

[13]

E. Satterthwaite. Debugging tools for high level languages. Software-Practice and Experience, 2(3):197-217, July-September 1972.

[14]

T. Shimomura and S. Isoda. Linked-list visualization for debugging. IEEE Software, 8(3):44-51, May 1991.

Digital Library

[15]

R. Sosic. Design and implementation of Dynascope, a directing platform for compiled programs. Computing Systems, to appear, 1995.

[16]

R. Sosic. A procedural interface for program directing. Software-Practice and Experience, 25(7):767-787, 1995.

Digital Library

[17]

P. T. Zellweger. Interactive source-level debugging of optimized programs. Technical Report CSL-84-5, Xerox PARC, 1984.

Cited By

Wong WGao RLi YAbreu RWotawa FLi D(2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
https://doi.org/10.1002/9781119880929.ch1
Jakobs MWiesner M(2022)PEQtest: Testing Functional EquivalenceFundamental Approaches to Software Engineering10.1007/978-3-030-99429-7_11(184-204)Online publication date: 29-Mar-2022
https://doi.org/10.1007/978-3-030-99429-7_11
Dinh MJin CAbramson DJeffery C(2016)Runtime verification of scientific computingProceedings of the 5th Workshop on Extreme-Scale Programming Tools10.5555/3018823.3018827(26-33)Online publication date: 13-Nov-2016
https://dl.acm.org/doi/10.5555/3018823.3018827
Show More Cited By

Index Terms

Relative debugging and its application to the development of large numerical models

Recommendations

Relative Debugging of Automatically Parallelized Programs

We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the computations ...
Relative Debugging for Data-Parallel Programs: A ZPL Case Study

Relative debugging is a powerful paradigm that makes it possible to locate errors in programs that occur as a result of porting or rewriting the code. Developed initially in 1994, the technique has been used widely in a range of case studies. However, ...
Transparent mutable replay for multicore debugging and patch validation
ASPLOS '13

We present Dora, a mutable record-replay system which allows a recorded execution of an application to be replayed with a modified version of the application. This feature, not available in previous record-replay systems, enables powerful new ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing

December 1995

875 pages

ISBN:0897918169

DOI:10.1145/224170

Chairman:
Sid Karin
San Diego Supercomputer Center, San Diego, CA

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 December 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SC '95

Sponsor:

SIGARCH
IEEE-CS

SC '95: International Conference for High Performance Computing, Networking, Storage and Analysis

December 4 - 8, 1995

California, San Diego, USA

Acceptance Rates

Supercomputing '95 Paper Acceptance Rate 69 of 241 submissions, 29%;

Overall Acceptance Rate 1,516 of 6,373 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
204
Total Downloads

Downloads (Last 12 months)41
Downloads (Last 6 weeks)5

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wong WGao RLi YAbreu RWotawa FLi D(2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
https://doi.org/10.1002/9781119880929.ch1
Jakobs MWiesner M(2022)PEQtest: Testing Functional EquivalenceFundamental Approaches to Software Engineering10.1007/978-3-030-99429-7_11(184-204)Online publication date: 29-Mar-2022
https://doi.org/10.1007/978-3-030-99429-7_11
Dinh MJin CAbramson DJeffery C(2016)Runtime verification of scientific computingProceedings of the 5th Workshop on Extreme-Scale Programming Tools10.5555/3018823.3018827(26-33)Online publication date: 13-Nov-2016
https://dl.acm.org/doi/10.5555/3018823.3018827
Wong WGao RLi YAbreu RWotawa F(2016)A Survey on Software Fault LocalizationIEEE Transactions on Software Engineering10.1109/TSE.2016.252136842:8(707-740)Online publication date: 1-Aug-2016
https://dl.acm.org/doi/10.1109/TSE.2016.2521368
DeRose LGontarek AVose AMoench RAbramson DDinh MJin CKern JVetter J(2015)Relative debugging for a highly parallel hybrid computer systemProceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis10.1145/2807591.2807605(1-12)Online publication date: 15-Nov-2015
https://dl.acm.org/doi/10.1145/2807591.2807605
Abramson DDinh MKurniawan DMoench BDeRose LHariri SKeahey K(2010)Data centric highly parallel debuggingProceedings of the 19th ACM International Symposium on High Performance Distributed Computing10.1145/1851476.1851491(119-129)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1145/1851476.1851491
Abramson DChu CKurniawan DSearle A(2009)Relative debugging in an integrated development environmentSoftware: Practice and Experience10.1002/spe.93239:14(1157-1183)Online publication date: 7-Jul-2009
https://doi.org/10.1002/spe.932
Abramson D(2006)Applications development for the computational gridProceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development10.1007/11610113_1(1-12)Online publication date: 16-Jan-2006
https://dl.acm.org/doi/10.1007/11610113_1
Searle AGough JAbramson D(2003)Automating relative debuggingProceedings of the 18th IEEE International Conference on Automated Software Engineering10.1109/ASE.2003.1240337(356-359)Online publication date: 6-Oct-2003
https://dl.acm.org/doi/10.1109/ASE.2003.1240337
Abramson DWatson G(2003)Debugging scientific applications in the .NET FrameworkFuture Generation Computer Systems10.1016/S0167-739X(02)00176-019:5(665-678)Online publication date: 1-Jul-2003
https://dl.acm.org/doi/10.1016/S0167-739X%2802%2900176-0
Show More Cited By

View Options

View options

HTML Format

View this article in HTML Format.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents