Title | Analyzing concurrent and fault-tolerant software using stochastic reward nets |
Publication Type | Journal Article |
Year of Publication | 1992 |
Authors | G Ciardo, JK Muppala, and KS Trivedi |
Journal | Journal of Parallel and Distributed Computing |
Volume | 15 |
Issue | 3 |
Start Page | 255 |
Pagination | 255 - 269 |
Date Published | 01/1992 |
Abstract | We present two software applications and develop models for them. The first application considers a producer-consumer tasking system with an intermediate buffer task and studies how the performance is affected by different selection policies when multiple tasks are ready to synchronize. The second application studies the reliability of a fault-tolerant software system using the recovery block scheme. The model is incrementally augmented by considering clustered failures or the effective arrival rate of inputs to the system. We use stochastic reward nets, a variant of stochastic Pertri nets, to model the two software applications. In both models, each quantity to be computed is defined in terms of either the expected value of a reward rate in steady-state or at a given time θ, or as the expected value of the accumulated reward until absorption or until a given time θ. This allows extreme flexibility while maintaining a rigorous formalization of these quantities. © 1992. |
DOI | 10.1016/0743-7315(92)90007-A |
Short Title | Journal of Parallel and Distributed Computing |