Skip to Main content Skip to Navigation
New interface

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.
Document type :
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:03:16 AM
Last modification on : Thursday, October 27, 2022 - 1:45:02 PM
Long-term archiving on: : Friday, November 25, 2016 - 11:55:29 AM


  • 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⟩



Record views


Files downloads