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 Jan 1

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, 01.01.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 = "Gwan-Hwan Hwang and Lee, {Jenq Kuen}",
year = "1999",
month = "1",
day = "1",
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/1/1

Y1 - 1999/1/1

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 -