A symbolic cost model for asynchronous parallel programs with structured dependences

Abstract : We propose to associate a symbolic cost to a asynchronous parallel program. In contrast to classical approaches, we take into account all the dynamic asynchronism related to the different initial states that generate dynamic independences. We introduce an asynchronous intermediate model called SCP. It only imposes static independences allowing a sequential lecture of programs. To compute the symbolic cost, we condition the existence of a dependence by annotating it with a predicate on program variables. To evaluate the cost in the initial environment, predicates are transformed by a backward method based on the model Weakest Liberal Preconditions Calculus. The resulting symbolic cost is parameterized by the initial environment and integrates dynamic dependences.
Type de document :
[Intern report] A02-R-031 || melin02a, 2002, 21 p
Liste complète des métadonnées

Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:03:16
Dernière modification le : jeudi 9 août 2018 - 14:42:02
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:55:29



  • HAL Id : inria-00099423, version 1


Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot. A symbolic cost model for asynchronous parallel programs with structured dependences. [Intern report] A02-R-031 || melin02a, 2002, 21 p. 〈inria-00099423〉



Consultations de la notice


Téléchargements de fichiers