• No results found

M/M/∞ queue with ON-OFF service speeds

N/A
N/A
Protected

Academic year: 2021

Share "M/M/∞ queue with ON-OFF service speeds"

Copied!
7
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)M/M/∞ queue with ON-OFF service speeds Citation for published version (APA): D' Auria, B. (2014). M/M/∞ queue with ON-OFF service speeds. Journal of Mathematical Sciences, 196(1), 3742. https://doi.org/10.1007/s10958-013-1632-y. DOI: 10.1007/s10958-013-1632-y Document status and date: Published: 01/01/2014 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne. Take down policy If you believe that this document breaches copyright please contact us at: openaccess@tue.nl providing details and we will investigate your claim.. Download date: 16. Sep. 2021.

(2) Journal of Mathematical Sciences, Vol. 196, No. 1, January, 2014. M/M/∞ QUEUE WITH ON-OFF SERVICE SPEEDS B. D’Auria1 In this paper we analyze of a special kind of M/M/∞ queueing system. We assume that the rate of the servers alternates between two speeds according to an ON–OFF process whose ON periods are exponentially distributed and with general OFF periods. We look at the particular case where the OFF service rate is zero while the distribution of the OFF periods is heavy tailed, and for this case we derive the tail of the number of customers in the system. This model be applied to transportation systems where the M/M/∞ represents a delay line, such as a highway, whose crossing time may be unexpectedly interrupted for a long time by some accident.. 1.. Introduction and model description. Systems with interruptions are often studied by queueing theorists. This kind of studies can indeed give useful information about the behavior of such systems when subject to special conditions. In this paper we study an M/M/∞ system whose server rate alternates between two speeds, μ and μ , according to an ON–OFF process. The ON–OFF process is a semi-Markov process, its ON periods are exponentially distributed with parameter f , while the OFF periods are generally distributed according to a distribution L(·) with mean r−1 , Laplace–Stieltjes transform (LST) L(s), and L(0+ ) = 0. The arrival process is a Poisson process with parameter λ > 0 and the service times are exponentially distributed with parameters depending on the state of the system. During the ON periods the servers work at rate μ > 0, while during the OFF periods they work at speed μ  0. Generally we suppose that μ > μ . Our motivation for this study is twofold. Firstly we want to investigate the possibility to express the number of customers in the system with interruptions by the sum of two independent terms, the first one being the random variable associated to the system with no interruptions and the second one being a positive random variable. In this sense we extend some of the results of Baykal–Gursoy and Xiao [2] that looked at an M/M/∞ system with Markov-modulated service rate. They were able to get explicit formulas assuming that the OFF periods were exponentially distributed as well. Previously, many other authors looked at similar decompositions, but many of them generally studied the M/G/1 system, such as in [9, 10, 12]. Other authors looked at systems with a finite number of servers with vacations such as in [6], where a G/M/K queue is analyzed. For vacations, however, it is supposed that the system interrupts only at the end of a completed server and not at any time. As for the M/M/∞ model, Keilson and Servi [11] studied the case where the servers had Markov-modulated service rates by using a matrix-geometric approach. The second motivation is to analyze the effect of the heaviness of the tail of the distribution of the OFF periods onto the stationary distribution of the number of customers in the system. In the result of [2] and [11], where all the involved distributions are exponential or a mixture of exponentials, it turned out that the number of customers in the systems was not Poisson distributed but still its distribution had an exponential tail decay. In our case we relax the exponential assumption and we look at regularly varying distributions. This is in line with the most recent discoveries that show many natural phenomena are well described by heavy-tailed distributions. In fact, similar studies were done, for example, about M/G/1 and M/M/1 systems [4] and [5] where they looked at a system whose speed followed, similarly to our case, an ON–OFF process. They showed that the heavy-tailed component of the OFF periods crucially influences the decay of the tail of the buffer occupancy of the system. In our case we look at the tail of the number of customers in the system and we show that its power-decay exponent is related to the one of the OFF period when the low-speed rate μ = 0. A possible application of our system is related to transportation and telecommunication systems. Usually the system with infinite server is used to model particular phenomena where some objects, which in our case are the customers of the system, experience some delay. As for transportation systems, this can be the case of a highway or some high traffic street and, for telecommunication systems, it can represent a long high-speed connection, e.g., transoceanic or satellite. In this real world application, the OFF periods may represent exceptional events such 1. EURANDOM, P. O. Box 513 — 5600 MB Eindhoven, The Netherlands, e-mail: bernardo.dauria@uc3m.es. Proceedings of the XXVI International Seminar on Stability Problems for Stochastic Models, Sovata-Bai, Romania, August 27 – September 2, 2006.. 1072-3374/14/1961-0037 © 2014 Springer Science+Business Media New York. 37.

