Asymptotic behavior of the loss rate for Markov-modulated fluid queue with a finite buffer

We consider a Markov-modulated fluid queue with a finite buffer. It is assumed that the fluid flow is modulated by a background Markov chain which may have different transitions when the buffer content is empty or full. In Sakuma and Miyazawa (Asymptotic Behavior of Loss Rate for Feedback Finite Fluid Queue with Downward Jumps. Advances in Queueing Theory and Network Applications, pp. 195–211, Springer, Cambridge, 2009), we have studied asymptotic loss rate for this type of fluid queue when the mean drift of the fluid flow is negative. However, the null drift case is not studied. Our major interest is in asymptotic loss rate of the fluid queue with a finite buffer including the null drift case. We consider the density of the stationary buffer content distribution and derive it in matrix exponential forms from an occupation measure. This result is not only useful to get the asymptotic loss rate especially for the null drift case, but also it is interesting in its own light.     

A Finite Buffer Fluid Queue Driven by a Markovian Queue

We consider a finite buffer fluid queue receiving its input from the output of a Markovian queue with finite or infinite waiting room. The input flow into the fluid queue is thus characterized by a Markov modulated input rate process and we derive, for a wide class of such input processes, a procedure for the computation of the stationary buffer content of the fluid queue and the stationary overflow probability. This approach leads to a numerically stable algorithm for which the precision of the result can be specified in advance.     

Design of a production system with a feedback buffer

In this paper, we deal with an M/G/1 Bernoulli feedback queue and apply it to the design of a production system. New arrivals enter a “main queue” before processing. Processed items leave the system with probability 1-p or are fed back with probability p into an intermediate finite “feedback queue”. As soon as the feedback queue is fully occupied, the items in the feedback queue are released, all at a time, into the main queue for another processing. Using transform methods, various performance measures are derived such as the joint distribution of the number of items in each queue and the dispatching rate. We then derive the optimal buffer size which minimizes the overall operating cost under a cost structure. This revised version was published online in June 2006 with corrections to the Cover Date.     

A Mathematical Programming Approach to Optimal Markovian Switching of Poisson Arrival Streams to Queueing Systems

Motivated by certain situations in manufacturing systems and communication networks, we look into the problem of maximizing the profit in a queueing system with linear reward and cost structure and having a choice of selecting the streams of Poisson arrivals according to an independent Markov chain. We view the system as a MMPP/GI/1 queue and seek to maximize the profits by optimally choosing the stationary probabilities of the modulating Markov chain. We consider two formulations of the optimization problem. The first one (which we call the PUT problem) seeks to maximize the profit per unit time whereas the second one considers the maximization of the profit per accepted customer (the PAC problem). In each of these formulations, we explore three separate problems. In the first one, the constraints come from bounding the utilization of an infinite capacity server; in the second one the constraints arise from bounding the mean queue length of the same queue; and in the third one the finite capacity of the buffer reflect as a set of constraints. In the problems bounding the utilization factor of the queue, the solutions are given by essentially linear programs, while the problems with mean queue length constraints are linear programs if the service is exponentially distributed. The problems modeling the finite capacity queue are non-convex programs for which global maxima can be found. There is a rich relationship between the solutions of the PUT and PAC problems. In particular, the PUT solutions always make the server work at a utilization factor that is no less than that of the PAC solutions.     

On a synchronization queue with two finite buffers

In this paper, we consider a synchronization queue (or synchronization node) consisting of two buffers with finite capacities. One stream of tokens arriving at the system forms a Poisson process and the other forms a PH-renewal process. The tokens are held in the buffers until one is available from each flow, and then a group-token is instantaneously released as a synchronized departure. We show that the output stream of a synchronization queue is a Markov renewal process, and that the time between consecutive departures has a phase type distribution. Thus, we obtain the throughput of this synchronization queue and the loss probabilities of each type of tokens. Moreover, we consider an extended synchronization model with two Poisson streams where a departing group-token consists of several tokens in each buffer. This revised version was published online in June 2006 with corrections to the Cover Date.     

Conditional and unconditional distributions forM/G/1 type queues with server vacations

