More Web Proxy on the site http://driver.im/

article

Free access

Experiences using the ParaScope Editor: an interactive parallel programming tool

Authors:

Timothy J. Harvey,

Nathaniel McIntosh,

Kathryn S. McKinley,

Jeffrey D. Oldham,

Michael H. Paleczny,

Gerald RothAuthors Info & Claims

ACM SIGPLAN Notices, Volume 28, Issue 7

Pages 33 - 43

https://doi.org/10.1145/173284.155336

Published: 01 July 1993 Publication History

Abstract

The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scientific Fortran programs. It displays the results of sophisticated program analyses, provides a set of powerful interactive transformations, and supports program editing. This paper summarizes experiences of scientific programmers and tool designers using the ParaScope Editor. We evaluate existing features and describe enhancements in three key areas: user interface, analysis, and transformation. many existing features prove crucial to successful program parallelization. They include interprocedural array side-effect analysis and program and dependence view filtering. Desirable functionality includes improved program navigation based on performance estimation, incorporating user assertions in analysis and more guidance in selecting transformations. These results offer insights for the authors of a variety of programming tools and parallelizing compilers.

References

[1]

F. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante. An overview of the PTRAN analysis system for multiprocessing. In Proceedings of the First International Con}erence on Supercomputing. Springer-Verlag, Athens, Greece, June 1987.

Digital Library

[2]

J. R. Allen, D. Biiumgartner, K. Kennedy, and A. Porterfield. PTOOL: A semi-automatic paralld programming assistant. In Proceedings of the 1986 International Conference on Parallel Processing, St. Charles, IL, August 1986. IEEE Computer Society Press.

[3]

V. Balasundaram, K. Kennedy, U. Kremer, K. S. MCKinley, and J. Subhlok. The ParnScope Editor: An interactive parallel programming tool. In Proceedings of Supercomputing '89, Reno, NV, November 1989.

Digital Library

[4]

J. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In Conference Record of the Sixth Annual A CM Symposium on the Principles of Programming Languages, San Antonio, TX, January 1979.

Digital Library

[5]

A.J. Bernstein. Analysis of programs for parallel processing. IEEE Transactions on Electronic Computers, 15(5):757- 763, October 1966.

[6]

W. Blume and Ft. Eigenmann. Performance analysis of parallelizing compilers on the Perfect Benchmarks programs. IEEE Transactions on Parallel and Distributed Systems, 3(6):643-656, November 1992.

Digital Library

[7]

D. Callahan. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proceedings o} #he SIGPLAN '88 Conference on Program Language Design and Implementation, Atlanta, CA, June 1988.

Digital Library

[8]

S. Carl'. Memory-Hierarchy Management. PhD thesis, Rice University, September 1992.

Digital Library

[9]

D. Cheng and D. Pose. An evaluation of automatic and interactive parallel programming tools. In Proceedings o} Snpercomputing '91, Albuquerque, NM, November 1991.

Digital Library

[10]

K. Cooper, M. W. Hall, R. T. Hood, K. Kennedy, K. S. McKinley, J. M. Mellor-Crummey, L. Torczon, and S. K. Warren. The ParaScope parallel programming environment. Proceedings of the IEEE, To appear 1993.

[11]

K. Cooper, K. Kennedy, L. Torczon, A. Weingarten, and M. Wolcott. Editing and compiling whole programs. In Proceedings of the Second A CM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Polo Alto, CA, December 1986.

Digital Library

[12]

R. Eigenmann, J. Hoeflinger, G. Jaxon, Z. Li, and D. Padua. Restructuring Fortran programs for Cedar. In Proceedings o:f the 1991 International Conference on Parallel Processing, St. Charles, IL, August 1991.

[13]

R. Eigenmama, J. Hoeflinger, Z. Li, and D. Padua. Experience in the automatic parallellzation of four Perfect benchmark programs. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, CA, August 1991. Springer-Verlag.

Digital Library

[14]

D. C. Engelbart and W. K. English. A research center for augmenting human intellect. In Proceedings of AFIPS 1968 Fall Joint Computer Conference, San Francisco, CA, December 1968.

Digital Library

[15]

J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. A CM Transactions on Programming Languages and Systems, 9(3):319- 349, July 1987.

Digital Library

[16]

