Loading...

Modeling performance of distributed programs by stochastic decision free petri nets

Ghodsi, M ; Sharif University of Technology | 2001

49 Viewed
  1. Type of Document: Article
  2. Publisher: Sharif University of Technology , 2001
  3. Abstract:
  4. In this paper, performance modeling of synchronization delays is considered in a distributed program which consists of a number of processes that interact via message passing only. A class of timed Petri nets called Stochastic Decision Free Petri Nets (SDFPNs) is used to model such distributed programs with deterministic control flow. An exact solution technique is proposed for this model which does not follow the usual approach of reachability analysis for Petri nets and solving global balance equations for a Markovian system. Therefore, it does not require exponential distributions and does not suffer from state space explosion. The complexity of exact solution is still exponential in terms of the number of transitions. Based on this solution, an iterative approximate algorithm is also proposed which is applicable to reasonably large models with much less complexity. Experimental results verify this claim
  5. Keywords:
  6. Computer program
  7. Source: Scientia Iranica ; Volume 8, Issue 4 , 2001 , Pages 287-296 ; 10263098 (ISSN)
  8. URL: http://scientiairanica.sharif.edu/article_2736.html