Research Article | Open Access
Queue Length and Server Content Distribution in an Infinite-Buffer Batch-Service Queue with Batch-Size-Dependent Service
We analyze an infinite-buffer batch-size-dependent batch-service queue with Poisson arrival and arbitrarily distributed service time. Using supplementary variable technique, we derive a bivariate probability generating function from which the joint distribution of queue and server content at departure epoch of a batch is extracted and presented in terms of roots of the characteristic equation. We also obtain the joint distribution of queue and server content at arbitrary epoch. Finally, the utility of analytical results is demonstrated by the inclusion of some numerical examples which also includes the investigation of multiple zeros.
Recently, Banerjee and Gupta  analyzed a finite-buffer batch-service queue with batch-size-dependent service and obtained joint distribution of queue and server content (i.e., number in the queue as well as with the server) at departure and arbitrary epochs. However, no such results are available so far in case of an infinite-buffer queue. This paper considers an infinite-buffer single server queue with Poisson arrivals and general service time distribution where customers are served in batches according to general bulk service, rule, and service times of the batches depend on the number of customers within the batch under service process. It is often challenging to obtain the joint distribution of queue and server content of this model due to the enumerable state space and increase in dimensionality that arises in this case. Our main objective in this paper is to develop a tractable yet easily implementable procedure to obtain the joint distribution of the queue and the server content at departure and arbitrary epochs. Banerjee and Gupta  used embedded Markov chain technique to analyze the finite-buffer queue wherein they first obtain transition probability matrix (TPM), which appears to be very complex in structure. Further it becomes quite challenging (if not impossible) to extend this TPM for the case of infinite-buffer queue and then to find out the analytic expression of probability generating function (pgf) of queue and server content. In this paper, we use supplementary variable technique (which essentially surpasses the direct use of the TPM) to obtain the bivariate pgf of queue and server content at departure epoch of a batch in a much simpler way and also to establish the relation between arbitrary and departure epoch as a byproduct. Therefore, new contributions in this paper are () construction of bivariate pgf of queue and server content at departure epoch of a batch without using embedded Markov chain technique, () extraction of joint distribution (queue and server content) from the bivariate pgf which has been expressed in terms of roots of so called characteristic equation which arise in this case, () illustration of analytical procedure through several numerical examples, and () investigation of the cases even if the characteristic equation has nonzero repeated roots. More precisely, repeated roots occur for Erlang (), ; service time distribution and number of roots depend on the threshold value “” and the maximum capacity “” and multiplicity of each root depends on “”.
Recent studies on this model have been carried out by Bar-Lev et al. , who derived the pgf of only queue content at departure epoch but did not use it due to the complexity involved in the inversion process. However, they obtained queue-size distribution by truncating the TPM into a finite state space and then solving a finite number of system of equations. Later, Chaudhry and Gai  have considered this pgf and inverted it using the method of roots in order to derive the distribution of queue content only. It may be noted that both authors did not obtain distribution of queue content at arbitrary epoch. Moreover, from their analysis, one can not get joint distribution of queue and server content.
As a counterpart of continuous-time queues, in discrete-time queues, a series of papers, considered by Claeys et al. [4–6] deals with such queues. In , they considered queue and obtained joint pgf of the queue and the server content and from this they extracted marginal pgfs. However, they stayed away from inverting the joint pgf to obtain complete joint distribution of queue and server content rather restricted on finding tail distribution and performance measures only. Further, in , they analyze the same queueing model under discrete-batch Markovian arrival process (D-BMAP) and derived joint vector generating function of the queue content, the server content, and the remaining service time of the batch under service and then extracted marginal pgfs for several admissible quantities such as queue content when server is inactive, server content is at the end of service, and so forth. They also elaborated upon the influence of correlation of the arrival process on the mean system content. Furthermore, in , they approximated tail probabilities of the customer delay in queue. It has been emphasized that neglecting of batch-size-dependent service can lead to a devastating inaccuracy of the approximation of the tail probabilities.
The rest of the paper is organized as follows: the next section describes the model in detail and governing equations. Section 3 contains the derivation of bivariate pgf and extraction of joint distribution from that pgf at departure epoch of a batch. The joint distribution at arbitrary epoch is obtained in Section 4 while Section 5 shows the applicability of our analytical results through some specific service time distributions. The paper ends with conclusion.
2. Model Description and Governing Equations
Although the model description and governing equations have been well discussed by Banerjee and Gupta  for finite-buffer queue, however, for the sake of completeness it is again discussed briefly in case of infinite-buffer.(i)Arrival Process. Customers arrive at the system according to Poisson process with rate .(ii)Batch-Service Discipline. The single server serves the customers in batches according to general bulk service () rule.(iii)Service Process. The service time () of a batch of size () follows general distribution with probability density function (p.d.f.) , distribution function , the Laplace-Stieltjes transform (L.-S.T.) , and the mean service time , , where is the derivative of evaluated at .(iv)Utilization Factor. The traffic intensity of the system which ensures the stability of the system.Let us define the state of the system at time as (i) ≡ number of customers in the queue waiting for service,(ii) ≡ number of customers with the server,(iii) ≡ remaining service time of the batch in service.Further, we defineIn steady-state, let us defineRelating the states of the system at two consecutive time epochs and and using supplementary variable technique, we obtain, in steady-state, the following differential equations:Further, let us defineMultiplying (5)–(8) by and integrating with respect to over 0 to , we obtainAs our major concern is to perceive the joint distribution of queue content as well as server content at departure and arbitrary epoch, we define the following probabilities at departure epoch:Now we propose the following lemmas which will be used later.
Lemma 1. The probabilities and are connected by the relation
Proof. As is proportional to , using we obtain the desired result.
Lemma 2. The value of is given bywhere .
Proof. Using (3) in (4), we getUsing (19) in (10), we getSumming (20) and (11) to (13), we obtainTaking limit as in the above expression and using L’Hôspital’s rule, the normalizing condition , and after a little bit of manipulation, we obtain the desired result.
3. Joint Distribution of Queue Content and Number with the Departing Batch
In order to obtain , we further define the following pgfs:Multiplying (10)–(13) by appropriate powers of and , summing over from 0 to and from to and using (22), we getNow substituting in (25) and using (17), (16), (15), and (23), we obtainwhere is the pgf of andSubstituting in (26), using (24) and after a little bit of manipulation, we obtainFinally, using (28) in (26) and after some algebraic simplification, we get
Remark 3. To the best of the authors’ knowledge, no such bivariate pgf (expressed in (29)) of queue content as well as number with the departing batch is available so far in the literature.
Remark 4. The pgf expressed in (28) for the queue content at departure epoch exactly matches with the pgf given in Bar-Lev et al. [2, page 230] which was obtained using embedded Markov chain technique.
One can observe from (29) that is a bivariate pgf and has been expressed in a compact form except for the unknowns . One can further note that these unknowns are the same as those unknowns appearing in the numerator of (28). Now our first task is to get these unknowns from (28) before any further analysis is carried out using (29). Now in order to determine them, we make use of Rouché’s theorem, by which it can be shown that the denominator of (28), , has zeroes (say, ) in the closed complex unit disk . Due to the analytic property of the pgf in the closed complex unit disk, these zeroes are necessarily also zeroes of the numerator of (28), which leads to linear equations asAs we need one more equation in order to get linear equations, we obtain it using normalizing condition . After applying L’Hôspital’s rule, it leads toNow the unknowns can be determined by solving (30) and (31).
3.1. Extraction of Joint Probabilities from the Bivariate pgf
Having found the unknowns , is now completely known to us. Our main objective is to extract the probabilities , from . In order to get these, we need to invert the bivariate pgf . For this purpose, we first accumulate the coefficient of , , from both the sides of (29). These are given asNow collecting the coefficient of from both the sides of (32) and (33), we obtainAs , are already known, we turn our focus on determination of , from (34). In order to get these probabilities, we invert the right hand side of (34) which is a completely known function in for a specific service time distribution.
In order to simplify the calculation, let us assume that the L.-S.T of service time distribution , , is a rational function and is given by , where and are polynomials of degrees and , respectively, with . Then, substituting , in the right-hand side of (34) and after some simplification it can be proved that degree of the numerator of (34) is always less than the degree of the denominator of (34).
Let us denote numerator of (34) as (after dividing the numerator of (34) by the highest power coefficient of the denominator of (34)) and the denominator as . Let us also assume that has degree . To extract the probabilities , we need to know about the zeroes of . Let us call these zeroes . Now applying the partial fraction technique, can be uniquely written asfor some constants ’s, which can be determined using residue theorem asNow collecting the coefficient of from both the sides of (36), we obtainThis completes the evaluation of joint distributions of number of customers in the queue and number with the departing batch at departure epoch of a batch.
Remark 5. It may be remarked here that if some of the zeroes of the characteristic equation are repeated, then the above procedure has to be slightly modified to extract the joint distribution. We have included one such example in the numerical section.
Remark 6. One can also obtain the tail distribution from (34) using single root of . This root is the smallest with absolute value greater than one, real and strictly positive. Otherwise, if the denominator has two complex conjugate zeros or one negative real zero with smallest modulus, this can lead to negative probabilities for sufficiently large values of ; see Desmet et al. . Thus, we can find the following approximation of the tail distribution for sufficiently large as and is the real positive zero of with the smallest modulus greater than one.
Remark 7. For some specific service time distributions, the probabilities , can be easily computed by inverting the pgf .
4. Joint Distribution of Queue and Server Content at Arbitrary Epoch
Utilizing the completely known distribution of queue and server content at departure epoch of a batch, we develop the following result in order to acquire the distribution of queue and server content at arbitrary epoch. The procedure is similar to the one given in [1, page 62]. However, for the sake of completeness, results are given here for infinite-buffer queue.
Theorem 8. The probabilities and are related bywhere and .
Once the joint distribution of queue and server content at arbitrary epoch is known, we can obtain other significant distributions such as distribution of queue content, , and distribution of the server content in undergoing service, (, and). Moreover, the distribution of the system content (including number of customers with the server), , which is more relevant, is given by As all the state probabilities are known, the utmost performance measures of the present model can be easily evaluated and are presented as follows: (i)Average number of customers in the queue .(ii)Average number of customers in the system .(iii)Average number of customers with the server .(iv)Average waiting time of a customer in the queue as well as in the system .(v)The probability that the server is idle .The above performance measures play a significant role in evaluating the real system.
5. Numerical Illustration
Based on the theoretical analysis in Sections 3 and 4, we illustrate numerical results for assorted service time distributions, namely, exponential (), Erlang (), and deterministic (). Extensive computation work has been executed using Maple 13 http://www.maplesoft.com/products/maple/ on PC running on Windows 7 with Intel Core i5-3470 CPU Processor @ 3.20 GHz with 4.00 GB of RAM, for both the high and low values of the model parameters. Although a vast number of tables can be generated, only a few of them that contain significant results are appended here. Parameter values are displayed at the title of the each table while the bottoms of the tables contain some performance measures.
First we present the joint distribution and , , for exponential () service time distribution in Tables 1-2. The objective of this example is to match our results with the existing results available in the literature.
The numerical results given in Table 2 using our methodology for exponential () service time distribution exactly match with the existing results of Table 3 given in Maity and Gupta . The results presented in column 2 and row 1 of Table 2 match exactly with the last two rows of Table 3 of  which was obtained as a special case from queue. The methodology used in  is the matrix geometric method while we use probability generating function approach. It may be remarked here that, in , there is a misprint in the value of the arrival rate . It should be and other parameters (which are shown in Table 2) in our example are taken the same as in .
Now we focus on other service time distributions. We have shown the occurrence of multiple roots in case of service time distribution with each phase mean so that total mean is , . The purpose of this example is to demonstrate the occurrence of multiple roots in queueing models which was often a major concern of the researchers. In this context, we point out that the multiple roots occur only for service time distribution. The occurrence of multiple roots is caused by the terms :(i)The number of multiple roots depends on the values of “” and “.” The exact number of distinct multiple roots is .(ii)The multiplicity of each root depends on the parameter (), of Erlang distribution.For distribution with parameters , , , , , and , we have encountered 8 multiple roots: 1.225000, 1.262500, 1.300000, 1.337500, 1.375000, 1.412500, 1.450000, and 1.487500 each of multiplicity 4. The joint distribution of and , is displayed in Tables 3-4.
In Tables 5-6, similar results are provided for deterministic () service time distribution. As the L.-S.T. of deterministic () distribution is a transcendental function, we use Padé approximation to approximate its L.-S.T as a rational function of the form . For more details, see Singh et al. , where they have discussed choice for parameters for Padé approximation.