article

Free access

On-the-fly topological sort—a basis for interactive debugging and live visualization of parallel programs

Authors:

Doug Kimelman,

Dror ZernikAuthors Info & Claims

ACM SIGPLAN Notices, Volume 28, Issue 12

Pages 12 - 20

https://doi.org/10.1145/174267.174269

Published: 01 December 1993 Publication History

PDF eReader

References

[1]

P. Bates. "Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior," Proc. ACM Workshop on Parallel and Dist~bu~ed Debugging, ACM SIGPLAN Notice8 24(1):11-22, Jan. 1989.

Digital Library

Google Scholar

[2]

T. Bummer} and P. Braun. "Visualization of Message Passing Parallel Programs," Proc. CONPAR 9~, Lecture Notes in Compater Science 634:79-90, Springer-Verlag, 1992.

Digital Library

Google Scholar

[3]

B. Bruegge. "A Portable Platform for Distributed Event Environments,~ Prec. ACM/ONR Workshop on Parallel and Distributed Debugging, ACM SIGPLAN Notice, 26(12):184-193, Dec. 1991.

Digital Library

Google Scholar

[4]

Z. Aral and I. Gertner. "High-Level Debugging in Parasight," Prec. ACM Workshop on Parallel and Distributed Debugging, A CM SIGPLAN No~ices 24(1):151-162, Jan. 1989.

Digital Library

Google Scholar

[5]

M.T. Heath and J.A. Etheridge. ~VisuaIi~in8 the Performance of Parallel Programs," IEEE Software 8(5):29-39, Sep. 1991.

Digital Library

Google Scholar

[6]

F.D. Bryant, H. Ho, P. de Jong, R. Lawrence and M. Snir. "An external user interface for scalable parallel systems," IBM Research Center Technical Report, Jun. 1992.

Google Scholar

[7]

IBM Corp. ~IBM 9076 Scalable POWERparaltel 1 -- General Information,~ GH26-7219-0, Feb. 1993.

Google Scholar

[8]

Intel Supercomputer Systems Division. "Paragon XP/S Product Overview,~ Nov. 1991.

Google Scholar

[9]

M.K. Pongami, W. Hseush and G.E. Kaiser. ~Debugging Multithreaded Programs with MPD," IEBE Software 8(3):37-43, May 1991.

Digital Library

Google Scholar

[10]

D.N. Kimelman and T.A. Ngo. '~The RP3 Program Visualization EnvironmenL" Tt~e IBM Journal of Research and Development 35(6):635-651, Nov. 1991.

Digital Library

Google Scholar

[11]

L. Lamport. "Time, Clocks and the Ordering of Events in a Distributed System," Uomm~nications of the AUM 21(7):558-565, Jul. 1978.

Digital Library

Google Scholar

[12]

T.J. LeBlanc, J.M. Mellor-Crummey, and R.J. Fowler. "Analy,.ing Parallel Program Execution Using Multiple Views," Jou,'nal of Pa,'~llel and Dis~,'ibuted Computing 9(2):203-217, Jun. 1990.

Digital Library

Google Scholar

[13]

E. Leu and A. Schiper. "Execution Replay: a Mechanism for Integrating a Visualisation Tool with a Symbolic Debugge~," Proc. CONPAR g~, ~ec~ure Notes in Computer Science 634:55-66, Springer- Verlag, 1992.

Digital Library

Google Scholar

[14]

A.D. Malony, D.H. Hammerslag and D.J. Jablonowski. "Traceview: A Trace Visualization Tool," IBEE Software 8(5):19-28, Sop. 1991.

Digital Library

Google Scholar

[15]

Meiko. ~Computing Surface; SunOS CSTools," 83-MS020.

Google Scholar

[16]

B.P. Miller and J.D. Choi. "Breakpoints and Halting in Distributed Programs," Prec. 8th Conference on Distributed Computing Systems, pp. 316-323, 1988.

Google Scholar

[17]

D.A. Reed, R.D. Olson, R.A. Aydt, T.M. Madhyastha, T. Birkett, D.W. Jonson, B.A.K. Nazief and B.K. Totty. "Sealable Performance Environments for Parallel Systems," Unieereity of Illinoi~ Technical Report UIUCDCS-R-91-1673, Mar. 1991.

Google Scholar

[18]

Thinking Machines Corp. ~CM-5 Technical Summary," Oct. 1991.

Google Scholar

[19]

L. Rudolph, R.V. Rubin and D. 7.evnik. "Debugging Parallel Programs in Parallel," Proc. ACM Workshop on Parallel ~nd Distributed Debugging, A CM SI~PLAN Notices 24(1):100-124, Jan. 1989.

Digital Library

Google Scholar

[20]

A. Rudich, D. Zernik and G. Zodik. "Visage- Visualization Graph Attributes - A Foundation For Parallel Programming Environments," Proc. CNRS-NSF Collaboration Workshop on Environments and Tools for Parallel Scien~iJic Computing, J. Dongarr~ and B. Touranchesu, editors, Elsevier Science Publishers, Sep. 1992.