(3) 38. B. D’Auria. as accidents in the case of highways or interruptions in connections of telecommunication systems. What we are than interested in is the amount of extra customers that we find in the system due to these interruptions. The paper is organized as follows. In Section 2 we describe the mathematical model and derive the fundamental equations governing the hidden Markov process. In Section 3 we show our first result about the stochastic decomposition of the stationary number of customers in the system. Then, in Section 4 we show the second main result on the tail of the distribution of the stationary number of customers in the system, and in Section 5 we give our conclusions. 2.. Mathematical model. Let N (t) be the number of customers at time t present in the system, and let U (t) denote the state of the system; then U (t) is a binary random variable that has value ‘H’ (High rate) during an ON period and value ‘L’ (Low rate) during an OFF period. Due to the fact that the OFF periods are not exponentially distributed, the process (N (t), U (t)) is not Markovian, and therefore in order to have a Markov process we need to add the additional information of the elapsed time Lpast (t) for the OFF period at time t. In order to describe the state of the system completely, we introduce the following distribution functions: FH (n, t) := Pr {N (t) = n, U (t) = H} , FL (n, x, t)dx := Pr {N (t) = n, x < Lpast  x + dx, U (t) = L} .. (1) (2). It is easy to check that the ergodicity conditions are always satisfied (cf. [1]) for any values of μ + μ > 0; in that case, N (t) → N as t → ∞, where N is the required stationary distribution for the number of customers in the system. By using a total probability argument we can write down the following relation for the distribution FH (n, t+Δt) related to the H state FH (n, t + Δt) = FH (n, t)(1 − λΔt)(1 − nμΔt)(1 − f Δt) + (n > 0)FH (n − 1, t)(λΔt)(1 − (n − 1)μΔt)(1 − f Δt)+ t FL (n, x, t) + FH (n + 1, t)((n + 1)μΔt)(1 − λΔt)(1 − f Δt) + (1 − λΔt)(1 − nμΔt)Δt dL(x), 1 − L(x) 0. where we used (·) as the indicator function of the set {·}, and the following relation for FL (n, x + Δt, t + Δt), x > 0, about the L state 1 − L(x + Δt) + 1 − L(x) 1 − L(x + Δt) + (n > 0)FL (n − 1, x, t) λΔt (1 − (n − 1)μ Δt) + 1 − L(x) 1 − L(x + Δt) + FL (n + 1, x, t)(n + 1) μ Δt (1 − λΔt) , 1 − L(x). FL (n, x + Δt, t + Δt) = FL (n, x, t)(1 − λΔt)(1 − nμ Δt). plus the boundary condition for the case x = 0 FL (n, Δt, t + Δt) = f ΔtFH (n, t)(1 − λΔt)(1 − nμΔt). Using straightforward computations and assuming that we are in the stationary condition, when the time derivatives are all null, we get the following equilibrium equations: ∞ FH (n)(λ + nμ + f ) = λFH (n − 1) + (n + 1)μFH (n + 1) + 0. FL (n, x) dL(x), 1 − L(x).   d L (x)  FL (n, x) = − λ + nμ + FL (n, x) + λFL (n − 1, x) + (n + 1)μ FL (n + 1, x), dx 1 − L(x) FL (n, 0) = f FH (n)..

