A Linear Algebra Framework for Static HPF Code Distribution
Corinne Ancourt, Fabien Coelho, Ronan Keryell and François Irigoin.
Report EMP CRI A-278, November 1995.
43 pages, 89 references.
Abstract
High Performance Fortran (HPF) was developed to support data
parallel programming for SIMD and MIMD machines with
distributed memory. The programmer is provided a familiar
uniform logical address space and specifies the data
distribution by directives. The compiler then exploits these
directives to allocate arrays in the local memories, to
assign computations to elementary processors and to migrate
data between processors when required. We show here that
linear algebra is a powerful framework to encode HPF
directives and to synthesize distributed code with
space-efficient array allocation, tight loop bounds and
vectorized communications for INDEPENDENT loops. The
generated code includes traditional optimizations such as
guard elimination, message vectorization and aggregation,
overlap analysis... The systematic use of an affine
framework makes it possible to prove the compilation scheme
correct.
Paper:
.ps.Z (173KB)
.ps.gz (130KB)