Communication set generations with CSD calculus and expression-rewriting framework

Gwan Hwan Hwang, Jenq Kuen Lee

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

In this paper, we present a new framework based on expression-rewritings and a calculus form called common-stride descriptor (CSD) calculus to generate the local enumeration set and communication set for High Performance Fortran (HPF) programs with `Block-Cyclic' distributions. Our framework is a practical software framework, and can handle the general cases so that the communication set of HPF programs of block-cyclic distributions with two-level alignments (or multiple-level alignments), multi-dimensional arrays, array intrinsic functions (such as Transpose operation), and affine indices and axis exchanges in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing works do not report a software framework to solve a problem with such general cases. In addition, our expression-rewriting framework is based on a new representative form, CSD, to describe the regularity of the access patterns of HPF programs with block-cyclic distribution. We also demonstrate a calculus of CSD that CSD is closed under intersection and normalization, which helps the process of calculating local enumeration and communication sets of HPF programs with block-cyclic distributions. We also utilize the characteristics of CSD calculus to provide a global-to-local mapping function for multiple level alignments and block-cyclic distributions. Experimental results show that our software scheme not only can be easily implemented in the practice, but also is with good efficiency.

Original languageEnglish
Pages (from-to)1105-1130
Number of pages26
JournalParallel Computing
Volume25
Issue number9
DOIs
Publication statusPublished - 1999 Sep

Fingerprint

Rewriting
Descriptors
Calculus
High Performance
Communication
Alignment
Software
Enumeration
Multidimensional Arrays
Subscript
Acoustic waves
Transpose
Normalization
Intersection
Regularity
Framework
Closed
Experimental Results
Demonstrate
Form

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computer Graphics and Computer-Aided Design
  • Artificial Intelligence

Cite this

Communication set generations with CSD calculus and expression-rewriting framework. / Hwang, Gwan Hwan; Lee, Jenq Kuen.

In: Parallel Computing, Vol. 25, No. 9, 09.1999, p. 1105-1130.

Research output: Contribution to journalArticle

@article{ede46c6a57af4d1ba8b5e35c21517b38,
title = "Communication set generations with CSD calculus and expression-rewriting framework",
abstract = "In this paper, we present a new framework based on expression-rewritings and a calculus form called common-stride descriptor (CSD) calculus to generate the local enumeration set and communication set for High Performance Fortran (HPF) programs with `Block-Cyclic' distributions. Our framework is a practical software framework, and can handle the general cases so that the communication set of HPF programs of block-cyclic distributions with two-level alignments (or multiple-level alignments), multi-dimensional arrays, array intrinsic functions (such as Transpose operation), and affine indices and axis exchanges in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing works do not report a software framework to solve a problem with such general cases. In addition, our expression-rewriting framework is based on a new representative form, CSD, to describe the regularity of the access patterns of HPF programs with block-cyclic distribution. We also demonstrate a calculus of CSD that CSD is closed under intersection and normalization, which helps the process of calculating local enumeration and communication sets of HPF programs with block-cyclic distributions. We also utilize the characteristics of CSD calculus to provide a global-to-local mapping function for multiple level alignments and block-cyclic distributions. Experimental results show that our software scheme not only can be easily implemented in the practice, but also is with good efficiency.",
author = "Hwang, {Gwan Hwan} and Lee, {Jenq Kuen}",
year = "1999",
month = "9",
doi = "10.1016/S0167-8191(99)00037-X",
language = "English",
volume = "25",
pages = "1105--1130",
journal = "Parallel Computing",
issn = "0167-8191",
publisher = "Elsevier",
number = "9",

}

TY - JOUR

T1 - Communication set generations with CSD calculus and expression-rewriting framework

AU - Hwang, Gwan Hwan

AU - Lee, Jenq Kuen

PY - 1999/9

Y1 - 1999/9

N2 - In this paper, we present a new framework based on expression-rewritings and a calculus form called common-stride descriptor (CSD) calculus to generate the local enumeration set and communication set for High Performance Fortran (HPF) programs with `Block-Cyclic' distributions. Our framework is a practical software framework, and can handle the general cases so that the communication set of HPF programs of block-cyclic distributions with two-level alignments (or multiple-level alignments), multi-dimensional arrays, array intrinsic functions (such as Transpose operation), and affine indices and axis exchanges in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing works do not report a software framework to solve a problem with such general cases. In addition, our expression-rewriting framework is based on a new representative form, CSD, to describe the regularity of the access patterns of HPF programs with block-cyclic distribution. We also demonstrate a calculus of CSD that CSD is closed under intersection and normalization, which helps the process of calculating local enumeration and communication sets of HPF programs with block-cyclic distributions. We also utilize the characteristics of CSD calculus to provide a global-to-local mapping function for multiple level alignments and block-cyclic distributions. Experimental results show that our software scheme not only can be easily implemented in the practice, but also is with good efficiency.

AB - In this paper, we present a new framework based on expression-rewritings and a calculus form called common-stride descriptor (CSD) calculus to generate the local enumeration set and communication set for High Performance Fortran (HPF) programs with `Block-Cyclic' distributions. Our framework is a practical software framework, and can handle the general cases so that the communication set of HPF programs of block-cyclic distributions with two-level alignments (or multiple-level alignments), multi-dimensional arrays, array intrinsic functions (such as Transpose operation), and affine indices and axis exchanges in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing works do not report a software framework to solve a problem with such general cases. In addition, our expression-rewriting framework is based on a new representative form, CSD, to describe the regularity of the access patterns of HPF programs with block-cyclic distribution. We also demonstrate a calculus of CSD that CSD is closed under intersection and normalization, which helps the process of calculating local enumeration and communication sets of HPF programs with block-cyclic distributions. We also utilize the characteristics of CSD calculus to provide a global-to-local mapping function for multiple level alignments and block-cyclic distributions. Experimental results show that our software scheme not only can be easily implemented in the practice, but also is with good efficiency.

UR - http://www.scopus.com/inward/record.url?scp=0032642152&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032642152&partnerID=8YFLogxK

U2 - 10.1016/S0167-8191(99)00037-X

DO - 10.1016/S0167-8191(99)00037-X

M3 - Article

AN - SCOPUS:0032642152

VL - 25

SP - 1105

EP - 1130

JO - Parallel Computing

JF - Parallel Computing

SN - 0167-8191

IS - 9

ER -