Article

Free access

The parascope editor: an interactive parallel programming tool

Authors:

V. Balasundaram,

J. SubhlokAuthors Info & Claims

Supercomputing '89: Proceedings of the 1989 ACM/IEEE conference on Supercomputing

Pages 540 - 550

https://doi.org/10.1145/76263.76323

Published: 01 August 1989 Publication History

Abstract

The ParaScope project is building an integrated collection of tools to help scientific programmers develop correct and efficient parallel programs. The centerpiece of this collection is the ParaScope Editor, an intelligent interactive editor for parallel FORTRAN programs. The ParaScope Editor displays data dependencies, which correspond to potential data races among the iterations of a parallel loop, to assist the user in determining the correctness of a proposed parallelization. In addition, it uses dependencies to support a variety of program transformations selectable by the programmer.

The eventual goal for the ParaScope Editor is to support arbitrary editing changes by performing full incremental data dependence analysis in response to program changes. In addition, it will understand and recognize when synchronization correctly prevents race conditions. The ParaScope Editor is a new kind of program construction tool; one that not only manages text, but also presents the user with insights into the semantic structure of the program being constructed.

References

[1]

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

Digital Library

[2]

F. Allen, M. Burke, P. Charles, J. Ferrante, W. Hsieh, and V. Sakar. A framework for detecting useful parallelism. Lr~ International Conference on Supercomputin#, St. Malo, France, 1988.

Digital Library

[3]

J. R. Allen, D. Bgumgartner, K. Kennedy, and A. Porterfield. PTOOL: A semi-automatic parallel programming assistant. In Proceeding8 o/ the 1986 International Conference on Parallel Processlug. IEEE Computer Society Press, August 1986.

[4]

J.R. Allen, D. Callahan, and K. Kennedy. Automatlc decomposition of scientific programs for parallel execution. In Conference Record of the Fourteenth A CM Symposium on the Principles of Programming Languages, Munich, West Germany, January 1987.

Digital Library

[5]

J.R. Allen and K. Kennedy. PFC: A program to convert fortran to parallel form. In Supercomputers: Design and Applications, pages 186-205. IEEE Computer Society Press, Silver Spring, MD., 1984.

[6]

J.R. Allen and K. Kennedy. Automatic translation of Fortran programs to vector form. A CM Transaclions on Programming Languages and Systems, 9(4):491-542, October 1987.

Digital Library

[7]

J.R. Allen. Dependence Analysis }or Subscripted Variables and Its Application toProgram Transjormotions. PhD thesis, Rice University, April 1983.

Digital Library

[8]

W. Appelbe and C. McDoweU. Anomaly Reporting Tool - a tool for debugging and developing numerical algorithms. In First International Conference on Supercomputers, Florida, December 1985.

[9]

V. Balasundaram. Interactive Parallellzation o} Numerical Scientific Programs. PhD thesis, Rice University, May 1989.

Digital Library

[10]

U. BaxLerjee. Dependence Analysis }or Supcrcompinn. Kluwer Acadenuc Publishers, Boston, 1988.

Digital Library

[11]

V. Balasundaxam, D. Bgumgartncr, D. Callahan, K. Kennedy, and J. Subhlok. PTOOL: A system for static analysis of parallelism in programs. Technical Report TR88-71, Department of Computer Science, Rice University, 1988.

[12]

M. Burke and R. Cytron. Interprocedural dependence analysis and parallelizaiton. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, July 1986.

Digital Library

[13]

D. Callahan. A Global Approach to Detection of Parallelism. PhD thesis, Rice University, March 1987.

Digital Library

[14]

A. Carle, K.D. Cooper, R.T. Hood, L. Torczon K Kennedy, and Scott K. Warren. A practical environment for scientific programming. Computer, November 1987.

Digital Library

[15]

D. Callahan, K.D. Cooper, K. Kennedy, and L. Torczon. Interprocedural constant propagation. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, July 1986.

Digital Library

[16]