M/G/1 queues with server vacations have been studied extensively over the last two decades. Recent surveys by Boxma [3], Doshi [5] and Teghem [14] provide extensive summary of literature on this subject. More recently, Shanthikumar [11] has generalized some of the results toM/G/1 type queues in which the arrival pattern during the vacations may be different from that during the time the server is actually working. In particular, the queue length at the departure epoch is shown to decompose into two independent random variables, one of which is the queue length at the departure epoch (arrival epoch, steady state) in the correspondingM/G/1 queue without vacations. Such generalizations are important in the analysis of situations involving reneging, balking and finite buffer cyclic server queues. In this paper we consider models similar to the one in Shanthikumar [11] but use the work in the system as the starting point of our investigation. We analyze the busy and idle periods separately and get conditional distributions of work in the system, queue length and, in some cases, waiting time. We then remove the conditioning to get the steady state distributions. Besides deriving the new steady state results and conditional waiting time and queue length distributions, we demonstrate that the results of Boxma and Groenendijk [2] follow as special cases. We also provide an alternative approach to deriving Shanthikumar's [11] results for queue length at departure epochs.     

BMAP/G/1/N queue with vacations and limited service discipline

We consider a finite buffer single server queue with batch Markovian arrival process (BMAP), where server serves a limited number of customer before going for vacation(s). Single as well as multiple vacation policies are analyzed along with two possible rejection strategies: partial batch rejection and total batch rejection. We obtain queue length distributions at various epochs and some important performance measures. The Laplace–Stieltjes transforms of the actual waiting time of the first customer and an arbitrary customer in an accepted batch have also been obtained.     

Stationary Analysis of a Fluid Queue Driven by Some Countable State Space Markov Chain

Motivated by queueing systems playing a key role in the performance evaluation of telecommunication networks, we analyze in this paper the stationary behavior of a fluid queue, when the instantaneous input rate is driven by a continuous-time Markov chain with finite or infinite state space. In the case of an infinite state space and for particular classes of Markov chains with a countable state space, such as quasi birth and death processes or Markov chains of the G/M/1 type, we develop an algorithm to compute the stationary probability distribution function of the buffer level in the fluid queue. This algorithm relies on simple recurrence relations satisfied by key characteristics of an auxiliary queueing system with normalized input rates.      

具有工作故障及有限容量的MAP/M/1排队系统性能分析

为了拓展随机排队理论,在具有工作故障的MAP/M/1排队的基础上,引入有限容量策略建立起一个新的排队模型.通过Uniformization Technique将连续时间排队模型转化成对应的离散时间排队模型,运用矩阵几何组合解给出系统中的顾客数量和服务器状态的联合稳态概率表达式,并给出基于稳态概率的性能指标.最后通过一些数值例子展示参数对性能指标的影响.     

On a dual queueing system with preemptive priority service discipline

In this paper, we use matrix–analytic methods to construct a novel queueing model called the dual queue. The dual queue has the additional feature of a priority scheme to assist in congestion control. Detailed structure of the infinitesimal generator matrix is derived and used in the solution process. Using a computational algorithm, which utilises a combination of iterative and elementary matrix techniques, the steady state solution is obtained for all queues with a finite buffer. Finally, we present numerical examples to illustrate the algorithm.     

Stability analysis of GI/GI/c/K retrial queue with constant retrial rate

We consider a finite buffer capacity GI/GI/c/K-type retrial queueing system with constant retrial rate. The system consists of a primary queue and an orbit queue. The primary queue has \(c\) identical servers and can accommodate up to \(K\) jobs (including \(c\) jobs under service). If a newly arriving job finds the primary queue to be full, it joins the orbit queue. The original primary jobs arrive to the system according to a renewal process. The jobs have i.i.d. service times. The head of line job in the orbit queue retries to enter the primary queue after an exponentially distributed time independent of the length of the orbit queue. Telephone exchange systems, medium access protocols, optical networks with near-zero buffering and TCP short-file transfers are some telecommunication applications of the proposed queueing system. The model is also applicable in logistics. We establish sufficient stability conditions for this system. In addition to the known cases, the proposed model covers a number of new particular cases with the closed-form stability conditions. The stability conditions that we obtained have clear probabilistic interpretation.     

Multiclass Markovian fluid queues

This paper considers a multiclass Markovian fluid queue with a buffer of infinite capacity. Input rates of fluid flows in respective classes and the drain rate from the buffer are modulated by a continuous-time Markov chain with finite states. We derive the joint Laplace-Stieltjes transform for the stationary buffer contents in respective classes, assuming the FIFO service discipline. Further we develop a numerically feasible procedure to compute the joint and marginal moments of the stationary buffer contents in respective classes. Some numerical examples are then provided.     

