766
Views
1
CrossRef citations to date
0
Altmetric
Research Article

On queue with two types of general heterogeneous service with Bernoulli feedback

ORCID Icon & | (Reviewing Editor)
Article: 1 | Received 04 Sep 2017, Accepted 24 Jan 2018, Published online: 08 Feb 2018

Abstract

This paper deals with the steady-state behavior of an M/G/1 queue with two types of general heterogeneous service to the arriving customers and Bernoulli feedback. We first derive the steady-state probability generating functions for the queue size distributions at a random epoch as well as at a departure epoch. Next, we derive the mean queue size at random epoch and the mean waiting time. Also, we obtain the mean busy period of this model and discuss some important particular cases.

Public Interest Statement

As the congestion problem in teletraffic, the range of applications has grown to include not only telecommunications and computer science, but also manufacturing, air traffic control, military logistics, call centers, supermarkets, inventories, hospitals, and many other areas that involve service systems whose demands are random. The mathematical analysis of the model established the indices that presumably relate the physical and stochastic parameters to certain performance measures, such as average response and waiting time, server utilization, system throughput, probability of buffer overflow, distribution function of response and waiting time, busy period of server. The system contains sufficient detail so that its performance measures reflect the behavior of the real system.

1. Introduction

Queueing situations in which the idle server may take vacations encounter in computer, communication and manufacturing systems, etc. Many researchers have studied the vacation queueing systems in different frameworks and elaborated many applications of such vacation models.

Miller (Citation1964) was the first to study the vacation model, where the server is unavailable for some random length of time for the M/G/1 queueing system. After Levy and Yechiali (Citation1975) included several types of generalizations of the classical M/G/1 queueing system, this type of model has also been reported by a number of authors. When the service of a customer is unsuccessful, it may be retried again and again until a successful service completed. Takács (Citation1963) was the first to study such a model, where the customer who completed their service are feedback instantaneously to the tail of the queue with probability p (0 ≤ p ≤ 1) or departs from the system forever with probability q{ = (1 − p)}. This mechanism is known as Bernoulli feedback. These queueing models arise in the stochastic modeling of many real life situations. For example, in data transmission, a packet transmitted from the source to the destination may be returned and it may go on until the packet is finally transmitted. Boxma and Yechiali (Citation1997) studied such a model where the service time of the unit taken for its first service different from the subsequent service times of the unsuccessful units with gated vacations. Choi, Kim, and Choi (Citation2003) investigated this model in more depth. Recently, Choudhury and Paul (Citation2005) investigates an M/G/1 queueing system where the server provides two phases of general heterogeneous service and Bernoulli feedback.

2. The mathematical model

Customer arrives at the system in a compound Poisson process. There is a single server who provides two kinds of general heterogeneous one by one service to customers on a first come first served basis. Before his service starts, each customer has the option to choose the first service with probability q1 or the second service with probability p1 where q1 + p1 = 1. As soon as the system becomes empty, the server takes a vacation for a random length of time called vacation time to do other jobs, which is uninterruptible. After returning from that vacation, there are two possibilities, viz. (1) he keeps on taking vacations till he finds at least one unit in the queue (multiple vacations) or (2) he may take only one vacation between two successive busy periods (single vacation). After completion of first phase of service (FPS) or second phase of service (SPS) if the customer (unit) is not satisfied with his service for certain reason or if he received unsuccessful service, then he may immediately join the tail of the original queue as a feedback customer for receiving another regular service with probability θ (0 ≤ θ ≤ 1), otherwise he may depart forever from the system with probability θ’ (=1 − θ). Let B1, B2 denotes the service time of SPS and SPS, respectively (Figure ). Assume that each of B1, B2 has a general distribution with distribution function Bi(x), i = 1, 2 respectively and probability density function bi(x), Laplace Stieltzes transform (LST) Bi(s) and finite moments βi(k), k ≥ 1 for i = 1, 2 (denoting FPS and SPS respectively). The model under the investigation is depicted in the Figure 1.