D. Callahan and K. Kennedy. Analysis of interprocedural side effects in a parallel programming enviromnent. In P~,oceedings o,f the First International Conference on S'~percompuling. Springer- Verlag, Athens, Greece, 2987. Available as Rice University, Department of Computer Science Technical Report TR87-56, July 1987.

Digital Library

[17]

K.D. Cooper, K. Kennedy, and L. Torczon. The impact of interprocedural amdysis and optimization in the Rn programming environment. In A CM Transactions on Programming Languages and Systems, pages 491-523, October 1986.

Digital Library

[18]

D. Callahan and J. Subhlok. Static analysis of low-level synchronization. In Proceedings o} the A CM SIGPLAN and SIGOPS Workshop on Parallel and Di~ribnSed Debugging, Madison,WA, May 1988. Available as Rice University, Dept. of Computer Science Technical Report TR88-70.

Digital Library

[19]

L. Henderson. The usefulness of dependecy-analysis tools in parallel programming: Experiences using PTOOL. Technical Report Preprint LA-UR-87- 3135, Los Alamos N~tion.al Labor~tory, September 1987.

[20]

IBM. Parallel FORTRAN Language and Library Reference, first edition, F~bruary 1988. Document Number SC23-0431-0.

[21]

V.A. Guarna Jr., D. Gannon, Y. Gaur, and D. Jablonowski. Faust: An environment for programming p~rallel scientific applications. Supercomputing '88, November 1988.

Digital Library

[22]

D. Kuck, R. Kuh~, B. Lea.sure, and M. Wolfe. The structure of an advanced retargetable vectorizer. LrL Supercomputers: Design and Applications, pages 163-178. IEEE Computer Society Press, Silver Spring, MD., 1984.

[23]

U. Kremer, H.P. Zima, H.-J. Bast, and M. Gerndt. Advanced tools and techniques for automatic parallelization. In Parallel Computing, volume 7, pages 387-393, 1988.

[24]

D. Kuck. The Structure o/Computers and Co mI~utalionj Volume 1. John Vgiley and Sons, New York~ 1978.

Digital Library

[25]

Bruce Leasure, editor. PGF Fortran: Language Definition, version 1. The Parallel Computing Forum, Champaign,IL, 1988.

[26]

H.M. Levesque and J.W. Willlamson. A Guidebook to Fortra~ on Supercomputers. Harcourt Brace Jovanovich., San Diego, 1989.

Digital Library

[27]

Anita Osterhaug, editor. Guide to Parallel Programming or~ Sequent Computer Systems. Sequent Technical Publications, San Diego, 1989.

Digital Library

[28]

K. Smith and W. Appelbe. PAT - an interactive fortran parllelizing assistant tool; use and documentation. Technical report, Dept. of Computer Science, Georgia Institute of Techxtology, 1988.

[29]

M.J. Wolfe. Optimizing Supercompilers for Supercomputers. PhD thesis, University of Illinois, October 1982.

Digital Library

[30]

H. Zima, H-J. Bast, and ld. Gerndt. Superb: A tool for semi-automatic MIMD}SIMD paraltelization. In Parallel Computing, volume 6, pages 1-18. North- Holland, 1988.

Cited By

Bhosale ABarakhshan PRosas MEigenmann R(2022)Automatic and Interactive Program Parallelization Using the Cetus Source to Source Compiler Infrastructure v2.0Electronics10.3390/electronics1105080911:5(809)Online publication date: 4-Mar-2022
https://doi.org/10.3390/electronics11050809
Barakhshan PEigenmann R(2022)iCetus: A Semi-automatic Parallel Programming AssistantLanguages and Compilers for Parallel Computing10.1007/978-3-030-99372-6_2(18-32)Online publication date: 24-Mar-2022
https://doi.org/10.1007/978-3-030-99372-6_2
Kalyur SNagaraja G(2017)AIDE: An Interactive Environment for Program Transformation and Parallelization2017 2nd International Conference on Computational Systems and Information Technology for Sustainable Solution (CSITSS)10.1109/CSITSS.2017.8447848(1-5)Online publication date: Dec-2017
https://doi.org/10.1109/CSITSS.2017.8447848
Show More Cited By

Index Terms