Palm calculus for a process with a stationary random measure and its applications to fluid queues

We consider a process associated with a stationary random measure, which may have infinitely many jumps in a finite interval. Such a process is a generalization of a process with a stationary embedded point process, and is applicable to fluid queues. Here, fluid queue means that customers are modeled as a continuous flow. Such models naturally arise in the study of high speed digital communication networks. We first derive the rate conservation law (RCL) for them, and then introduce a process indexed by the level of the accumulated input. This indexed process can be viewed as a continuous version of a customer characteristic of an ordinary queue, e.g., of the sojourn time. It is shown that the indexed process is stationary under a certain kind of Palm probability measure, called detailed Palm. By using this result, we consider the sojourn time processes in fluid queues. We derive the continuous version of Little's formula in our framework. We give a distributional relationship between the buffer content and the sojourn time in a fluid queue with a constant release rate.     

Asymptotics in the MAP/G/1 Queue with Critical Load

When the offered load ρ is 1, we investigate the asymptotic behavior of the stationary measure for the MAP/G/1 queue and the asymptotic behavior of the loss probability for the finite buffer MAP/G/1/K + 1 queue. Unlike Baiocchi [Stochastic Models 10(1994):867–893], we assume neither the time reversibility of the MAP nor the exponential moment condition for the service time distribution. Our result generalizes the result of Baiocchi for the critical case ρ = 1 and solves the problem conjectured by Kim et al. [Operations Research Letters 36(2008):127–132].     

Analysis of a finite MAP/G/1 queue with group services

The finite capacity queues, GI/PH/1/N and PH/G/1/N, in which customers are served in groups of varying sizes were recently introduced and studied in detail by the author. In this paper we consider a finite capacity queue in which arrivals are governed by a particular Markov renewal process, called a Markovian arrival process (MAP). With general service times and with the same type of service rule, we study this finite capacity queueing model in detail by obtaining explicit expressions for (a) the steady-state queue length densities at arrivals, at departures and at arbitrary time points, (b) the probability distributions of the busy period and the idle period of the server and (c) the Laplace-Stieltjes transform of the stationary waiting time distribution of an admitted customer at points of arrivals. Efficient algorithmic procedures for computing the steady-state queue length densities and other system performance measures when services are of phase type are discussed. An illustrative numerical example is presented.     

A fluid queue driven by a Markovian queue

We consider an infinite buffer fluid queue receiving its input from the output of a Markovian queue with finite or infinite waiting room. The input is characterized by a Markov modulated rate process. We derive a new approach for the computation of the stationary buffer content. This approach leads to a numerically stable algorithm for which the precision of the result can be given in advance. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the fluid approximation for a multiclass queue under non-preemptive SBP service discipline

A multi-class single server queue under non-preemptive static buffer priority (SBP) service discipline is considered in this paper. Using a bounding technique, we obtain the fluid approximation for the queue length and busy time processes. Furthermore, we prove that the convergence rate of the fluid approximation for the queue length and busy time processes is exponential for large N. Additionally, a sufficient condition for stability is obtained.     

A spectral theory approach for extreme value analysis in a tandem of fluid queues

We consider a model to evaluate performance of streaming media over an unreliable network. Our model consists of a tandem of two fluid queues. The first fluid queue is a Markov modulated fluid queue that models the network congestion, and the second queue represents the play-out buffer. For this model the distribution of the total amount of fluid in the congestion and play-out buffer corresponds to the distribution of the maximum attained level of the first buffer. We show that, under proper scaling and when we let time go to infinity, the distribution of the total amount of fluid converges to a Gumbel extreme value distribution. From this result, we derive a simple closed-form expression for the initial play-out buffer level that provides a probabilistic guarantee for undisturbed play-out.     

Simple analysis of a fluid queue driven by an M/M/1 queue

In this note we consider the fluid queue driven by anM/M/1 queue as analysed by Virtamo and Norros [Queueing Systems 16 (1994) 373–386]. We show that the stationary buffer content in this model can be easily analysed by looking at embedded time points. This approach gives the stationary buffer content distribution in terms of the modified Bessel function of the first kind of order one. By using a suitable integral representation for this Bessel function we show that our results coincide with the ones of Virtamo and Norros.