Figure 1. Queueing system with multiple vacation and Bernoulli feedback.

Figure 1. Queueing system with multiple vacation and Bernoulli feedback.

Also, let V be the vacation time random variable, v(x) be the probability density function and its distribution function is V(X) and LST is V*(s) so that the total service time required by a unit to complete the service time period is given by,B=B1; with probabilityq1B2; with probabilityp1

Therefore, the LST B*(s) of B is given by,B(s)=q1B1(s)+p1B2(s)

And the first two raw moments are,β1=q1β1(1)+p1β2(1)β2=q1β1(2)+p1β2(2)

3. Steady-state equations

Assume that the system is in steady state condition and define that NQ(t) be the queue size at time t, Bi0(t) be the elapsed ith types of service at time t and V0(t) be the elapsed vacation time at time t, i = 1, 2. Let us introduce the following random variable,Y(t)=0; if the system is idle at timet1 ; if the system is busy with FPS at timet2 ; if the system is busy with SPS at timet

Therefore, the supplementary variables B10(t), B20(t) and V0(t) are introduced in order to obtain a bivariate Markov process NQt,L(t), whereL(t)=0ifY(t)=0,L(t)=V0(t)ifY(t)=0,L(t)=B10(t)ifY(t)=1,L(t)=B20(t)ifY(t)=2

And we define,U(t)=Prob[NQ(t)=0,L(t)=0]Vn(x,t)=Prob[NQ(t)=n,L(t)=V0(t);x<V0tx+dx];x>0,n0Pn,i(x,t)=Prob[NQ(t)=n,L(t)=Bi0(t);x<Bi0(t)x+dx];x>0,n0,i=1,2

Further, we assume that Bi(0) = 0, Bi(∞) = 1, V(0) = 0, V(∞) = 1, i = 1, 2 and Bi(x), V(x) are continuous at x = 0 so that μi(x) = bi(x)1-Bi(x); i = 1,2 and therefore we have,bi(Ω)=μi(x)e-0Ωμi(x)dx,i=1,2

Also ϑ(x) = v(x)1-V(x) and therefore v(ψ) = ϑ(x) -0ψ θ(x) d(x).

Let us define the following PDF:Pi(x,z)=n=0Pn,i(x)zn,Pi(z)=n=0Pn,izn,i=1,2,|z|1V(x,z)=n=0Vn(x)zn,V(z)=n=0Vnzn,|z|1

To analyze this model at stationary point of time, we can use the forward Kolmogorov equations, which under the steady-state conditions are:(1) ddxPn,1(x)+[λ+μ1(x)]Pn,1(x)=λPn-1,1(x),n0(1) (2) ddxPn,2(x)+[λ+μ2(x)]Pn,2(x)=λPn-1,2(x),n0(2) (3) ddxVn(x)+[λ+ϑ(x)]Vn(x)=λVn-1(x),n0(3) (4) λU=θ0ϑ(x)V0(x)dx+θ0P1,0(x)μ1(x)dx+θ0P2,0(x)μ2(x)dx(4)

These equations are to be solved under the following boundary conditions,(5) Pn,1(0)=q1θ0Pn,1(x)μ1(x)dx+q1θ0Pn+1,1(x)μ1(x)dx+q1θ0ϑxVn(x)dx+q1θ0ϑxVn+1(x)dx+q1θ0Pn,2(x)μ2(x)dx+q1θ0Pn+1,2(x)μ2(x)dx,n1(5) (6) P0,1(0)=q10P1,0(x)μ1(x)dx+q1θ0P1,1(x)μ1(x)dx+q1θ0ϑxV0(x)dx+q1θ0ϑxV1(x)dx+q1θ0P0,2(x)μ2(x)dx+q1θ0P1,2(x)μ2(x)dx+λUq1(6) (7) Vn(0)=0Pn,1xμ1(x)dx+0Pn,2xμ2(x)dx,n0(7) (8) Pn,2(0)=p1θ0Pn,1(x)μ1(x)dx+p1θ0Pn+1,1(x)μ1(x)dx+p1θ0ϑxVn(x)dx+p1θ0ϑxVn+1(x)dx+p1θ0Pn,2(x)μ2(x)dx+p1θ0Pn+1,2(x)μ2(x)dx,n1(8) (9) P0,2(0)=p1θ0P1,0(x)μ1(x)dx+p1θ0P1,1(x)μ1(x)dx+p1θ0ϑxV0(x)dx+p1θ0ϑxV1(x)dx+p1θ0P0,2(x)μ2(x)dx+p1θ0P1,2(x)μ2(x)dx+λUp1,(9)