(4) M /M /∞ Queue with on-off Service Speeds. 39. Introducing the following characteristic functions, GH (z) := GL (z, x) :=. ∞  n=0 ∞ . z n FH (n), z n FL (n, x),. |z|  1, |z|  1,. n=0. with the additional auxiliary function HL (z, x) := equations. GL (z,x) 1−L(x) ,. we finally get the following system of partial differential ∞. μ(z − 1) ∂z GH (z) = (λ(z − 1) − f ) GH (z) +. HL (z, x)dL(x),. (3a). 0. ∂x HL (z, x) = λ(z − 1)HL (z, x) + μ (1 − z) ∂z HL (z, x), +. HL (z, 0 ) = f GH (z).. (3b) (3c). This system turns out to be quite difficult to analyze in complete generality, and therefore in the sequel we are going to focus on the more simple case where μ = 0, which corresponds to a pure ON–OFF switching of the servers. 3.. Stochastic decomposition. In this section we prove that, generally, independently of the distribution L(·), we can decompose, in the case μ = 0, the number of customers in the system at equilibrium in two independent terms. The first one is the number of customers at equilibrium in an ordinary M/M/∞ system with no interruptions, while the second one is a positive random variable that depends on all the parameters of the system. This extends the results of [2] for the case μ = 0 and for this case we also give a different decomposition of the second term. Before stating the ˆ be the LST of the function L(·) ˆ that we define as the residual life time of the OFF theorem, let the function L(·) period, i.e., 1 − L(s) 1ˆ L(s) = . r s Theorem 1. The number of customers in the system, N, at equilibrium has the form N =d Nφ + B · Y1 + (1 − B)(Y2 + X),. (4). where Nφ , B, Y1 and Y2 , and X are five positive and independent random variables, Nφ is Poisson distributed with parameter λ/μ, B is Bernoulli distributed with parameter r/(r + f ), Y1 and Y2 have characteristic function  λ(1−z) ˆ ˆ L(y)dy}, while X has characteristic function L(λ(1 − z)). R(z) = exp{− μf 1r 0 Proof. Considering μ = 0, we simplify Eq. (3b) as. ∂x HL (z, x) = λ(z − 1)HL (z, x), which gives, using (3c), the following expression for HL (z, x): HL (z, x) = f GH (z)eλ(z−1)x . Having the value of HL (z, x), we can then write GL (z, x) = f GH (z)(1 − L(x))eλ(z−1)x and also. ∞ GL (z) :=. GL (z, x)dx = 0. f ˆ GH (z)L(λ(1 − z)). r. Substituting expression (5) in (3a) after simplification, we get the following differential equation: μ(z − 1) ∂z GH (z) = (λ(z − 1) + f (L(λ(1 − z)) − 1)) GH (z),. (5).

(5) 40. B. D’Auria. whose solution is GH (z) = Ce. λ μz. e. λ f μ r. z 0. ˆ L(λ(1−t))dt. ,. where C is a constant whose value can be computed by imposing G(1) = 1, where G(z) := GH (z)+GL (z). Finally, setting R(z) = e. f −μ. 1 r. λ(1−z)  0. ˆ L(y)dy. ,. we can summarize the previous results by the following expressions:      r f −λ (1−z) ˆ μ G(z) = e R(z) + R(z)L(λ(1 − z)) , r+f r+f λ r e− μ (1−z) R(z), GH (z) = r+f λ f ˆ GL (z) = − z))R(z). e− μ (1−z) L(λ(1 r+f. (6a) (6b) (6c). Expression (6a) gives us the required stochastic decomposition for the random variable N in five independent random variables. Indeed, we have N =d Nφ + BY1 + (1 − B)(Y2 + X), where Nφ is a Poisson random variable with parameter λ/μ that refers to the M/M/∞ system with no interruptions, B is Bernoulli distributed with parameter r/(r + f ), Y1 and Y2 are random variables with characteristic ˆ function R(z), and X is a random variable with characteristic function L(λ(1 − z)), and the thesis follows. −rx , R(z) simplifies to Remark 1. In the exponential case, i.e., L(x) = 1 − e  R(z) =. r r + λ(1 − z).  μf ,. so that Y1 , Y2 ∼ N B(f /μ, r/(r + λ)), where N B(φ, δ) refers to a generalized negative binomial distribution with parameters φ and δ, and finally X ∼ N B(1, r/(r + λ)). These results are in agreement with what was proved in [2]. 4.. Heavy-tailed OFF periods. In this section we are going to look at the tail of the distribution of N when the distribution L(·) is regularly varying, more precisely, when ¯ = l(t)t−α as t → ∞ L(t) ¯ := 1 − L(t). As noticed in the previous section, in with l(t) a slowly varying function at infinity (see [8]) and L(t) the exponential case N preserves the exponential decay of the tail similarly to the original Nφ . In the next theorem we show that this is not the case when L(·) is regular varying. In the following we use f (t) ∼ g(t) as t → ∞ to mean that limt→∞ f (t)/g(t) = 1, and for LST we write F (s) ∼ G(s) as s → 0 to mean that lims→0 F (s)/G(s) = 1. Theorem 2. Let. ¯ = l(t)t−α as t → ∞ L(t). with 1 < α < 2; then Pr{N (t) > n} ∼. rf λα−1  l (n)n1−α as n → ∞, r+f 1−α. (7). where l (n) = l(1/λ(1 − e−1/n )) is a slowly varying function. ˆ − e−s )), the LST of the r.v.s Y and X. Proof. In the sequel we will use Y (s) := R(e−s ) and X(s) := L(λ(1 By applying Karamata’s Tauberian theorem (see Theorem 8.1.6 in [3]) we have that   1 α−1 Γ(2 − α) ˆ l 1 − L(s) ∼ rs . α−1 s.

(6) M /M /∞ Queue with on-off Service Speeds. 41. This directly gives us the first term expansion of X(s) λα−1 α−1 s 1 − X(s) ∼ r Γ(2 − α) l α−1.   1 , s. where l (t) = l(1/λ(1 − e−1/t )) is a slowly varying function at infinity. Applying once more Karamata’s theorem we get λα−1 1−α  n l (n). Pr{X > n} ∼ r α−1 The computation of the decay of Pr{Y > n} is more involved. We have that −s λ(1−e ) . 0. α  Γ(1 − α) ˆ L(y)dy ∼ λ(1 − es ) + r λ 1 − e−s l α.   1 , s. and expanding the various terms in the expression of Y (s) in series we finally get the following:   1 f λα λf α  s− Γ(1 − α)s l 1 − Y (s) ∼ rμ μ α s and again by Karamata’s theorem, we get Pr{Y > n} ∼. f λα −α  n l (n). μ α. As Pr{Y > n} ∼ o (Pr{X > n}), by using a result in [7] we have that Pr{Y + X > n} ∼ Pr{X > n}, and applying it also to Nφ , we get f Pr{X > n}, Pr{N > n} ∼ f +r and the thesis follows. Remark 2. In the case μ = 0 the decay of the tail of the distribution of N is no longer heavy-tail but exponential. Indeed the system has as lower-bound the behavior of a classical M/M/∞ system with constant service rates equal to μ whose stationary distribution for N is Poisson with parameter λ/μ . 5.. Conclusion. In this paper we presented a preliminary analysis of the M/M/∞ system with two service rates alternating according to an ON–OFF process whose OFF periods are generally distributed. When the lowest service speed is zero, we have, by Theorem 1, a stochastic decomposition of the distribution function of the number of customers in the system. This decomposition allows us also to compute, by Theorem 2, the asymptotic decay of the distribution in the case where the OFF periods are regularly varying distributed. It turns out that the distribution of the number of customers in the system is regularly varying as well. The decay exponent is related to that of the residual lifetime tail distribution of the OFF periods. The more general system with positive low speed seems to be quite complicated to analyze in explicit form, but as we pointed out in Remark 2, the distribution of the number of customers in the system will be no longer heavy-tail. REFERENCES 1. F. Baccelli and P. Br´emaud, “Elements of Queueing Theory. Palm–Martingale Calculus and Stochastic Recurrences,” Applications of Mathematics, Vol. 26, Springer–Verlag, Berlin (2003). 2. M. Baykal–Gursoy and W. Xiao, “Stochastic decomposition in M/M/∞ queues with Markov-modulated service rates,” Queueing Syst., 48, 75–88 (2004). 3. N. H. Bingham, C. M. Goldie, and J. L. Teugels, Regular Variation, Cambridge University Press (1987). 4. O. Boxma and I. Kurkova, “The M/M/1 queue in a heavy-tailed random environment,” Statist. Neerlandica, 54, 221–236 (2000). 5. O. Boxma and I. Kurkova, “The M/G/1 queue with two service speeds,” Adv. Appl. Probab., 33, 520–540 (2001)..

(7) 42. B. D’Auria. 6. X. Chao and Y. Zhao, “Analysis of multi-server queues with station and server vacations,” Eur. J. Oper. Res., 110, 392–406 (1998). 7. P. Embrechts, C. Goldie, and N. Veraverbeke, “Subexponentiality and infinite divisibility,” Ze. Wahrscheinlichkeitstheorie Verw. Geb., 49, 335–347 (1979). 8. W. Feller, An Introduction to Probability Theory and Its Applications, 2nd ed., Wiley, New York (1971). 9. S. Fuhrmann, “A note on the M/G/1 queue with server vacations,” Oper. Res., 32, 1368–1373 (1984). 10. S. Fuhrmann and R. Cooper, “Stochastic decomposition in the M/G/1 queue with generalized vacations,” Oper. Res., 33, 1117–1129 (1985). 11. J. Keilson and I. Servi, “The matrix M/M/∞ system: Retrials models and Markov modulated sources,” Adv. Appl. Probab., 25, 453–471 (1993). 12. Y. Levy and U. Yechiali, “Utilization of idle time in an M/G/1 queuing system,” Managm. Sci., 22, 202–211 (1975)..

(8)

Referenties

GERELATEERDE DOCUMENTEN

In the field tests, the number of heterotypic pairs did not differ significantly from that of the homotyp- ic pairs, indicating equal participation between laboratory adults and

However, we see that Planck data provide very strong evidence against some models (note that in the text we discuss Bayes factors compared with flat ΛCDM. In Table II the numbers

Abstract The main topic of this thesis is the construction of the algebraic geometric codes Goppa codes, and their decoding by the list-decoding, which allows one to correct beyond

Natural clays were among the earliest solid acid catalysts used in the oil industry to promote cracking and isomerization reactions.. Not long after their introduction in the

In casus 3 ligt het accent op netwerkuitbreiding (extern domein) en intenties tot curriculumvernieuwing (consequenties). Deze verschillen lijken verklaarbaar uit de

Regelmatig bewust stil staan bij hoe je vragen stelt: stel je bijvoorbeeld open vragen en lukt het om niet voor de ander ‘in te vullen’.

In Section 7 of [2] this raised the question whether (given that the service requirement distribution is regularly varying of index −α), −α and 1 − α are the only possible indices