Static domain analysis for compiling commutative loop nests

Marc Le Fur; Jean-Louis Pazat; Françoise André

inria-00074605, version 1

Static domain analysis for compiling commutative loop nests

Marc Le Fur ¹, Jean-Louis Pazat ()^a^, 1, Françoise André ()^b^, 1

N° RR-2067 (1993)

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.

a – Institut National des Sciences Appliquées de Rennes
b – Université Rennes I
1: PAMPA (INRIA - IRISA)
CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1

inria-00074605, version 1
http://hal.inria.fr/inria-00074605
oai:hal.inria.fr:inria-00074605
From: Rapport De Recherche Inria <>
Submitted on: Wednesday, 24 May 2006 15:53:12
Updated on: Monday, 5 March 2007 14:48:00

See detailed view

Associated documents

PS :

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00074605"><monogr>
<author><persName><forename>Marc</forename><surname>Le Fur</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">PAMPA</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Louis</forename><surname>Pazat</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">PAMPA</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Françoise</forename><surname>André</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">PAMPA</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<title type="main" level="m">Static domain analysis for compiling commutative loop nests</title><title type="main" level="m">Static domain analysis for compiling commutative loop nests</title><imprint><biblScope type="publicationDate">1993-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00074605</idno><idno type="HALFile">http://hal.inria.fr/inria-00074605/PDF/RR-2067.pdf</idno></biblStruct>
</listBibl>
</listBibl>