4. The steady queue size distribution

Proceeding in the usual manner with Equations (1)–(4) we obtain,(10) P1(x,z)=P1(0,z)e-λ-λzx-0xμ1(t)dt(10) (11) V(x,z)=V(0,z)e-λ-λzx-0xϑ(t)dt(11) (12) P2(x,z)=P2(0,z)e-λ-λzx-0xμ2(t)dt(12)

Solving for P1(0,z), P2(0,z) and V(0,z) we have(13) P1(0,z)=λU(z-1)q11+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(13) (14) P2(0,z)=λU(z-1)p11+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(14) (15) V(0,z)=λU(z-1)p1B2λ-λz+q1B1[λ-λz]1+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(15)

Next from (10) and (13), we obtain,(16) P1(z)=0P1(x,z)dx=q1(B1λ-λz-1)U1+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(16)

From Equations (11) and (15), we obtain,(17) V(z)=0V(x,z)dx=p1B2λ-λz+q1B1[λ-λz]Vλ-λz-1U1+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(17)

Also from Equations (12) and (14), we obtain,(18) P2(z)=0P2(x,z)dx=p1(B2λ-λz-1)U1+Vλ-λzzθ+θp1B2λ-λz+q1B1[λ-λz]-z(18)

The unknown probability U can be determined by utilizing the normalizing condition which is equivalent to, U + P11+P2(1) + V(1) = 1 and the utilization factor of this system ρ is given by, ρ = 2λq1β1(1)+p2β2(1) ˂ 1, which is the steady-state probability that the system is idle and also we have ρθ ˂ 1; which is the stability condition under which the steady-state solution exist. Now, we let PR(z) = U + P1(z) + P2(z) + V(z) denote the steady state PGF of the system size distribution at a random epoch, then adding the Equations (16)–(18) we obtain on simplifying,(19) PR(z)=3λβ1+2θ-11+Vλ-λzzθ+θ+5λβ1+2θ-1Vλ-λzp1B2λ-λz+q1B1[λ-λz]-3λβ1+2θ-1z+5λβ1+2θ-15λβ1+2θ-11+V[λ-λz]zθ+θp1B2λ-λz+q1B1[λ-λz]-z(19)

Let P(z) = P1(z) + P2(z) + V(z) be the PGF of the queue size distribution at a random epoch then,(20) P(z)=p1B2λ-λz+q1B1[λ-λz]Vλ-λz-11+V[λ-λz]zθ+θp1B2λ-λz+q1B1[λ-λz]-z(20)

Now, let us denote PQ(z) as the PGF of the queue size distribution at departure epoch of this model. Then we get,(21) PQ(z)=U+zP(z)=21-2θ-4λβ1z+p1B2λ-λz+q1B1λ-λz3λβ1+2θ-11+Vλ-λzzθ+θ+5λβ1+2θ-1zV[λ-λz]5λβ1+2θ-11+V[λ-λz]zθ+θp1B2λ-λz+q1B1[λ-λz]-z(21)

5. The mean queue size at a random epoch and the mean waiting time

