research-article

Debugging Multithreaded Programs with MPD

Authors:

M. Krish Ponamgi,

Wenwey Hseush,

Gail E. KaiserAuthors Info & Claims

IEEE Software, Volume 8, Issue 3

Pages 37 - 43

https://doi.org/10.1109/52.88942

Published: 01 May 1991 Publication History

Publisher Site

Abstract

MPD, a multiprocessor debugger, is described. In MPD, users specify sequential or parallel event (breakpoint) expressions and associated actions; MPD automatically generates code to recognize these patterns of events and invokes the corresponding actions when the event expressions are satisfied during the program execution. The richness of the expression-specification language gives users a great deal of precision in formulating queries, obviating tedious searches through long traces of multithreaded software. Implementation issues are discussed.

References

[1]

1. R.H. Campbell and A.N. Habermann, "The Specifications of Process Synchronization by Path Expressions," in Operating Systems, G. Goos and J. Hartmanis, eds., Springer-Verlag, Berlin, 1974, pp. 89-102.

Crossref

Google Scholar

[2]

2. B. Bruegge and P. Hibbard, "Generalized Path Expressions: A High-Level Debugging Mechanism, J. Systems and Software, Dec. 1983, pp. 265-276.

Google Scholar

[3]

3. D. Caswell and D. Black, "Implementing a Mach Debugger for Multithreaded Applications," Usenix Conf. Proc., Usenix, Berkeley, Calif., 1990, pp. 25-39.

Google Scholar

[4]

4. E.C. Cooper and R.P. Draves, "C Threads," Tech. Report CMU-CS-88- 154, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, June 1988.

Google Scholar

[5]

5. A. Garcia, D.J. Foster, and R.F. Freitas, "The Advanced Computing Environment Multiprocessor Workstation," Tech. Report RC14491, IBM T.J. Watson Research Center, Yorktown Heights, N.Y., Feb. 1989.

Google Scholar

[6]

6. W. Hseush and G.E. Kaiser, "Data-Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language," ACM SIGPlan Notices, Jan. 1989, pp. 236-246.

Crossref

Google Scholar

[7]

7. W. Hseush and G.E. Kaiser, "Modeling Concurrency in Parallel Debugging," ACM SIGPlan Notices, March 1990, pp. 11-20.

Digital Library

Google Scholar

[8]

8. P. Bates, "Distributed Debugging Tools for Heterogeneous Distributed Systems," Proc. Eighth Int'l Conf. Distributed Computing Systems, CS Press, Los Alamitos, Calif., 1988, pp. 308-315.

Google Scholar

[9]

9. C.E. McDowell and D.P. Helmbold, "Debugging Concurrent Programs," ACM Computing Surveys, Dec. 1989, pp. 593-622.

Digital Library

Google Scholar

Cited By

View all

(2011)Detecting and Coordinating Complex Patterns of Distributed Events with KETALElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2952802.2952982281:C(127-141)Online publication date: 29-Dec-2011
https://dl.acm.org/doi/10.5555/2952802.2952982
Navarro LDouence RSüdholt MJoosen WBerbers Y(2008)Debugging and testing middleware with aspect-based control-flow and causal patternsProceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware10.5555/1496950.1496962(183-202)Online publication date: 2-Dec-2008
https://dl.acm.org/doi/10.5555/1496950.1496962
Schulz DMueller F(2000)A thread-aware debugger with an open interfaceACM SIGSOFT Software Engineering Notes10.1145/347636.34914125:5(201-211)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347636.349141
Show More Cited By

Debugging Multithreaded Programs with MPD
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

Tools-supported HPF and MPI parallelization of the NAS parallel benchmarks
FRONTIERS '96: Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation

High Performance Fortran (HPF) compilers and communication libraries with the standardized Message Passing Interface (MPI) are becoming widely available, easing the development of portable parallel applications. The Annai tool environment supports ...
Executing multithreaded programs efficiently
Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution

In pt.I, we presented a binding environment for the ANDand OR parallel execution of logic programs. This environment was instrumental inrendering a compiler for the AND and OR parallel execution of logic programs machineindependent. In this paper, we ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Software Volume 8, Issue 3

May 1991

97 pages

ISSN:0740-7459

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 May 1991

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

(2011)Detecting and Coordinating Complex Patterns of Distributed Events with KETALElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2952802.2952982281:C(127-141)Online publication date: 29-Dec-2011
https://dl.acm.org/doi/10.5555/2952802.2952982
Navarro LDouence RSüdholt MJoosen WBerbers Y(2008)Debugging and testing middleware with aspect-based control-flow and causal patternsProceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware10.5555/1496950.1496962(183-202)Online publication date: 2-Dec-2008
https://dl.acm.org/doi/10.5555/1496950.1496962
Schulz DMueller F(2000)A thread-aware debugger with an open interfaceACM SIGSOFT Software Engineering Notes10.1145/347636.34914125:5(201-211)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347636.349141
Schulz DMueller FRichardson D(2000)A thread-aware debugger with an open interfaceProceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis10.1145/347324.349141(201-211)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347324.349141
Schwarz RMattern F(1994)Detecting causal relationships in distributed computationsDistributed Computing10.1007/BF022778597:3(149-174)Online publication date: 1-Mar-1994
https://dl.acm.org/doi/10.1007/BF02277859
Kimelman DZernik D(1993)On-the-fly topological sort—a basis for interactive debugging and live visualization of parallel programsACM SIGPLAN Notices10.1145/174267.17426928:12(12-20)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174267.174269
Pancake CNetzer R(1993)A bibliography of parallel debuggers, 1993 editionACM SIGPLAN Notices10.1145/174267.16823828:12(169-186)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174267.168238
Kimelman DZernik DMiller BMcDowell C(1993)On-the-fly topological sort—a basis for interactive debugging and live visualization of parallel programsProceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging10.1145/174266.174269(12-20)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174266.174269
Pancake CNetzer RMiller BMcDowell C(1993)A bibliography of parallel debuggers, 1993 editionProceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging10.1145/174266.168238(169-186)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174266.168238

Abstract

References

Cited By

Recommendations

Tools-supported HPF and MPI parallelization of the NAS parallel benchmarks

Executing multithreaded programs efficiently

Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations