HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:53:12 PM
Last modification on : Friday, February 4, 2022 - 3:16:48 AM
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