On the synthesis of parallel programs from tensor product formulas for block recursive algorithms

S. Gupta, C. H. Huang, P. Sadayappan, R. Johnson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

This paper presents a methodology for synthesizing parallel programs for block recursive algorithms such as fast Fourier transforms and Strassen’s matrix multiplication algorithm. A block recursive algorithm is expressed as a tensor product formula which consists of matrix sums, matrix products, direct sums, tensor products, componentwise matrix operations, and stride permutations. These mathematical operations can be mapped to high-level programming language constructs such as iteration, sequential composition, parallel composition, vector operations, and index computation. Translation of a tensor product formula consisting of these primitives into a parallel program involves determination of the proper indexing schemes for the arrays. This paper gives an algorithm to determine the indexing scheme and the code required for the index computation. Various parallel programs can be synthesized by manipulating tensor product formulas to exploit different computational structures. In this paper, we discuss some issues involved in formula manipulation for a particular target machine, the Cray Y-MP.

Original languageEnglish (US)
Title of host publicationLanguages and Compilers for Parallel Computing - 5th International Workshop, Proceedings
EditorsUtpal Banerjee, David Gelernter, Alex Nicolau, David Padua
PublisherSpringer Verlag
Pages264-280
Number of pages17
ISBN (Print)9783540575023
DOIs
StatePublished - 1993
Externally publishedYes
EventIFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2017 - Hamburg, Germany
Duration: Sep 3 2017Sep 7 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume757 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherIFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2017
CountryGermany
CityHamburg
Period9/3/179/7/17

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'On the synthesis of parallel programs from tensor product formulas for block recursive algorithms'. Together they form a unique fingerprint.

Cite this