A Linear Algebra Framework for Static HPF Code Distribution

International audienceHigh Performance Fortran (HPF) was developed to support data parallel programming for simd and mimd machines with distributed memory The pro grammer is provided a familiar uniform logical address space and speci es the data distribution by directives The compiler then exploits these directives to allo cate 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 dis tributed code with space e cient 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 a ne framework makes it possible to prove the compilation scheme correct