TY - GEN
T1 - Expression-rewriting framework to generate communication sets for HPF programs with block-cyclic distribution
AU - Hwang, Gwan-Hwan
AU - Lee, Jenq Kuen
PY - 1998/1/1
Y1 - 1998/1/1
N2 - In this paper, we present a new framework based on expression rewritings and a calculus form called CSD calculus to generate the local enumeration set and communication set for HPF programs with Block-Cyclic distribution. 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), multidimensional arrays, array intrinsic functions (such as Transpose operation), and affine indexes and axis exchange in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing work 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 (common-stride descriptor), 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. 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 CSD calculus to generate the local enumeration set and communication set for HPF programs with Block-Cyclic distribution. 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), multidimensional arrays, array intrinsic functions (such as Transpose operation), and affine indexes and axis exchange in the array subscript, can be calculated in a systematic way with a sound software foundation. Previously, existing work 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 (common-stride descriptor), 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. 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=0031650330&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0031650330&partnerID=8YFLogxK
U2 - 10.1109/IPPS.1998.669891
DO - 10.1109/IPPS.1998.669891
M3 - Conference contribution
AN - SCOPUS:0031650330
SN - 0818684046
T3 - Proceedings of the International Parallel Processing Symposium, IPPS
SP - 62
EP - 68
BT - Proceedings of the International Parallel Processing Symposium, IPPS
A2 - Anon, null
T2 - Proceedings of the 1998 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing
Y2 - 30 March 1998 through 3 April 1998
ER -