On preemptive-repeat LIFO queues
- 113 Downloads
Abstract
In this paper, we study the basic properties of last-in first-out (LIFO) preemptive-repeat single-server queues in which the server needs to start service from scratch whenever a preempted customer reaches the server. In particular, we study the question of when such queues are stable (in the sense that the equilibrium time-in-system is finite-valued with probability one) and show how moments of the equilibrium customer sojourn time can be computed when the system is stable. A complete analysis of stability is provided in the setting of Poisson arrivals and in that of the Markovian arrival process. The stability region depends upon the detailed structure of the interarrival and service time distributions and cannot be expressed purely in terms of expected values. This is connected to the fact that such preemptive-repeat queues are not work conserving.
Keywords
Branching process Iterative scheme Markovian arrival process Random walk Sojourn time Stability Stochastic fixpoint equationMathematics Subject Classification
60K25Notes
Acknowledgements
We are grateful to Onno Boxma, Mor Harchol-Balter and V. Ramaswami for valuable remarks and references. Special thanks go to Jonathan Goodman for providing the differential equation argument in Remark 6 that provided the initial scientific impetus for this project. Patrick Laub supplied helpful answers to our programming queries.
References
- 1.Abate, J., Whitt, W.: Limits and approximations for the M/G/1 LIFO waiting-time distribution. OR Lett. 20, 199–206 (1997)Google Scholar
- 2.Abhisek, Boon, M., Mandjes, M., Nunez Queija, R.: Congestion analysis of congested intersections. Working paper, 8 pp (2016)Google Scholar
- 3.Asmussen, S.: Applied Probability and Queues. Springer-Verlag, Berlin (2003)Google Scholar
- 4.Asmussen, S., Fiorini, P.M., Lipsky, L., Rolski, T., Sheahan, R.: Asymptotic behaviour of total times for jobs that must start over if a failure occurs. Math. Oper. Res. 33, 932–944 (2008)CrossRefGoogle Scholar
- 5.Asmussen, S., Lipsky, L., Thompson, S.: Markov renewal methods in restart problems in complex systems. In: Podolskij, M. (ed.) The Fascination of Probability, Statistics and their Applications, Essays in Honour of Ole E. Barndorff-Nielsen, pp. 501–527. Springer-Verlag, Berlin (2016)CrossRefGoogle Scholar
- 6.Avi-Itzhak, B.: Preemptive repeat priority queues as a special case of the multipurpose server problem I-II. Oper. Res. 11(597–609), 610–619 (1963)CrossRefGoogle Scholar
- 7.Bini, D.A., Latouche, G., Meini, B.: Solving nonlinear matrix equations arising in tree-like stochastic processes. Linear Algebra Appl. 366, 39–64 (2003)CrossRefGoogle Scholar
- 8.Chimento Jr., P.F., Trivedi, K.S.: The completion time of programs on processors subject to failure and repair. IEEE Trans. Comput. 42(1), 1184–1194 (1993)CrossRefGoogle Scholar
- 9.Conway, R.W., Maxwell, W.L., Miller, L.W.: Theory of Scheduling. Addison-Wesley, Boston (1968)Google Scholar
- 10.Debicki, K., Mandjes, M.: Queues and Lévy Fluctuation Theory. Springer-Verlag, Berlin (2015)CrossRefGoogle Scholar
- 11.Field, T.: An analysis of the preemptive repeat queueing discipline. Unpublished notes, 6 pp (2206)Google Scholar
- 12.Gaver Jr., D.P.: A waiting line with interrupted service, including priorities. J. R. Statist. Soc. B, 73–90 (1962)Google Scholar
- 13.Harchol-Balter, M.: Performance, Modeling and Design of Computer Systems. Cambridge University Press, Cambridge (2013)Google Scholar
- 14.Harris, T.E.: The Theory of Branching Processes. Springer-Verlag, Berlin (1963)CrossRefGoogle Scholar
- 15.He, Q.-M., Alfa, A.S.: The MMAP[K]/PH[K]/1 queues with a last-come-first-served preemptive service discipline. Queueing Systems 29, 269–291 (1998)CrossRefGoogle Scholar
- 16.Jaiswal, N.K.: Priority Queues. Elsevier, Amsterdam (1968)Google Scholar
- 17.Jelenković, Tan, J.: Characterizing heavy-tailed distributions induced by retransmissions. Adv. Appl. Probab. 45, 106–138 (2013)CrossRefGoogle Scholar
- 18.Jelenković, P., Skiani, E.: Distribution of the number of retransmissions of bounded documents. Adv. Appl. Probab. 47, 425–44 (2015)CrossRefGoogle Scholar
- 19.Kleinrock, L.: Queueing Systems. Computer Applications. Wiley, Hoboken (1976)Google Scholar
- 20.Kulkarni, V., Nicola, V., Trivedi, K.: On modeling the performance and reliability of multimode systems. J. Syst. Softw. 6, 175–183 (1986)CrossRefGoogle Scholar
- 21.Kulkarni, V., Nicola, V., Trivedi, K.: The completion time of a job on a multimode system. Adv. Appl. Probab. 19, 932–954 (1987)CrossRefGoogle Scholar
- 22.Latouche , G., Ramaswami, V.: Introduction to matrix analytic methods in stochastic modelling. SIAM 42, 577–604 (1999)Google Scholar
- 23.Limic, V.: A LIFO queue in heavy traffic. Ann. Appl. Probab. 11, 301–331 (2001)Google Scholar
- 24.Nair, J., Andreasson, M., Andrew, L., Low, S., Doyle, J.: On channel failures, file fragmentation policies, and heavy-tailed completion times. In: Proceedings of IEEE INFOCOM, 2010 (2010)Google Scholar
- 25.Neuts, M.F.: Structured Markov Chains of the \(M/G/1\) Type and Their Applications. Marcel Dekker, New York City (1989)Google Scholar
- 26.Sigman, K.: Queues under preemptive LIFO and ladder height distributions for risk processes: a duality. Stoch. Models 12, 725–735 (1996)CrossRefGoogle Scholar
- 27.Van Houdt, B., Blondia, C.: Stability and performance of stack algorithms for random access communication modeled as a tree structured QBD Markov chain. Stoch. Models 17, 247–270 (2001)CrossRefGoogle Scholar
- 28.Volkovich, Y., Litvak, N.: Asymptotic analysis for personalized web search. Adv. Appl. Probab. 42, 577–604 (2010)CrossRefGoogle Scholar
- 29.Wolff, R.W.: Stochastic Modeling and the Theory of Queues. Prentice–Hall, Upper Saddle River (1989)Google Scholar
- 30.Walraevens, J., Flems, D., Bruneel, H.: The discrete-time preemptive repeat identical priority queue. QUESTA 53, 231–243 (2006)Google Scholar