K. Fletcher. Experience with ParaScope at NASA Ames Research Center. Presentation at the ParaScope Editor Workshop, July 1991.

[17]

K. Fletcher, K. Kennedy, K. S. McKinley, and S. Warren. The ParaScope Editor: User interface goals. Technical Report TR90-113, Dept. of Computer Science, Rice University, May 1990.

[18]

G. Goff. Practical tedmlques to suB-meat dependence analysis in the presence of symbolic terms. Technical Report TFt92-194, Dept. of Computer Science, Rice University, October 1992.

[19]

G. Goff, K. Kennedy, and C. Tseng. Practical dependence testing. In Proceedings of the SIGPLAN '91 Conference on Program Language Design and Implementation, Toronto, Canada, June 1991.

Digital Library

[20]

M. Haghighat and C. Polychronopoulos. Symbolic dependence analysis for high-performance parallelizing compilers. In Advances in Languages and Compilers for Parallel Computing, Irvine, CA, August 1990. The MIT Press.

[21]

M. W. Hall. Managing Interprocedural Optimization. PhD thesis, Rice University, April 1991.

Digital Library

[22]

M. W. Hall, S. Hiranandani, K. Kennedy, and C. Tseng. Interprocedural compilation of Fortran D for MIMD distributed-memory machines. In Proceedings of Supercomputing '9#, Minneapolis, MN, November 1992.

Digital Library

[23]

M. W. Hall, K. Kennedy, and K. S. McKinley. Interprocedural transformations for parallel code generation. In Proceedings of Supercomputin9 '91, Albuquerque, NM, November 1991.

Digital Library

[24]

P. Havlak and K. Kennedy. An implementation of interprocedural bounded regular section analysis. IEEE Transactions on Parallel and Distributed Systems, 2(3):350-360, July 1991.

Digital Library

[25]

L. Henderson, R. Hiromoto, O. Lubeck, and M. Simmons. On the use of diagnostic dependency-analysis tools in parallel programming: Experiences using PTOOL. The Journal of Supercomputin#, 4:83-96, 1990.

Digital Library

[26]

K. Kennedy, N. McIntosh, and K. S. McKinley. Static performance estimation in a parallelizing compiler. Technical Report TR91-174, Dept. of Computer Science, Rice University, December 1991.

[27]

K. Kennedy, K. S. McKinley, and C. Tseng. Analysis and transformation in the ParaScope Editor. In Proceedings of the 1991 A CM International Conference on Supercomputin#, Cologne, Germany, June 1991.

Digital Library

[28]

K. Kennedy, K. S. MCKinley, and C. Tseng. Interactive parallel programming using the ParnScope Editor. IEEE Transactions on Parallel and Distributed Systems, 2(3):329-341, July 1991.

Digital Library

[29]

Kuck & Associates, Inc. KAP User's Guide. Champaign, IL 61820, 1988.

[30]

K. S. McKinley. Automatic and Interactive Parallelization. PhD thesis, Rice University, April 1992.

Digital Library

[31]

Pacific-Sierra Research. Forge User's Guide, version 7.01, December 1990.

[32]

W. Pugh and D. Wonnacott. Eliminating false data dependences using the omega test. In Proceedings o} the SIG- PLAN '9# Conference on Program Language Design and Implementation, San Francisco, CA, June 1992.

Digital Library

[33]

J. Singh and J. Hennessy. Art empirical investigation of the effectiveness of and limitations of automatic parallelization. In Proceedings of the International Symposium on Shared Memory Multiprocessors, Tokyo, Japan, April 1991.

[34]

D. C. Smith, C. Irby, R. Kimball, B. Verplank, aa#d E. Harslem. Designing the Star user interface. BYTE, 7(4):242-282, April 1982.

[35]

J. Stein. On outer-loop parallelization of existing, real-life Fortran-77 programs. Colloquium at Rice University, July 1991. In collaboration with M. Paul and G.C. Fox.

[36]

Ft. C. Waters. Program editors should not abandon text oriented commands. A CM SIGPLAN No,ices, 17(7):39-46, July 1982.

Digital Library

[37]

N. Yankelovitch, N. Meyrowitz, and A. van Dam. Reading and writing the electronic book. IEEE Computer, 18(10):15- 29, October 1985.

Digital Library

Cited By