Let Lq denote the mean queue size at a random epoch for an M/G/1 queueing system with two types of general heterogeneous service with multiple vacations and Bernoulli feedback then we obtain from (19) the mean queue size; where Lq = ddz Pq(z)|z=1 = λ[Υ(1) + β1]; V[0] = -Υ(1). We derive the LST of the waiting time distribution of a test customer for this model, to obtain this we follow the simple approach used in Kleinrock (Citation1975) for solving the LST of the time in the system from the PGF of the distribution function of the number of the system in a regular M/G/1 queue. Let Wq(s) be the LST of the distribution function of the waiting time of a test customer of this model, then utilizing the standard argument of Kleinrock (Citation1975) (for instance see p. 197) we may write,Wq(λ-λz)B*(λ-λz)=PQ(z)

Now, s = λ(1 − z) in the above equation we get Wq(s) and having the LST of the waiting time distribution we can easily derive the LST of the distribution function for the response time. The response time WR is the time interval from the arrival time of a tagged customer to the time when it leaves the system after service completion that means, waiting time plus service time. If WR(s) be the LST of the distribution function of WR then,WR(s)=Wq(s)B(s)=21-2θ-4λβ11-sλ+p1B2s+q1B1s3λβ1+2θ-11+Vs1-sλθ+5λβ1+2θ-11-sλVs5λβ1+2θ-11+Vs1-sλθp1B2s+q1B1s-1-sλ

If EWR be the mean response time of a test customer in this model then,EWR=-dWR(s)ds|s=0.=Υ(1)+β1

6. Mean busy period

We obtain the mean busy period for our model. Here, we define the busy period as the length of the time interval during which the server remains busy and this continues till the instant when the server becomes free again. This busy period is equivalent to the ordinary busy period generated by the units which arrive during the vacation period plus an idle period, which we may call as generalized idle period and define,

T0 = length of the generalized idle period

Tb = length of the busy period

Since T0 and Tb generate an alternating renewal process, therefore, we may write,ETbET0=ProbTb1-ProbTb

and, Prob [Tb] = Prob [the server is busy with FPS] + Prob [the server is busy with SPS]=λq1β1(1)+p1β2(1)5λβ1+2θ-1E(T0)=E(V)+1λ

Hence, we have E (Tb) = β11+λE(V)4λβ1+2θ-1

7. Numerical insights

Let us consider that the FPS and SPS time distributions follow exponential distribution with probability distribution function Bi(x) = 1 − e(-μix), x ˃ 0, i = 1, 2 with βi(1) = 1μi and finite moment βi(2) = 2μi2 for i = 1, 2 and the vacation time random variable follows the Erlang distribution with probability distribution function v(x) = Υϑxϑ-1e-Υxϑ-1!, x ˃ 0 with mean ϑΥ.

In this section, we analyze and compare the performance of the proposed model by varying the arrival rate, feedback probability and expected vacation time. We first analyze the mean busy period for the proposed queueing system with respect to the arrival rate of the customer and feedback probability. The result is graphically illustrated in Figure . We observed that the mean busy period decreases with the increase in arrival rate (or, feedback probability) for different values of feedback probability (or, arrival rate). Figure depicts the mean busy period as the arrival rate of the customer and expected vacation time vary. A sharp increase in the busy period is observed as the expected vacation time of the server increases for fixed arrival rate of the customer. On the other hand, the expected busy period decreases with the increase in the arrival rate for fixed feedback probability.

Figure 2. Effects of arrival rate and feedback probability on the average busy period.

Figure 2. Effects of arrival rate and feedback probability on the average busy period.

Figure 3. Effects of arrival rate and expected vacation time on average busy period.

Figure 3. Effects of arrival rate and expected vacation time on average busy period.

The following default parameters are considered in order to find the optimal values of expected busy period as in Figures and ,

Figure : q1 = 0.7, μ2 = 2, μ1 = 3, E(v) = 0.4

Figure : q1 = 0.6, μ2 = 2, μ1 = 10, θ = 0.4.

