Correctness of automated distribution of sequential programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Correctness of automated distribution of sequential programs

Abstract

In this paper, we prove that the data-driven parallelization technique, which compiles sequential programs into parallel programs for distributed memory parallel computers, is correct. We define a model based on labeled transition systems, and we prove, from the chosen compilation rules, the confluence of all possible behaviours of the parallel programs we obtain, in spite of asynchronism due to the communications. We also show that this model is powerful enough to prove the correctness of various optimizations of the basic compilation mechanism.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1724.pdf (1.1 Mo) Télécharger le fichier

Dates and versions

inria-00076963 , version 1 (29-05-2006)

Identifiers

  • HAL Id : inria-00076963 , version 1

Cite

Cyrille Bareau, Benoit Caillaud, Claude Jard, René Thoraval. Correctness of automated distribution of sequential programs. [Research Report] RR-1724, INRIA. 1992. ⟨inria-00076963⟩
182 View
99 Download

Share

Gmail Facebook Twitter LinkedIn More