Research Article  Open Access
Performance Analysis of Novel Overload Control with Threshold Mechanism
Abstract
We propose a novel overload control method with hysteresis property; that is, we analyze the queueing system where the service and arrival rates are varied depending on the queuelength. We use two threshold values: and . When the queuelength increases by an amount between and , we apply one of the following two strategies to reduce the queuelength, either we decrease the mean service time or we decrease the arrival rate. If the queuelength exceeds with one strategy, we apply the other; thus, there are two models that depend on the method that was applied first. We derive the queuelength distribution at departure and at arbitrary epochs using the embedded Markov chain method and the supplementary variable method. We investigate performance measures including the loss probability and mean waiting time using various numerical examples.
1. Introduction
In systems with queues, various overload control mechanisms to alleviate congestion caused by an excessive number of customers have been investigated. Here, we investigate queuelengthdependent policies based on single or multiple threshold value(s) that depend on the system size. For example, consider an oscillating queue of Chydzinski [1], also known as a queue with a hysteretic control method. There are two threshold values: and . Initially, the system is idle and the service rate is set to . When the system size exceeds , the service rate is changed to , and it continues until the system size reduces to . The service rate then returns to , and the process is repeated. It is customary to assume that in order to reduce the system size more quickly.
Control mechanisms that are based simply on the system size have been applied to many applications, including manufacturing systems, telecommunications, and computer networks. Li and Zhu [2] and Li et al. [3] mentioned that techniques based on the input rate are usually employed due to high throughput demand. There have been several reports of telecommunication networks, including asynchronous transfer mode (ATM) networks, which support various types of traffic, including voice, data, and video. Important properties of such traffic include time correlation and burstiness, which may lead to network congestion due to unpredictable statistical fluctuations in the traffic streams. Overload control mechanisms can be applied to alleviate this congestion to ensure service quality is maintained; for further details, refer to B. D. Choi and D. I. Choi [4], Choi et al. [5, 6], and the references therein. Banik [7] recently reported the BMAP//1/ oscillating queueing system that can be used to model semiconductor manufacturing processes. Controlling the arrival rate and service rate has been also considered for potential applications in data centers [8]. The service rate is represented by the frequency of the processors, which was adapted to conserve energy by applying voltage control.
Here, we propose two novel overload control methods, in which both the arrival and service rates are adapted depending upon the system size. A detailed description of our methods is given in Section 3. Most existing models regulate only the service rate in accordance with the system size, whereas the arrival rate remains constant, or vice versa. In contrast, our overload control method changes the service and arrival rates depending upon the system size. In practice, it is common to apply two or more different overload control mechanisms either simultaneously or sequentially. For example, with congested road networks, one or more lanes can be reversed to improve the flow of traffic. Despite this measure, if the area remains congested, entering the section may be prohibited until the waiting times for cars decrease to a certain level. In semiconductor manufacturing systems, adaptation of the service and arrival rates are often considered together. To decrease the input rate to a particular processing tool, the arriving lots can be rerouted (i.e., sent to another machine). For the example of increasing the service rate in semiconductor manufacturing systems, refer to Banik [7].
The remainder of this paper is organized as follows. In the subsequent section, we review the relevant literature; a description and analysis of the model is given in Section 3; numerical results describing the performance of the model are then given in Section 4; Section 5 provides the conclusions of this paper.
2. Literature Review
Queueing models with queuelengthdependent overload control can be classified into two types depending upon the type of rate that is controllable, that is, the service or the arrival rate. The majority of research has assumed Markovian arrival (i.e., an //1type queueing model), where the service rate is adjusted.
Nishimura and Jiang [9] introduced an //1 queueing model with an adjustable service speed. The model had only one threshold; that is, when the number of customers exceeds (is less than) the threshold value, faster (ordinary) service is provided. Dudin [10] extended this model (with a single threshold) with one threshold by considering a batch arrival process. B. D. Choi and D. I. Choi [4] and Choi et al. [5] applied adjustable service rate schemes for telecommunications networks, extending Nishimura and Jiang’s model [9] by considering the arrival process as a Markovian modulated Poisson process (MMPP) (i.e., an MMPP//1 queue) or a finite queueing model, respectively. Later, more complicated arrival processes are considered; Choi [11] analyzed a model with Markovian arrival process (MAP) and an queue with multiple threshold values (or service modes) is analyzed by Choi et al. [12]. Chydzinski [1, 13] and Zhernovyi and Zhernovyi [14, 15] analyzed oscillating queues (or queues with a hysteresis strategy). Oscillating queues with two thresholds differ from queues with multiple thresholds. Suppose a system has two threshold values and and that the number of customers is between and . When hysteretic control is applied, the service modes can differ even for the same number of customers, when the number of customers is between two thresholds (refer to the example in Section 1). On the other hand, in queues with multiple thresholds and without a hysteresis control, the same service mode is applied for the same system size. Jain [16] analyzed a heterogeneous queueing model where the number of working servers varied depending on the number of customers. On aggregate, the number of working servers can be considered as the service speed. Recently, Banik [7] extended the oscillating queueing model by considering a batch Markovian arrival process (BMAP). Gupta et al. [17] considered a DMAP//1/ queue with queuelengthdependent service rates. There are few examples of GI//1 queueing systems with adjustable service rates, outside of the work of Chydzinski [1].
There have been fewer reports of systems with adjustable arrival rates than of systems with adjustable service rates. Gong et al. [18] introduced the queue with a queuelengthdependent arrival rate. Li and Zhu [2] considered vacations and Li et al. [3] considered the setup time. Chydzinski [19] analyzed an 1 queueing system with hysteretic control based on the arrival rates using potential method. More recently, Choi et al. [6] extended these models by considering an MMPP as an arrival process and multiple thresholds.
Although there exist models that can adjust the arrival and service rates simultaneously, they are mostly based on Markov decision process (MDP) and the research interests they address differ from those addressed by our model. Thus, we claim that our model differs significantly from existing queueing models because both the arrival and service rates are controllable. However, the derivation is similar to the models of B. D. Choi and D. I. Choi [4] and Choi et al. [6].
3. Analysis
In this section, we describe the model and then analyze it. We derive the queuelength distribution at the departure epoch using the embedded Markov chain method. The queuelength distribution at an arbitrary time is then derived using the supplementary variable method.
3.1. Model Description
We consider an queueing system with the overload control policies “Arrival First (AF)” and “Service First (SF).” The queueing system has a single server and a buffer with finite capacity , including the customer in service. Customers arrive to the system according to a Poisson process and are served on a firstcomefirstserved (FCFS) basis. Customers that arrive when the buffer is full are blocked and hence lost. The arrival and service rates are dependent upon the queuelength. We place two thresholds and on the buffer, where . Suppose that the queuelength at the service initiation epoch of a customer is less than the threshold . The arrival of customers follows a Poisson process with a rate , and the service time of customers is denoted by a random variable , which has the distribution function . When the queuelength is equal to or greater than at the service initiation epoch, either the arrival rate or the service time distribution changes depending upon the policy that is employed. With the AF policy, the arrival rate for a Poisson process is changed to , while the service time distribution remains unchanged. With the SF policy, the service time of customers is changed and the arrival rate remains constant. The changed service time is denoted by a random variable with the distribution function . Finally, assume that the queuelength at the service initiation epoch is equal to or greater than . In this case, the arrival of customers follows a Poisson process with a rate , and the service time of customers is . We define as the mean and as the Laplace transform of .
In this paper, we analyze a system with the AF policy first; a system with the SF policy is then discussed, as the derivations are similar.
3.2. Embedded Markov Chain
Let be the epoch of successive departures with . The number of customers in a queue (excluding the customer in service) at time (immediately after the th departure) is denoted by . The process forms a Markov chain with a finite state space . To derive the stationary probability distribution of the Markov chain , we define the probabilities as
We introduce the following probabilities to obtain . First, denotes the probability that there are arrivals via a Poisson process with a rate during the service time ; that is,Let be the probability that there are arrivals by a Poisson process with a rate during the service time , which is defined as follows (when the employed policy is AF; for the SF policy, refer to Remark 1): We therefore haveFor the Markov chain , we have the onestep transition probability matrix as follows:
Remark 1. The probability for the SF policy is defined similarly, which is the probability that there are arrivals by a Poisson process during the service time ; that is, To analyze systems, in the matrix should be computed properly.
The stationary probability vector of the Markov chain can be obtained by solving the following equations: where .
3.3. QueueLength Distribution at an Arbitrary Time
In this section, we derive the stationary queuelength distribution at an arbitrary time. At an arbitrary time , let be the queuelength including a customer in service, and let We define the stationary probabilities as follows: Then, from the key renewal theorem, we have where is the mean interdeparture time of customers.
Remark 2. For the SF case, we have
Using the supplementary variable method, we derive the stationary queuelength distribution at an arbitrary time when the server is busy. Note that the method of obtaining is similar to that used by B. D. Choi and D. I. Choi [4] and Choi et al. [6]. Let denote the remaining service time and the elapsed service time for the customer in service. We define the joint probability distribution of the queuelength and the remaining service time for the customer in service as The Laplace transform of is as follows: To calculate , we must find the probability for arrivals during the elapsed service time . Thus, we define the joint probabilities and as
Let and be the Laplace transform of and , respectively; that is, From the basic property of the semiMarkov process, must satisfy two relations for and . First, for , we havewhere when the “condition” is true; otherwise . When , we have
Remark 3. For the SF case, the definition of in (15) is replaced by (19); that is,In addition, (17) and (18) for and are replaced by (20) and (21), respectively; that is, for , we haveand for , we have
By comparing the coefficients, which is the same method used by B. D. Choi and D. I. Choi [4] and Choi et al. [6], is given by where .
Remark 4. For the SF case, .
By substituting into (17) and (18) and then setting , we obtain the stationary queuelength probabilities at an arbitrary time for ; that is,
Remark 5. For the SF case, in (23) is defined as follows:
3.4. Performance Measures
We obtain three performance measures using the stationary queuelength distribution in (23) or (25). First, the loss probability (or blocking probability) is defined as Second, the mean queuelength (excluding the customer in service) is Finally, from Little’s law, we obtain the mean waiting time in the system as follows: where
Remark 6. For the SF case, we have
4. Numerical Examples
In this section, we present numerical examples on the performance of our overload control method. We obtained various results, changing sets of the parameters , , , and , where . The input rate, the mean service time, and are assumed to, respectively, have a value listed in Table 1. Note that and are depending on the relation . We consider three service time distributions: the exponential and the Erlang distributions with a parameter of 2 or 9. It is assumed that the service time distribution itself is also changeable; for example, for the SF policy, the service time distribution when the system size is less than may differ from when the system size is greater than . The Erlang distribution with a parameter of 2 and 9 and exponential distribution are denoted by “ERL2,” “ERL9,” and “EXP,” respectively. Suppose that the service time distribution before adjusting the mean service time is the Erlang distribution with a parameter 9, and the Erlang distribution with a parameter 2 is applied after the adjustment. It is then denoted by “ERL9ERL2.”

We compare the mean system size () of an queue with the AF policy and the same queue with the SF policy. The mean system size over the policies and the service time distribution is depicted in Figure 1. It is assumed that , , , , and . Cases are the combinations of distributions and the policies. Note that the mean system size when corresponds to that of a standard queue (without any policies). When , it corresponds to an queue with a single threshold. In Figure 1, as expected, the mean system size gets larger as and values increase. It is also clear that the distribution with smaller coefficient of variation (CV) has the smaller mean system size for the identical policy; for example, in Figure 1(b), the CV values of the exponential distribution and the Erlang distribution with a parameter 9 are 1 and 1/3, respectively. Figure 2 also shows the mean system size when , but graphs are represented in a different way. In this case, we assume that , , , and .
(a)
(b)
(a)
(b)
In Figure 3, the blocking probabilities over the policies (the AF or SF and combinations of and ) and the service time distributions are illustrated. In this example, we assume that , , , , and .
(a)
(b)
Based on Figures 1, 2, and 3, it seems that the AF policy is more efficient in reducing and . That is, because the effective arrival rate () is smaller than that of the SF policy, referring to (29) and (30), it then can be concluded that of the AF policy is smaller given that is reasonably larger than . However, the AF policy is not always superior considering the mean waiting time in the queue. Table 2 shows the performance measures when , , , , and , and the same condition is used when illustrating Figure 3. The service time distribution is fixed to the exponential distribution and it is denoted by “EXPEXP” using our notation. We can find out that the mean waiting time in the queue of the SF policy is not always larger. For more congested conditions (larger and values), the SF policy works better in terms of .

5. Conclusion
We have analyzed the queueing system with adjustable service and arrival rates depending on the queuelength. We derive the queuelength distributions at departure and at arbitrary epochs using the embedded Markov chain method and the supplementary variable technique. We presented performance measures including the mean system size and the blocking probabilities. The performance of our overload control method was then verified using numerical examples.
We have identified three areas for further work. First, after defining the proper cost structure, it is possible to investigate the tradeoff between maintaining a small sized system by changing the arrival and service rates early and the total cost, which includes the holding cost related to the system size and the operating cost related to the speed of service. Second, there has been little investigation of general input models (i.e., GI//1type queues) with variable service or arrival rates; it is possible to analyze the GI//1 queueing models with various statedependent policies. Lastly, it is possible to assume a queueing system adjusts the arrival and service rates immediately after the queue size reaches and , not at the service completion epochs.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
 A. Chydzinski, “The oscillating queue with finite buffer,” Performance Evaluation, vol. 57, no. 3, pp. 341–355, 2004. View at: Publisher Site  Google Scholar
 H. Li and Y. Zhu, “M(N)/G/1/N queues with generalized vacations,” Computers & Operations Research, vol. 24, no. 4, pp. 301–316, 1997. View at: Publisher Site  Google Scholar
 H. Li, Y. Zhu, and P. Yang, “Computational analysis of M(n)/G/1/N queues with setup time,” Computers & Operations Research, vol. 22, no. 8, pp. 829–840, 1995. View at: Publisher Site  Google Scholar
 B. D. Choi and D. I. Choi, “Queueing system with queue length dependent service times and its application to cell discarding scheme in ATM networks,” IEE Proceedings—Communications, vol. 143, no. 1, pp. 5–11, 1996. View at: Publisher Site  Google Scholar
 D. I. Choi, C. Knessl, and C. Tier, “A queueing system with queue length dependent service times, with applications to cell discarding in ATM networks,” Journal of Applied Mathematics and Stochastic Analysis, vol. 12, no. 1, pp. 35–62, 1999. View at: Publisher Site  Google Scholar  MathSciNet
 D. I. Choi, T.S. Kim, and S. Lee, “Analysis of a queueing system with a general service scheduling function, with applications to telecommunication network traffic control,” European Journal of Operational Research, vol. 178, no. 2, pp. 463–471, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 A. D. Banik, “Some aspects of stationary characteristics and optimal control of the BMAP/G − G/1/N(∞) oscillating queueing system,” Applied Stochastic Models in Business and Industry, vol. 31, no. 2, pp. 204–230, 2015. View at: Google Scholar
 N. Lee and V. G. Kulkarni, “Optimal arrival rate and service rate control of multiserver queues,” Queueing Systems, vol. 76, no. 1, pp. 37–50, 2014. View at: Publisher Site  Google Scholar  MathSciNet
 S. Nishimura and Y. Jiang, “An M/G/1 vacation model with two service modes,” Probability in the Engineering and Informational Sciences, vol. 9, no. 3, pp. 355–374, 1995. View at: Publisher Site  Google Scholar  MathSciNet
 A. Dudin, “Optimal control for an ${M}^{X}/G/1$ queue with two operation modes,” Probability in the Engineering and Informational Sciences, vol. 11, no. 2, pp. 255–265, 1997. View at: Publisher Site  Google Scholar
 D. I. Choi, “$MAP/G/1/K$ queue with multiple thresholds on buffer,” Communications of the Korean Mathematical Society, vol. 14, no. 3, pp. 611–625, 1999. View at: Google Scholar
 B. D. Choi, Y. C. Kim, Y. W. Shin, and C. E. M. Pearce, “The ${M}^{X}/G/1$ queue with queue length dependent service times,” Journal of Applied Mathematics and Stochastic Analysis, vol. 14, no. 4, pp. 399–419, 2001. View at: Publisher Site  Google Scholar
 A. Chydzinski, “The $M/GG/1$ oscillating queueing system,” Queueing Systems, vol. 42, no. 3, pp. 255–268, 2002. View at: Publisher Site  Google Scholar
 K. Yu. Zhernovyi and Yu. V. Zhernovyi, “An ${M}^{\theta}/G/1/m$ system with twothreshold hysteresis strategy of service intensity switching,” Journal of Communications Technology and Electronics, vol. 57, no. 12, pp. 1340–1349, 2012. View at: Publisher Site  Google Scholar
 K. Yu. Zhernovyi and Yu. V. Zhernovyi, “An ${M}^{\mathrm{\theta}}/G/1$ system with hysteretic switching of the service intensity,” Journal of Communications Technology and Electronics, vol. 58, no. 6, pp. 602–612, 2013. View at: Google Scholar
 M. Jain, “Finite capacity $M/M/r$ queueing system with queuedependent servers,” Computers & Mathematics with Applications, vol. 50, no. 12, pp. 187–199, 2005. View at: Publisher Site  Google Scholar
 U. C. Gupta, S. K. Samanta, and V. Goswami, “Analysis of a discretetime queue with load dependent service under discretetime Markovian arrival process,” Journal of the Korean Statistical Society, vol. 43, no. 4, pp. 545–557, 2014. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 W.B. Gong, A. Yan, and C. G. Cassandras, “The $M/G/1$ queue with queuelength dependent arrival rate,” Communications in Statistics. Stochastic Models, vol. 8, no. 4, pp. 733–741, 1992. View at: Publisher Site  Google Scholar  MathSciNet
 A. Chydzinski, “The $MM/G/1$type oscillating systems,” Cybernetics and Systems Analysis, vol. 39, no. 2, pp. 316–324, 2003. View at: Publisher Site  Google Scholar
Copyright
Copyright © 2016 Doo Il Choi and DaeEun Lim. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.