Sharma RSchkufza EChurchill BAiken A(2015)Conditionally correct superoptimizationACM SIGPLAN Notices10.1145/2858965.281427850:10(147-162)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814278
Sharma RSchkufza EChurchill BAiken AAldrich JEugster P(2015)Conditionally correct superoptimizationProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814278(147-162)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814278
Arora ROlaya JGupta MLathrop SAlameda J(2014)A Tool for Interactive ParallelizationProceedings of the 2014 Annual Conference on Extreme Science and Engineering Discovery Environment10.1145/2616498.2616558(1-8)Online publication date: 13-Jul-2014
https://dl.acm.org/doi/10.1145/2616498.2616558
Show More Cited By

Index Terms

Experiences using the ParaScope Editor: an interactive parallel programming tool
1. Computing methodologies
  1. Parallel computing methodologies
    1. Parallel programming languages
2. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments
    2. General programming languages
      1. Language types
        Parallel programming languages

Recommendations

Experiences using the ParaScope Editor: an interactive parallel programming tool
PPOPP '93: Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming

The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scientific Fortran programs. It displays the results of sophisticated program analyses, provides a set of powerful interactive ...
Interactive Parallel Programming using the ParaScope Editor

The ParaScope Editor, an intelligent interactive editor for parallel Fortran programs, which is the centerpiece of the ParaScope project, an integrated collection of tools to help scientific programmers implement correct and efficient parallel programs, ...
The Integration of ParaScope and Lambda

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 28, Issue 7

July 1993

259 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/173284

Editor:
Richard Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

PPOPP '93: Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
August 1993
259 pages
ISBN:0897915895
DOI:10.1145/155332
Chairmen:
Marina Chen
Yale Univ., New Haven, CT
,
Robert Halstead
DEC Cambridge Research Lab.

Copyright © 1993 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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993

Published in SIGPLAN Volume 28, Issue 7

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
516
Total Downloads

Downloads (Last 12 months)99
Downloads (Last 6 weeks)28

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sharma RSchkufza EChurchill BAiken A(2015)Conditionally correct superoptimizationACM SIGPLAN Notices10.1145/2858965.281427850:10(147-162)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814278
Sharma RSchkufza EChurchill BAiken AAldrich JEugster P(2015)Conditionally correct superoptimizationProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814278(147-162)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814278
Arora ROlaya JGupta MLathrop SAlameda J(2014)A Tool for Interactive ParallelizationProceedings of the 2014 Annual Conference on Extreme Science and Engineering Discovery Environment10.1145/2616498.2616558(1-8)Online publication date: 13-Jul-2014
https://dl.acm.org/doi/10.1145/2616498.2616558
Dubey ABhattacharya S(2012)An approach for assisting industrial application reengineeringIEEE 10th International Conference on Industrial Informatics10.1109/INDIN.2012.6300877(786-791)Online publication date: Jul-2012
https://doi.org/10.1109/INDIN.2012.6300877
Quammen C(2002)Introduction to programming shared-memory and distributed-memory parallel computersXRDS: Crossroads, The ACM Magazine for Students10.1145/567162.5671678:3(16-22)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/567162.567167
Bryant RVelev M(2002)Boolean satisfiability with transitivity constraintsACM Transactions on Computational Logic10.1145/566385.5663903:4(604-627)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/566385.566390
Kaminski MRey G(2002)Revisiting quantification in autoepistemic logicACM Transactions on Computational Logic10.1145/566385.5663883:4(542-561)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/566385.566388
Drossopoulou SDamiani FDezani-Ciancaglini MGiannini P(2002)More dynamic object reclassificationACM Transactions on Programming Languages and Systems10.1145/514952.51495524:2(153-191)Online publication date: 1-Mar-2002
https://dl.acm.org/doi/10.1145/514952.514955
League CShao ZTrifonov V(2002)Type-preserving compilation of Featherweight JavaACM Transactions on Programming Languages and Systems10.1145/514952.51495424:2(112-152)Online publication date: 1-Mar-2002
https://dl.acm.org/doi/10.1145/514952.514954
Mitchell SBurns AWellings A(2001)MOPping up exceptionsACM SIGAda Ada Letters10.1145/568671.568687XXI:3(80-92)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/568671.568687
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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 Issue’s Table of Contents