From mathematical specifications to parallel programs on a message-based system

ABSTRACT

SUSPENSE is a high-level specification language for partial differential equations (PDEs) and related areas in numerical analysis. The language offers facilities to describe and manipulate numerical objects such as vectors, matrices, domains, grids etc. at a high level of abstraction. Sequential algorithms can be formulated by means of general iterators which describe (in contrast to procedural programming languages) only partial orders on objects. Parallelism is obtained in a domain-specific way by splitting numerical objects such as grids, vectors etc. into segments which will be processed in parallel. The specification language is supported by a system which checks specifications and transforms them into parallel programs. Algorithms specified and transformed in SUSPENSE are tailored to the parallel SUPRENUM machine [BGM 86].

REFERENCES

• ANSI 78: American National Standard Programming LanguageFORTRAN April 1978
• ANSI 87: American National Standard for Information Systems Programming Language FORTRAN Draft $8, Version 104, June 1987
• BGM 86: P.M. Beer, W. Giloi, H. Milhlenbein- The German Supercomputer Architecture- Rationale and Concepts in: Hwang, K. et al. (Eds.): Proc. Int. Conf. on Par. Processing 1986 IEEE Computer Society 1986
• BrOp 84: A. Brandt, D. Ophir: GRIDPACK - Toward Unification of General Grid Programming in: Engquist,B., Smedsaas,T. (Eds.): PDE SOFTWARE: Modules, Interfaces and Systems IFIP Working Conf. on PDE Software 1983
• PaSt 82: Christos H. Papadimitriou , Kenneth Steiglitz, Combinatorial optimization: algorithms and complexity, Prentice-Hall, Inc., Upper Saddle River, NJ, 1982
• EhsMe 86: E. Ehses, M. Mevenkamp: MIMD-Fortran GMD-Report November 1986
• IF 87: I. Schubert et al.: IF-PROLOG Version 3.1, InterFace Computer GmbH , Miinchen 1987
• RiBo 87: John R. Rice , Ronald F. Boisvert, Solving elliptic problems using ELLPACK, Springer-Verlag New York, Inc., New York, NY, 1985
• RöStr 87: W. R6nsch~ H. Strauf$: A Linear Algebra Package for a Local Memory Multiprocessor: Problems, Proposals and Solution to appear in: Parallel Computing
• RuWi 87: Th. Ruppelt, G. Wirtz: SUSPENSE- Eine Spezifikationssprache fiir SUPRENUM Univ. Bonn, Research Rep. 870605, 1987
• RuWi 88: Th. Ruppelt, G. Wirtz: Automatic Transformation of High- Level Object-Oriented Specifications into Parallel Programs to appear in: Parallel Computing
• StüTr 84: K. Stfiben, U. Trottenberg: Multigrid Methods: Fundamental Algorithms, Model Problem Analysis and Applications in: GMD-Studien Nr.96, St.Augustin 1984
• Trot 86: U. Trottenberg: On the SUPRENUM Conception SUPRENUM Rep. No.l, Bonn 1986
• WiRu 86: G. Wirtz, Th. Ruppelt" Entwurf einer Spezifikationssprache fiir SUPRENUM Univ. Bonn, Research Rep. 861002, 1986

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS

Additional Classification:
  C. Computer Systems Organization
  C.5 COMPUTER SYSTEM IMPLEMENTATION
      C.5.1 Large and Medium ("Mainframe") Computers
          Subjects: Super (very large) computers

  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures
  D.4 OPERATING SYSTEMS
      D.4.0 General

          Nouns: UNIX

  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.0 General
          Subjects: Numerical algorithms

General Terms:
Algorithms, Design, Languages