Skip to Main content Skip to Navigation

Static domain analysis for compiling commutative loop nests

Marc Le Fur 1 Jean-Louis Pazat 1 Françoise André 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : In the field of scientific computation, many users wish to use the sequential programming model, even though they aim to execute their program on a Distributed Memory Parallel Computer (DMPC). To meet this demand, some prototypes of compilers have been designed to "distribute" sequential programs onto DMPCs. In this paper, we present a static domain analysis which leads to the generation of efficient code for these machines. This analysis relies on the enumeration of the points of a polyhedron which is based on linear and integer programming.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:53:12 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 9:38:25 PM


  • HAL Id : inria-00074605, version 1


Marc Le Fur, Jean-Louis Pazat, Françoise André. Static domain analysis for compiling commutative loop nests. [Research Report] RR-2067, INRIA. 1993. ⟨inria-00074605⟩



Record views


Files downloads