Professional Documents
Culture Documents
Abstract
We study a vacation queueing system with a single server simultaneously dealing with an M/G/1 and an
M/D/1 queue. Two classes of units, priority and non-priority, arrive at the system in two independent Poisson
streams. Under a non-preemptive priority rule, the server provides a general service to the priority units and a
deterministic service to the non-priority units. We further assume that the server may take a vacation of random length just after serving the last priority unit present in the system. We obtain steady state queue size
distribution at a random epoch. Corresponding results for some special cases, including the known results of
the M/G/1 and the M/D/1 queues, have been derived.
Keywords: Non Preemptive Priority Queueing System, Modified Server Vacations, Combination of General
Service and Deterministic Service, Steady State, Queue Size Distribution
1. Introduction
Several authors including Cobham [1], Phipps [2],
Schrage [3], Jaiswal [4], Madan [5], Simon [6], Takagi
[7], Choi and Chang [8] have studied priority queues.
These authors and several others have studied single
server or multi-server queues with two or more priority
classes under preemptive or non-preemptive priority rules.
All these authors essentially assume the same service
time distribution for all classes of units with identical or
different service rates. Madan and Abu-Dayyeh [9] deal
with a single server queueing system with two classes of
units, priority units and non-priority units. Under the
non-preemptive queue discipline, they assume that the
service time V of a priority unit has a general distribution
and that of a nonpriority unit is deterministic. Thus their
model is a combination of the M/G/1 and M/D/1 queues
and the server keeps switching over these two queues
depending on the class of units present in the system. For
separate references on M/G/1 and M/D/1 queues, the
reader is referred to Bhat [10], Levy and Yechiali [11],
Kleinrock [12], Cohen [13], Lee [14], Gross and Harris
[5], Cox and Miller [16], Tijms [17], Yang and Li [18],
Copyright 2011 SciRes.
AM
K. C. MADAN
792
b x
1 B x
(2.1)
and, therefore,
s
b s s exp x dx .
0
1 A x
(2.3)
lim Pm , n t Pm , n x dx Pm , n ,
1
lim Vm , n x, t Vm , n x ,
t
and lim Q t Q
t
and, therefore,
s
a s s exp x dx .
0
We define
(2.2)
(2.4)
K. C. MADAN
793
Pm x, z2 Pm , n x z2n ; Pn x, z1
1
n0
P x, z1 , z2
1
Pm ,n x z1m ,
1
m0
n 0
m 0 n 0
P z1 , z2 P x, z1 , z2 dx Pm , n z1m z2n ,
1
Vm x, z2 Vm , n x z2n ; Vn x, z1
n0
(3.1b)
(3.1c)
m0 n0
V x, z1 , z2
(3.1a)
m0
Vm, n x z1m ,
m0
n0
m0 n 0
(3.1e)
(3.1f)
m0 n0
P0
(3.1d)
m0
z2 P0, 2n z2n ,
(3.1g)
n 0
P0 z2 P0, n z2n ,
1
(3.1h)
n0
exp d
1 1d
R z1 ri z1i
i!
i 0
i 0
i
z1 exp 1d 1 z1 ,
exp 2 d 2 d j
K z2 k z
j!
j 0
j 0
j
j 2
j
z exp 2 d 1 z2 ,
2
(3.1i)
(3.1j)
z1 1, z2 1.
d 1
1
1
Pm,0 x 1 2 x Pm ,0 x 1 Pm 1,0 x , m 1, n 0,
dx
(4.2)
d 1
1
1
P0, n x 1 2 x P0, n x 2 P0, n1 x , m 0, n 1,
dx
(4.3)
d 1
1
P0,0 x 1 2 x P0,0
x 0, m 0, n 0,
dx
(4.4)
d
Vm, n x 1 2 x Vm, n x 1Vm 1, n x 2Vm, n 1 x , m 1, n 1,
dx
d
Vm,0 x 1 2 x Vm,0 x 1Vm 1,0 x , m 1, n 0,
dx
d
V0, n x 1 2 x V0, n x 2V0, n 1 x , m 0, n 1,
dx
Copyright 2011 SciRes.
(4.1)
(4.5)
(4.6)
(4.7)
AM
K. C. MADAN
794
d
V0,0 x 1 2 x V0,0 x 0, m 0, n 0,
dx
Q Q P0,0
r0 k0 1 p P0,0
x dx V0,0 x x dx,
n 1
j 1
(4.10)
P0, n Q P0,0
r0 kn 1 P0, j r0 kn 1 j 1 p P0, n1 x dx V0, n 1 x x dx, n 1.
2
(4.9)
P0,0
Q P0,0
r0 k1 P0,1
r0 k0 1 p P0,1
x dx V0,1 x x dx,
2
(4.8)
(4.11)
The above equations are to be solved subject to the following boundary conditions:
j 0
Pm ,0 0 Pm 1,0 x x dx P0,0
rm 1k0 Qrm 1k0 Vm 1,0 x x dx, m 1, n 0,
1
(4.12)
(4.13)
j 0
P0,0
0 P1,0 x x dx P0,0 r1k0 Qr1k0 V1,0 x x dx, m 0 n.
1
(4.14)
(4.15)
(4.16)
n 1
d 1
1
1
1
Pm x, z2 1 2 x Pm x, z2 1 Pm 1 x, z2 2 z2 Pm x, z2 , m 1,
dx
d 1
1
1
P0 x, z2 1 2 x P0 x, z2 2 z2 P0 x, z2 .
dx
Next, we perform
(4.17)
(4.18)
m 1
d 1
1
P x, z1 , z2 1 1 z1 2 1 z2 x P x, z1 , z2 0.
dx
n 1
n 1
d
Vm x, z2 1 2 x Vm x, z2 1Vm 1 x, z2 2 z2Vm x, z2 , m 1,
dx
d
V0 x, z2 1 2 x V0 x, z2 2 z2V0 x, z2 .
dx
Next, we perform
(4.19)
(4.20)
(4.21)
m 1
AM
K. C. MADAN
795
d
V x, z1 , z2 1 1 z1 2 1 z2 x V x, z1 , z2 0.
dx
(4.22)
4.9 4.10 z2 4.11 z2n 1 , use (3.1) and simplify. Thus we have
Then we perform
n 1
z2 P0
(4.23)
(4.24)
m 1
m 1
z1 Pn 0, z1 Pn x, z1 x dx P0, n x x dx Vn x, z1 x dx V0, n x x dx
1
(4.25)
R z1 r0 P0, j kn j R z1 r0 Qkn , n 1,
2
j 0
n 1
z1 P0 0, z1 P0 x, z1 x dx P0,0
x x dx V0 x, z1 x dx V0,0 x x dx R z1 r0 P0,0 Q k0 .
1
(4.26)
And yet again, we perform
4.25 z2n 4.26 , use (3.1) and simplify. This operation yields
n 1
z1 P 0, z1 , z2 P x, z1 , z2 x dx P0 x, z2 x dx V x, z1 , z2 x dx V0 x, z2 x dx
1
R z1 r0 P0
Similarly, on performing
z2 Q K z 2 .
4.16 z2n
(4.27)
n 0
V0 0, z2 p P0 x, z2 x dx .
1
(4.28)
1
1
P x, z1 , z2 P 0, z1 , z2 exp 1 1 z1 x 2 1 z2 x t dt ,
0
(4.29)
V x, z1 , z2 V 0, z1 , z2 exp 1 1 z1 x 2 1 z2 x t dt .
0
(4.30)
V x, z1 , z2 V0 0, z2 exp 1 1 z1 x 2 1 z2 x t dt .
0
(4.31)
AM
K. C. MADAN
796
1 V * 1 1 z1 2 1 z2
V z1 , z2 V0 0, z2
,
1 1 z1 2 1 z2
(4.32)
(4.33)
where
B* 1 1 z1 2 1 z2 e
1 1 z1 2 1 z2
1 1 z1 2 1 z2
V * 1 1 z1 2 1 z2 e
0
1
1
P0 x, z2 P0 0, z2 exp 1 x 2 1 z2 x t dt .
0
(4.34)
V0 x, z2 V0 0, z2 exp 1 x 2 1 z2 x t dt .
0
(4.35)
P x, z1 , z2 x dx , P0 x, z2 x dx
0
and
V0 x, z2 x dx
1
1
*
P x, z1 , z2 x dx B 1 1 z1 2 1 z2 P 0, z1 , z2 ,
(4.36)
1
1
*
P0 x, z2 x dx B 1 2 1 z2 P0 0, z2 ,
(4.37)
Similarly, we multiply Equations (4.31) and (4.35) by x , integrate by parts with respect to x and obtain
V x, z1 , z2 x dx V
0
1 1 z1 2 1 z2 V0 0, z2
(4.38)
1 2 1 z2 V0 0, z2 .
(4.39)
V0 x, z2 x dx V
0
Using Equations (4.36) to (4.39) into Equations (4.24), (4.27) and (4.28), we obtain
z2 r0 K z2 P0 2 z2 1 p B 1 2 1 z2 P0(1) 0, z2 Qr0 K z2 Q V 1 2 1 z2 V0 0, z2
Copyright 2011 SciRes.
(4.40)
AM
K. C. MADAN
797
z1 P 0, z1 , z2 B 1 1 z1 2 1 z2 P 0, z1 , z2 B 1 2 1 z2 P0 0, z2
1
V 1 1 z1 2 1 z2 V0 0, z2 V 1 2 1 z2 V0 0, z2
(4.41)
R z1 r0 P0 2 z2 Q K z2 .
V0 0, z2 pB 1 2 1 z2 P01 0, z2
R z1 by e 1 1 and K z2 by e
(3.1f) and (3.1g) and simplify. We obtain
r0 e
2 d 1 z2
P z 1 p pV
2
(4.42)
d 1 z
1 2 1 z2 B 1 2 1 z2 P0 0, z2 Qr0 e
1
2 d 1 z2
2 d 1 z2
from
(4.43)
z B 1 1 z1 2 1 z2 P 1 0, z1 , z2
B 1 2 1 z2 P0 0, z2 pB 1 2 1 z2 V 1 1 z1 2 1 z2 P0 0, z2
1
pB 1 2 1 z2 V 1 2 1 z2 P01 0, z2 e 11d 1 11 r0
P z Q e
2
2 d 1 z2
(4.44)
.
Now, substituting for P 0, z1 , z2 from Equation (4.44) into Equation (4.32), we have
1
1 B* 1 1 z1 2 1 z2 d 1 z
2
d 1 z
e 1 1 r0 P0 z2 Q e 2 2
1
z
1
z
1
1
2
2
1
P z1 , z2
*
z1 B 1 1 z1 2 1 z2
1 B* [1 1 z1 2 1 z2 ] *
1
B 1 2 1 z2 P0 0, z2
1
z
1
z
1
1
2
2
*
z1 B 1 1 z1 2 1 z2
1 B* 1 1 z1 2 1 z2
1
pB* 1 2 1 z2 V * 1 1 z1 2 1 z2 P0 0, z2
z
z
1
1
1
2
2
z1 B* 1 1 z1 2 1 z2
(4.45)
1 B 1 1 z1 2 1 z2
1
pB* 1 2 1 z2 V * 1 2 1 z2 P0 0, z2
z
z
1
1
1
2
2
z1 B* 1 1 z1 2 1 z2
*
1d 1
r0
(2)
0
z2 Q e d 1 z
2
B* 1 2 1 z2 P01 0, z2
pB* 1 2 1 z2 V * 1 1 2 1 z2 P0 0, z2
1
(4.46)
pB* 1 2 1 z2 V * 1 2 1 z2 P0 0, z2 0.
1
Now, we solve Equations (4.43) and (4.46) for the two unknowns P0 0, z2 and P0
1
P0 o, z
1
1d 1
r0 e
2 d 1 z2
Dz
1 z2 Q
z2 . Thus we obtain
(4.47)
AM
K. C. MADAN
798
B 1 2 1 z2
P0
1 p pV 1 2 1 z2 r0 e 1d 1 e 2 d 1 z2
d 1 z
(1 pV 1 1 z1 2 1 z2 pV 1 2 1 z2 1 r0 e 2 2
Dz
z2
(4.48)
where D(z) in Equations (4.47) and (4.48) is the common denominator given by
d 1
D z B 1 2 1 z2 1 p pV [1 2 1 z2 e 1 r0
(1 pV 1 1 z1 2 1 z2 pV 1 2 1 z2 z2 r0 e 2 d 1 z2
maining unknown Q.
Using L Hopitals rule and proceeding as in Madan
and Aby-Dayyeah (2003), we obtain
1 1 ( E S pE V 1 2 d
1d E S pE V 1 2 d 1 1 E S pE V
(4.50)
1 Q
(4.49)
1d ( E S pE V 1 2 d 1 1 ( E S pE V 2 d
1d E S pE V 1 2 d 1 1 E S pE V
(4.51)
The stability condition, under which the steady state exists, emerges from (4.50 and (4.51)). This condition is given
by
0
1d ( E S pE V 1 2 d 1 1 ( E S pE V 2 d
1d E S pE V 1 2 d 1 1 E S pE V
1.
(4.52)
Note that (4.52) essentially implies that 1 E S pE V 1 and 2 d 1 should jointly hold for the steady state
to exist. This is also intuitively true.
6. Particular Cases
Case 1: If there are no server vacations, then we let p = 0 in the above results (4.45) to (4.52) and obtain
1 B* 1 1 z1 2 1 z2 d 1 z
d 1 z
2
e 1 1 r0 P0 z2 Q e 2 2
1
z
1
z
1
1
2
2
1
P z1 , z2
*
z1 B 1 1 z1 2 1 z2
1 B* 1 1 z1 2 1 z2 *
1
B 1 2 1 z2 P0 0, z2
1
z
1
z
1
1
2
2
z1 B* 1 1 z1 2 1 z2
1d 1
r0
P z Q e
2
(4.53)
2 d 1 z2
B* 1 2 1 z2 P0 0, z2
1
(4.54)
AM
K. C. MADAN
1
P0
P0
z2
o, z
1d 1
r0 e
2 d ( 1 z2
B 1 2 1 z2 r0 e
1d 1
(4.55)
2 d 1 z2
1 r0 e
2 d 1 z2
B 1 2 1 z2 z2 r0 e
1 1 E S 1 2 d
Q
1dE S 1 2 d 1 1 E S
1dE S 1 2 d 1 1 E S 2 d
1dE S 1 2 d 1 1 E S
1dE S 1 2 d 1 1 E S 2 d
1dE S 1 2 d 1 1 E S
1.
(4.59)
(4.56)
[6]
[7]
[8]
[9]
(4.58)
2 d 1 z2
(4.57)
1 z2 Q
B 1 2 1 z2 z2 r0 e 2 d 1 z2
1 Q
799
7. References
[1]
[17] H. C. Tijms, Stochastic Models: An Algorithmic Approach, Wiley, New York, 1994.
A. Cobham, Priority Assignments in Waiting Line Problems, Operions Research, Vol. 2, No. 1, 1954, pp.
70-76. doi:10.1287/opre.2.1.70
[2]
[3]
[4]
[5]
[12] L. Kleinrock, Queueing Systems, Vol. 2, Computer Applications, Wiley, New York, 1976.
[13] J. W. Cohen, The Single Server Queue, 2nd Edition,
North-Holland, Amsterdam, 1982.
[14] T. T. Lee, M/G/1/N Queue with Vacation Times and
Exhaustive Service Discipline, Operations Research,
Vol. 32, No. 4, 1984, pp. 774-786.
doi:10.1287/opre.32.4.774
[18] T. Yang and H. Li, The M/G/1 Retrial Queue with the
Server Subject to Starting Failures, Queueing Systems,
Vol. 16, No. 1-2, 1994, pp. 83-96.
doi:10.1007/BF01158950
[19] B. D. Bunday, Basic Queueing Theory, 2nd Edition,
Edward Arnold, Melbourne, 1995.
[20] K. C. Madan, An M/G/1 Queue with Optional Deterministic Server Vacations, Metron, Vol. 57, No. 3-4, 1999,
pp. 83-95.
[21] K. C. Madan, An M/G/1 Queue with Second Optional
Service, Queueing Systems, Vol. 34, No. 1-4, 2000, pp.
37-46. doi:10.1023/A:1019144716929
AM