REDUNDANCY AND RENEWAL OF SERVERS IN OPENED QUEUING NETWORKS
G. Sh. Tsitsiashvili M.A. Osipova
Vladivostok, Russia1
An opened queuing network with a redundancy and a renewal of servers is considered. To calculate a stationary regime in this network directly it is necessary to consider sufficiently complicated and large system of linear algebraic equations. A special control of the network route matrix allows to use product theorems and so to simplify these calculations significantly.
At first the network with a variable set of servers is analyzed. Then we suppose that an each server of the network may fail and be restored independently. At last we consider different variants of servers redundancy in the opened network. Considered network models are on a joint of queuing and reliability theories.
Opened network with variable set of servers
Consider opened queuing network G [1, §2] with Poisson input flow with the intensity A and l ^ nodes. Each node contains single server with exponentially distributed service time with intensity fj,k, k = 1,...,l. Input flow comes into the network from the node 0 (internal source) and customers depart from the network to this node too.
Denote by S the set of all subsets (with ordered by values elements) of the set{1,...,l}. Fix s e S
and suppose that a motion of customers may be only between the nodes of the subset s
U{0} and
customers do not depart from other nodes and do not arrive in these nodes. A customer motion in s -th state of the network is defined by the indivisible route matrix ©( s) = w,: (s) •
J w II y v /||¿,7esU{0}
Vi, j e sU{0} 3 ii,...,in e sU{0}: ^ > 0,^ > 0,...,^ > 0. Suppose that for fixed A1,..., Al ,0 < Ai < nx, 1 < i < l, the route matrices © (s) satisfy the conditions
(A, A,i e s) = (A,A,i e s)©(s), s e S, s . (1)
For s = 0 customers do not arrive into the network, do not depart it, do not move between internal nodes of the network and are not served in them.
Fix A (s) > 0, s e S, £ A (s)
= 1, suppose that the matrix ^ (s, s )
seS
A(s) £ v(s,s*)= £ A(/)v(s).
is indivisible and
s,s eS
s eS s eS
1 [email protected], [email protected] 690041, Vladivostok, Radio 7 str.,Institute of Applied Mathematics, Far Eastern Branch of RAS
DenoteY = {n = (,...,nl):n1 > 0,...,nl > 0} and designate ej- l-dimensional vector in which j -th
component equals l and all others equal zero.
The network G with so controlled set of nodes is defined by Markov process x (t) = (s (t), y(t)) (s(t) characterizes a set of working nodes, y(t) characterizes numbers of customers in the network G nodes) with the state set X = S x Y and transition intensities (I (A) is and an indicator function of an event A)
A
((s,n),(,n )) = Ys (n,n )I(s = s*) +v(s,s*)I(n = n ).
Here for s e S, s *0,
(n, n )
A00k (s), n = n + ek, k e s,
min (nk,1)Mk0k0 (s^n* = n - ek,k e s, min (nk ,1) Mkekj (s), n* = n - ek + ej, k * j, k, j e s,
(2)
and ys (n, n*) = 0, s = 0. The process x(t) is ergodic [2, §4] and its limit distribution has the form
n(s,n) = A(s)n(n),(s,n) e X,
(3)
n(n) = C-1 n
l
i=1
A
i
i
n e Y, C = n i=i
j
Remark 1. If Ai = A < Jui, 1 < i < l, then arbitrary symmetric route matrices © (s), s e S, satisfy the conditions (1).
As an example consider an opened queuing network with two one-server nodes and a route matrix 6 which has zero diagonal elements and no diagonal elements. Here an input intensity is A and service intensities are j , j2. If both servers work then s={1,2} and this network is described by figure 1.
Figure 1. The queuing network with s={1,2}.
Suppose now that the first server works and the second server does not work. Then the initial two nodes network transforms into an one node network with s={1} and with =1 as for i=0, j=1 so for
i=1, j=0, in all other cases 0j =0.
£
to
Figure 2. The queuing network with s={1}.
Analogously it is possible to consider the case when s={2} and the second server works but the first server does not work.
Figure 3. Queuing network with s={2}. Last case is when both servers does not work and so s= 0.
Figure 4. Queuing network with s= 0. Now define failures and renewals of servers in considered networks as follows
Figure 5. Transitions between queuing networks with different structures. Here transition intensities in the figure 5 are defined by the matrix v(s, s* )
The formula (3) gives limit distribution in the queuing network with so variable structure and with A = = A in the formula (1). This network characterizes failures and renewals of servers in the initial
two node opened queuing network. Figures 1-5 show that even in this simple case a description of the opened queuing network with failures and renewals of servers is sufficiently complicated. To consider a redundancy of servers it is necessary to analyze significantly more complicated scheme. Next section is devoted to an analysis of this scheme.
Opened queuing network with failures and renewals of servers.
£
to
Consider closed queuing network Gk with a single working place, a single repair place and mk customers. The customers move along a route: a working part - a repair part and so on. The working (repair) part consists of a queue before the working (repair) place and of the working (repair) place. Each customer fails with an intensity ak at the working place and is repaired with an intensity
Pk at the repair place. So a service time at the working (at the repair) place may be interpreted as a working (repair) time of a customer and the closed queuing network Gk may be considered as a system of a redundancy (if mk >1) and a renewal.
Describe a current number of customers at the working part of the network Gk by ergodic discrete Markov process yk (t) with state set Yk = {nk :0 < nk < mk} and transition intensities
fk (nk,nk -1) = ak minI1,nk) fk (nk,nk + l) = Pk minI1,mk -nk), nk e Yk,
and limit distribution
Pk (nk ) = Ck
VOt J
, Ck1 = 2
nk ( n\
nk =0
Pk
Vak J
Remark 2. The transition intensities yk describe a system of an unloaded redundancy and a renewal. For a system of a loaded redundancy and a renewal [3] the process yk (t) has transition intensities
h ((, nk-1) = aknk, fk (nk, nk +l)=Pk (mk- nk), 0 < nk < mk,
and limit distribution
Pk (nk ) = Ck
\ak j
mk ( o\
Pk
Vak J
1
Consider l networks Gk, 1 < k < l, working independently, and describe them by Markov process y(t) with state set Y = {n = (n1,..., inl): nk e Yk ,1 < k < l} and transition intensities
and limit distribution
f ( " )= 2 fk (nk, nk)
v ' k=1 y '
p (a ) = n Pk (nk).
k=1
(4)
(5)
Suppose that a server in k-th node of the network G may fail and be restored as a customer in the closed network Gk, 1 < k < l. Then opened queuing network with a separate redundancy and a renewal
nk =0
of servers in each node may be described by discrete Markov process (y (t), y (t)) with state set Y x Y and transition intensities
a((w,n),(ñ*,n )) = /s(ñ) (n,n )I(ñ = n ) + y (ñ,n*)I(n = n ). (6)
Here;? (ñ, ñ *) are defined by the formulas (4), and ys(n) (n, n*) - by the formulas (2) with
s (n) = {k: ñk > 0,1 < k < /}.
(7)
If the conditions (1) are true then the process (y (t), y (t)) is ergodic and analogously to (3) its limit distribution has the form P (ñ )n(n), (n, n) e fx Y .
Remark 3. The formu/as (4), (5) describe independent and separate c/osed networks Gfc, 1 < k < /, of a redundancy and a renew a/ of the network G servers. But these networks may be aggregated into common c/osed queuing network GG with / working nodes (p/aces), fixed number of repair nodes (p/aces) and arbitrary indivisib/e route matrix.
Suppose that numbers of customers in a// nodes (not on/y working) of so defined network GG is described by some ergodic Markov process y (t) with state set Y, transition intensities y (ñ, ñ* )and
/imit distribution P(ñ). Then Markov process (y (t),y (t)) with transition intensities defined by (6), (7) has /imit distribution P (ñ)n(n), (ñ, n)e Yx Y .
dy
^ Supported by RFBR, project 06-01-00063-a and Far Eastern Branch of RAS, project 06-III-A-01-
t016.
References
[1] Basharin G.P., Tolmachev A.L. Theory of queuing networks and its applications to analysis of information-calculation systems. The Results of Science and Technique. Series: Probability Theory. Moscow: VINITI, 1983. P. 3-119 (in Russian).
[2] Tsitsiashvili G.Sh., Osipova M.A. New Product Theorems for Queuing Networks // Problems of Information Transmission. Vol. 41, № 2, 2005. Pp. 171-181.
[3] Gnedenko B.V., Beliaev Yu.K., Soloviev A.D. Mathematical methods in reliability theory. Moscow: Science, 1965, 524 p. (in Russian).