Digital Library

Google Scholar

Cited By

View all

Flynn Hummel SKimelman DSchonberg ETennenhouse MZernik D(1997)Using Program Visualization for Tuning Parallel-Loop SchedulingIEEE Parallel & Distributed Technology: Systems & Technology10.5555/613782.6139965:1(26-40)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.5555/613782.613996
Hummel SKimelman DSchonberg ETennenhouse MZernik D(1997)Using program visualization for tuning parallel-loop schedulingIEEE Concurrency10.1109/4434.5804405:1(26-40)Online publication date: Jan-1997
https://doi.org/10.1109/4434.580440
Damodaran-Kamal SFrancioni J(1994)mdb: a semantic race detection tool for PVMProceedings of IEEE Scalable High Performance Computing Conference10.1109/SHPCC.1994.296710(702-709)Online publication date: 1994
https://doi.org/10.1109/SHPCC.1994.296710
Show More Cited By

Index Terms

On-the-fly topological sort—a basis for interactive debugging and live visualization of parallel programs
1. Computing methodologies
  1. Parallel computing methodologies
    1. Parallel programming languages
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Context specific languages
      1. Visual languages
    2. General programming languages
      1. Language types
        Parallel programming languages

Recommendations

Parallel assertions for debugging parallel programs
MEMOCODE '11: Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign

A parallel program must execute correctly even in the presence of unpredictable thread interleavings. This interleaving makes it hard to write correct parallel programs, and also makes it hard to find bugs in incorrect parallel programs. A range of ...
Partitioned Parallel Radix Sort

Load balanced parallel radix sort solved the load imbalance problem present in parallel radix sort. By redistributing the keys in each round of radix, each processor has exactly the same number of keys, thereby reducing the overall sorting time. Load ...
Assertions for debugging parallel programs

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 28, Issue 12

Dec. 1993

100 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/174267

Editor:
Richard L. Wexelblat

Issue’s Table of Contents

PADD '93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
December 1993
186 pages
ISBN:0897916336
DOI:10.1145/174266
Chairmen:
Barton P. Miller
Univ. of Wisconsin, Madison
,
Charles McDowell
Univ. of California, Santa Cruz

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1993

Published in SIGPLAN Volume 28, Issue 12

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
459
Total Downloads

Downloads (Last 12 months)132
Downloads (Last 6 weeks)19

Reflects downloads up to 09 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Flynn Hummel SKimelman DSchonberg ETennenhouse MZernik D(1997)Using Program Visualization for Tuning Parallel-Loop SchedulingIEEE Parallel & Distributed Technology: Systems & Technology10.5555/613782.6139965:1(26-40)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.5555/613782.613996
Hummel SKimelman DSchonberg ETennenhouse MZernik D(1997)Using program visualization for tuning parallel-loop schedulingIEEE Concurrency10.1109/4434.5804405:1(26-40)Online publication date: Jan-1997
https://doi.org/10.1109/4434.580440
Damodaran-Kamal SFrancioni J(1994)mdb: a semantic race detection tool for PVMProceedings of IEEE Scalable High Performance Computing Conference10.1109/SHPCC.1994.296710(702-709)Online publication date: 1994
https://doi.org/10.1109/SHPCC.1994.296710
Qi LJin HQi LJin H(2013)Service-Oriented Dependency-Aware MaintenanceDynamic Provisioning for Community Services10.1007/978-3-642-34513-5_4(67-92)Online publication date: 2013
https://doi.org/10.1007/978-3-642-34513-5_4
Wismüller R(2005)State based visualization of PVM applicationsParallel Virtual Machine — EuroPVM '9610.1007/3540617795_12(91-99)Online publication date: 8-Jul-2005
https://doi.org/10.1007/3540617795_12
Eom HHollingsworth J(2001)A Tool to Help Tune where Computation Is PerformedIEEE Transactions on Software Engineering10.1109/32.93585427:7(618-629)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1109/32.935854
Eom HHollingsworth J(1998)LBF: a performance metric for program reorganizationProceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)10.1109/ICDCS.1998.679505(222-229)Online publication date: 1998
https://doi.org/10.1109/ICDCS.1998.679505
Kimelman DMittal PSchonberg ESweeney PKo-Yang Wang Zernik D(1995)Visualizing the execution of High Performance Fortran (HPF) programsProceedings of 9th International Parallel Processing Symposium10.1109/IPPS.1995.395865(750-759)Online publication date: 1995
https://doi.org/10.1109/IPPS.1995.395865
Gu WVetter JSchwan K(1994)An annotated bibliography of interactive program steeringACM SIGPLAN Notices10.1145/185009.18503829:9(140-148)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1145/185009.185038
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
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

References

Cited By

Index Terms

Recommendations

Parallel assertions for debugging parallel programs

Partitioned Parallel Radix Sort

Assertions for debugging parallel programs

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations