The parascope editor: an interactive parallel programming tool

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

• ABC+87: F. Allen , M. Burke , P. Charles , R. Cytron , J. Ferrante, An overview of the PTRAN analysis system for multiprocessing, Proceedings of the 1st International Conference on Supercomputing, p.194-211, March 1988, Athens, Greece
• ABC+88: F. Allen , M. Burke , R. Cytron , J. Ferrante , W. Hsieh, A framework for determining useful parallelism, Proceedings of the 2nd international conference on Supercomputing, p.207-215, June 1988, St. Malo, France [doi>10.1145/55364.55385]
• ABKP86: 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.
• ACK87: r. Allen , D. Callahan , K. Kennedy, Automatic decomposition of scientific programs for parallel execution, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.63-76, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41631]
• AK84: 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.
• AK87: Randy Allen , Ken Kennedy, Automatic translation of FORTRAN programs to vector form, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.491-542, Oct. 1987 [doi>10.1145/29873.29875]
• All83: John Randal Allen, Dependence analysis for subscripted variables and its application to program transformations, 1983
• AM85: 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.
• Bal89: Vasanth Balasundaram , K. Kennedy, Interactive parallelization of numerical scientific programs, 1989
• Ban88: Utpal K. Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Norwell, MA, 1988
• BBC+88: 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.
• BC86: Michael Burke , Ron Cytron, Interprocedural dependence analysis and parallelization, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.162-175, June 25-27, 1986, Palo Alto, California, United States
• Cal87: C. D. Callahan, II, A global approach to detection of parallelism, Rice University, Houston, TX, 1987
• CCH+87: Alan Carle , Keith D. Cooper , Robert T. Hood , Ken Kennedy , Linda Torczon, A practical environment for scientific programming, Computer, v.20 n.11, p.75-89, Nov. 1987 [doi>10.1109/MC.1987.1663418]
• CCKT86: David Callahan , Keith D. Cooper , Ken Kennedy , Linda Torczon, Interprocedural constant propagation, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.152-161, June 25-27, 1986, Palo Alto, California, United States
• CK87: D. Callahan , K. Kennedy, Analysis of interprocedural side effects in a parallel programming environment, Proceedings of the 1st International Conference on Supercomputing, p.138-171, March 1988, Athens, Greece
• CKT86: Keith D. Cooper , Ken Kennedy , Linda Torczon, The impact of interprocedural analysis and optimization in the Rⁿ programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.491-523, Oct. 1986 [doi>10.1145/6465.6489]
• CS88: David Callahan , Jaspal Sublok, Static analysis of low-level synchronization, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.100-111, May 05-06, 1988, Madison, Wisconsin, United States
• Hen87: 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.
• IBM88: IBM. Parallel FORTRAN Language and Library Reference, first edition, F~bruary 1988. Document Number SC23-0431-0.
• JGGJ88: V. A. Guarna , D. Gannon, Jr. , Y. Gaur , D. Jablonowski, FAUST: an environment for programming parallel scientific applications, Proceedings of the 1988 ACM/IEEE conference on Supercomputing, p.3-10, November 12-17, 1988, Orlando, Florida, United States
• KKLW84: 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.
• KKZ+88: 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.
• Kuc78: David L. Kuck, Structure of Computers and Computations, John Wiley & Sons, Inc., New York, NY, 1978
• Lea88: Bruce Leasure, editor. PGF Fortran: Language Definition, version 1. The Parallel Computing Forum, Champaign,IL, 1988.
• LW89: John M. Levesque , Joel W. Williamson, A Guidebook to FORTRAN on Supercomputers, Academic Press, Inc., Orlando, FL, 1988
• Ost89: Anita Osterhaug, Guide to parallel programming on Sequent computer systems: 2nd edition, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• SA88: 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.
• Wol82: Michael Joseph Wolfe, Optimizing supercompilers for supercomputers, 1982
• ZBG88: 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.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
          Subjects: Program editors

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: FORTH

  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency

General Terms:
Algorithms, Design, Languages, Performance