A Linear Algebra Framework for Static High Performance Fortran Code Distribution

High Performance Fortran (HPF) was developed to support data parallel programming for single-instruction multiple-data (SIMD) and multiple-instruction multiple-data (MIMD) machines with distributed memory. The programmer is provided a familiar uniform logical address space and specifies the data dis...

Full description

Bibliographic Details
Main Authors: Corinne Ancourt, Fabien Coelho, FranÇois Irigoin, Ronan Keryell
Format: Article
Language:English
Published: Hindawi Limited 1997-01-01
Series:Scientific Programming
Online Access:http://dx.doi.org/10.1155/1997/195689
Description
Summary:High Performance Fortran (HPF) was developed to support data parallel programming for single-instruction multiple-data (SIMD) and multiple-instruction multiple-data (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, and overlap analysis. The systematic use of an affine framework makes it possible to prove the compilation scheme correct.
ISSN:1058-9244
1875-919X