The parascope editor: an interactive parallel programming tool
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
    2. General programming languages
      1. Language types
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Recommendations

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, ...
Data-Parallel Programming on MIMD Computers

The implementation of two compilers for the data-parallel programming language Dataparallel C is described. One compiler generates code for Intel and nCUBE hypercube multicomputers; the other generates code for Sequent multiprocessors. A suite of ...
Parascope: a Parallel Programming Environment

The ParaScope programming environment, under de velopment at Rice University, has been designed to as sist in the formulation, implementation, and debugging of parallel Fortran programs. In its implementation, ParaScope merges the technologies of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

Supercomputing '89: Proceedings of the 1989 ACM/IEEE conference on Supercomputing

August 1989

849 pages

ISBN:0897913418

DOI:10.1145/76263

Chairman:
F. Ron Bailey

Copyright © 1989 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

In-Cooperation

Los Alamos National Labs: Los Alamos National Labs
NASA: National Aeronatics and Space Administration
Argonne Natl Lab: Argonne National Lab

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SC '89

Sponsor:

SIGARCH
IEEE-CS

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

November 12 - 17, 1989

Nevada, Reno, USA

Acceptance Rates

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

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

44
Total Citations
View Citations
337
Total Downloads

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

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bhosale ABarakhshan PRosas MEigenmann R(2022)Automatic and Interactive Program Parallelization Using the Cetus Source to Source Compiler Infrastructure v2.0Electronics10.3390/electronics1105080911:5(809)Online publication date: 4-Mar-2022
https://doi.org/10.3390/electronics11050809
Barakhshan PEigenmann R(2022)iCetus: A Semi-automatic Parallel Programming AssistantLanguages and Compilers for Parallel Computing10.1007/978-3-030-99372-6_2(18-32)Online publication date: 24-Mar-2022
https://doi.org/10.1007/978-3-030-99372-6_2
Kalyur SNagaraja G(2017)AIDE: An Interactive Environment for Program Transformation and Parallelization2017 2nd International Conference on Computational Systems and Information Technology for Sustainable Solution (CSITSS)10.1109/CSITSS.2017.8447848(1-5)Online publication date: Dec-2017
https://doi.org/10.1109/CSITSS.2017.8447848
Agarwal MFrank M(2009)SPARTANProceedings of the 2009 ICSE Workshop on Multicore Software Engineering10.1109/IWMSE.2009.5071384(56-63)Online publication date: 18-May-2009
https://dl.acm.org/doi/10.1109/IWMSE.2009.5071384
Stein JFox G(2006)Dependence analysis for outer loop parallelization of existing Fortran‐77 programsConcurrency: Practice and Experience10.1002/cpe.43300508045:8(659-674)Online publication date: 25-Oct-2006
https://doi.org/10.1002/cpe.4330050804
Kennedy KMcKinley KTseng C(2006)Analysis and transformation in an interactive parallel programming toolConcurrency: Practice and Experience10.1002/cpe.43300507055:7(575-602)Online publication date: 25-Oct-2006
https://doi.org/10.1002/cpe.4330050705
Park IVoss MArmstrong BEigenmann R(2005)Interactive compilation and performance analysis with URSA MINORLanguages and Compilers for Parallel Computing10.1007/BFb0032690(163-176)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0032690
Bae HEigenmann R(2005)Interprocedural symbolic range propagation for optimizing compilersProceedings of the 18th international conference on Languages and Compilers for Parallel Computing10.1007/978-3-540-69330-7_28(413-424)Online publication date: 20-Oct-2005
https://dl.acm.org/doi/10.1007/978-3-540-69330-7_28
Dongarra JFoster IFox GGropp WKennedy KTorczon LWhite A(2003)ReferencesSourcebook of parallel computing10.5555/941480.941507(729-789)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/941480.941507
Eigenmann RHoeflinger J(1999)Parallelizing and Vectorizing CompilersWiley Encyclopedia of Electrical and Electronics Engineering10.1002/047134608X.W5702Online publication date: 27-Dec-1999
https://doi.org/10.1002/047134608X.W5702
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

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