Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena
Issue No. 04 - April (1986 vol. 12)
Gianfranco Balbo , Dipartimento di Informatica, Universitá di Tonno, Torino, Italy
Steven C. Bruell , Department of Computer Science, University of Iowa, Iowa City, IA 52242
Subbarao Ghanta , Department of Computer Science, University of Minnesota, Minneapolis, MN 55455
Much work has been done on the modeling of hardware resources; far fewer studies have been conducted on the impact of software systems on the underlying hardware. This paper addresses one such case in which blocking is present because of critical sections of code; this cannot be treated within the framework of product-form queueing network models. We show how a combination of Generalized Stochastic Petri Nets and queueing networks can easily model the situation under consideration. In addition, we will show how a simple extension of this model can be applied to studying realistic systems with several domains.
Computational modeling, Analytical models, Markov processes, Servers, Software, Hardware, serialization delays, Class migration, critical sections, domains, Generalized Stochastic Petri Nets, queueing networks
G. Balbo, S. C. Bruell and S. Ghanta, "Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 561-576, 1986.