8. Remarks

By specifying vacation time random variable as well as service time random variables, we obtained some results by considering some particular cases of our model.

Case I: M/G1G2/1/V (MV) queue with Erlangian vacation time.

Suppose that vacation time is an k-Erlang, i.e. Ek with probability density function:v(x)=dV(x)dx=(kv)kxk-1e-kvxk-1!;k>0,v1

Also V*(λ – λz) = vkvk+λ(1-z)k and E(V) = 1v, U = 1 − 2λβ11+5λβ1-2θ then we have,P1(z)=B1λ-λz-1q1Uzθ+θvkvk+λ1-zk+1p1B2λ-λz+q1B1λ-λz-zV(z)=vkvk+λ1-zk-1Up1B2λ-λz+q1B1[λ-λz]zθ+θvkvk+λ1-zk+1p1B2λ-λz+q1B1λ-λz-zP2(z)=B2λ-λz-1p1Uzθ+θvkvk+λ1-zk+1p1B2λ-λz+q1B1λ-λz-z

Further from Equation (20), we get the PGF of the queue size distribution at a random epoch,P(z)=vkvk+λ1-zkp1B2λ-λz+q1B1[λ-λz]-1zθ+θvkvk+λ1-zk+1p1B2λ-λz+q1B1λ-λz-z

Case II: M/G1G2/1/V (MV) queue with Exponential vacation time.

As special case of this model, we consider the case of Markovian vacation time random variable with mean E(V) = 1v, then the PGF of the various queue size distribution of this model can be obtained by putting k = 1 in Equations (22)–(24):P1(z)=v+λ1-zq1UB1λ-λz-1zθ+θλ1-z+2vp1B2λ-λz+q1B1λ-λz-zv-λ(z-1)V(z)=λ1-zUp1B2λ-λz+q1B1λ-λzzv-λz-1-zθ+θλ1-z+2vp1B2λ-λz+q1B1λ-λzP2(z)=v+λ1-zp1UB2λ-λz-1zθ+θλ1-z+2vp1B2λ-λz+q1B1λ-λz-zv-λ(z-1)

Funding

The authors received no direct funding for this research.

Additional information

Notes on contributors

Snigdha Mahanta

Gautam Choudhury is an associate professor in the Mathematical Science Division, Institute of Advanced Study in Science and Technology, Guwahati, India. There are more than 85 research publications in international/national refereed journals to his credit. His areas of interest are Queuing theory, stochastic models in the communication system and statistical inference in stochastic processes.

Gautam Choudhury

Snigdha Mahanta is a working PhD researcher in Mathematical Science Division, Institute of Advanced Study in Science and Technology, Guwahati, India. Her current research interests include the Markov chain and stochastic models in Queuing theory.

References

  • Boxma, O. J., & Yechiali, U. (1997). An M/G/1 queue with multiple types of feedback and gated vacations. Journal of Applied Probability, 34, 773–784.10.1017/S0021900200101421
  • Choi, B. D., Kim, B., & Choi, S. H. (2003). An M/G/1 queue with multiple types of feedback, gated vacations, and FCFS policy. Computers and Operations Research, 30(9), 1289–1309.10.1016/S0305-0548(02)00071-0
  • Choudhury, G., & Paul, M. (2005). A two phase queueing system with Bernoulli feedback. International Journal of Information and Management Sciences, 16(1), 35–52.
  • Kleinrock, L. (1975). Queueing systems (Vol. 1). New York, NY: Wiley.
  • Levy, Y., & Yechiali, U. (1975). Utilization of idle time in an M/G/1 queueing system. Management Science, 22, 202–211.
  • Takács, L. (1963). A single server queue with feedback. Bell System Technical Journal, 42, 487–503.10.1002/bltj.1963.42.issue-2
  • Miller, L. W. (1964). Alternating priorities in multi-class queue (PhD dissertation). Cornell University, Ithaca, NY.