We derive the joint equilibrium distribution of queue sizes in a network of queues containing N service centers and R classes of customers. The equilibrium state probabilities have the general form: P(S) - Cd(S) $f_1$($x_1$)$f_2$($x_2$)...$f_N$($x_N$) where S is the state of the system, $x_i$ is the configuration of customers at the ith service center, d(S) is a function of the state of the model, $f_i$ is a function that depends on the type of the ith service center, and C is a normalizing constant. We consider four types of service centers to model central processors, data channels, terminals, and routing delays. The queueing disciplines associated with these service centers include first-come-first-served, processor sharing, no queueing, and last-come-first-served. Each customer belongs to a single class of customers while awaiting or receiving service at a service center but may change classes and service centers according to fixed probabilities at the completion of a service request. For open networks we consider state dependent arrival processes. Closed networks are those with no arrivals. A network may be closed with respect to some classes of customers and open with respect to other classes of customers. At three of the four types of service centers, the service times of customers are governed by probability distributions having rational Laplace transforms, different classes of customers having different distributions. At first-come-first-served type service centers the service time distribution must be identical and exponential for all classes of customers. Many of the network results of Jackson on arrival and service rate dependencies, of Posner and Bernholtz on different classes of customers, and of Chandy on different types of service centers are combined and extended in this paper. The results become special cases of the model presented here. An example shows how different classes of customers can affect models of computer systems. Finally, we show that an equivalent model encompassing all of the results involves only classes of customers with identical exponentially distributed service times. All of the other structure of the first model can be absorbed into the fixed probabilities governing the change of class and change of service center of each class of customers.
[1]
D. Cox.
A use of complex probabilities in the theory of stochastic processes
,
1955,
Mathematical Proceedings of the Cambridge Philosophical Society.
[2]
Journal of the Association for Computing Machinery
,
1961,
Nature.
[3]
W. J. Gordon,et al.
Closed Queuing Systems with Exponential Servers
,
1967,
Oper. Res..
[4]
William Feller,et al.
An Introduction to Probability Theory and Its Applications
,
1967
.
[5]
B. Bernholtz,et al.
Closed Finite Queuing Networks with Time Lags and with Several Classes of Units
,
1968,
Oper. Res..
[6]
P. Whittle.
Equilibrium distributions for an open migration process
,
1968,
Journal of Applied Probability.
[7]
Arthur E. Ferdinand,et al.
An Analysis of the Machine Interference Model
,
1971,
IBM Syst. J..
[8]
Charles Gilbert Moore,et al.
Network models for large-scale time-sharing systems
,
1971
.
[9]
Jeffrey Buzen,et al.
Analysis of system bottlenecks using a queueing network model
,
1971,
SIGOPS Workshop on System Performance Evaluation.
[10]
Jeffrey P. Buzen,et al.
Queueing Network Models of Multiprogramming
,
1971,
Outstanding Dissertations in the Computer Sciences.
[11]
K. Mani Chandy,et al.
Design automation and queueing networks: An interactive system for the evaluation of computer queueing models
,
1972,
DAC '72.
[12]
F. Baskett.
The dependence of computer system queues upon processing time distribution and central processor scheduling
,
1972,
OPSR.
[13]
Stephen S. Lavenberg.
Queueing Analysis of a Multiprogrammed Computer System Having a Multilevel Storage Hierarchy
,
1973,
SIAM J. Comput..