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 :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00099423
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:03:16 AM
Last modification on : Thursday, February 7, 2019 - 2:21:16 PM
Long-term archiving on : Friday, November 25, 2016 - 11:55:29 AM

Identifiers

  • HAL Id : inria-00099423, version 1

Citation

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⟩

Share

Metrics

Record views

229

Files downloads

154