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 language | English |
|---|---|
| Pages (from-to) | 1105-1130 |
| Number of pages | 26 |
| Journal | Parallel Computing |
| Volume | 25 |
| Issue number | 9 |
| DOIs | |
| Publication status | Published - 1999 Jan 1 |
Fingerprint
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 journal › Article
}
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 -