Source: Ann. Appl. Probab.
Volume 21, Number 2
This paper presents a heavy-traffic analysis of the behavior of a single-server queue under an Earliest-Deadline-First (EDF) scheduling policy in which customers have deadlines and are served only until their deadlines elapse. The performance of the system is measured by the fraction of reneged work (the residual work lost due to elapsed deadlines) which is shown to be minimized by the EDF policy. The evolution of the lead time distribution of customers in queue is described by a measure-valued process. The heavy traffic limit of this (properly scaled) process is shown to be a deterministic function of the limit of the scaled workload process which, in turn, is identified to be a doubly reflected Brownian motion. This paper complements previous work by Doytchinov, Lehoczky and Shreve on the EDF discipline in which customers are served to completion even after their deadlines elapse. The fraction of reneged work in a heavily loaded system and the fraction of late work in the corresponding system without reneging are compared using explicit formulas based on the heavy traffic approximations. The formulas are validated by simulation results.
 Asmussen, S. (2003). Applied Probability and Queues, 2nd ed. Applications of Mathematics (New York) 51. Springer, New York.
 Billingsley, P. (1999). Convergence of Probability Measures, 2nd ed. Wiley, New York.
 Boots, N. and Tijms, H. (1999). A multiserver queueing system with impatient customers. Management Science 45 444–448.
 Chen, H. and Mandelbaum, A. (1991). Stochastic discrete flow networks: Diffusion approximations and bottlenecks. Ann. Probab. 19 1463–1519.
 Decreusefond, L. and Moyal, P. (2008). Fluid limit of a heavily loaded EDF queue with impatient customers. Markov Process. Related Fields 14 131–158.
 Down, D., Gromoll, H. C. and Puha, A. (2009). Fluid limits for shortest remaining processing time queues. Math. Operations Research 4 880–911.
 Doytchinov, B., Lehoczky, J. and Shreve, S. (2001). Real-time queues in heavy traffic with earliest-deadline-first queue discipline. Ann. Appl. Probab. 11 332–378.
 Dupuis, P. and Ramanan, K. (1999). Convex duality and the Skorokhod problem. Probab. Theory Related Fields 115 197–236.
 Ethier, S. N. and Kurtz, T. G. (1986). Markov Processes: Characterization and Convergence. Wiley, New York.
Mathematical Reviews (MathSciNet): MR838085
 Gamarnik, D. and Zeevi, A. (2006). Validity of heavy traffic steady-state approximation in generalized Jackson networks. Ann. Appl. Probab. 16 56–90.
 Gromoll, H. C. (2004). Diffusion approximation for a processor sharing queue in heavy traffic. Ann. Appl. Probab. 14 555–611.
 Gromoll, H. C. and Kruk, Ł. (2007). Heavy traffic limit for a processor sharing queue with soft deadlines. Ann. Appl. Probab. 17 1049–1101.
 Gromoll, H. C., Kruk, L. and Puha, A. Diffusion limits for shortest remaining processing time queues. Preprint, Dept. Mathematics, Univ. Virginia. Available at http://arxiv.org/abs/1005.1035
 Harrison, J. M. and Reiman, M. Reflected Brownian motion in an orthant. Ann. Probab. 9 302–308.
 Harrison, J. M. (1985). Brownian Motion and Stochastic Flow Systems. Wiley, New York.
Mathematical Reviews (MathSciNet): MR798279
 Iglehart, D. L. and Whitt, W. (1970). Multiple channel queues in heavy traffic. I. Adv. in Appl. Probab. 2 150–177.
Mathematical Reviews (MathSciNet): MR266331
 Karatzas, I. and Shreve, S. E. (1988). Brownian Motion and Stochastic Calculus. Graduate Texts in Mathematics 113. Springer, New York.
Mathematical Reviews (MathSciNet): MR917065
 Kaspi, H. and Ramanan, K. (2011). Law of large numbers limits for many-server queues. Ann. Appl. Probab. 21 33–114.
 Kingman, J. F. C. (1961). The single server queue in heavy traffic. Proc. Cambridge Philos. Soc. 57 902–904.
Mathematical Reviews (MathSciNet): MR131298
 Kingman, J. F. C. (1962). On queues in heavy traffic. J. Roy. Statist. Soc. Ser. B 24 383–392.
Mathematical Reviews (MathSciNet): MR148146
 Kruk, Ł. (2007). Diffusion approximation for a G/G/1 EDF queue with unbounded lead times. Ann. Univ. Mariae Curie-Skłodowska Math. A 61 51–90.
 Kruk, Ł., Lehoczky, J. P. and Shreve, S. (2003). Second order approximation for the customer time in queue distribution under the FIFO service discipline. Ann. Univ. Mariae Curie-Skłodowska Sect. AI Inform. 1 37–48.
 Kruk, Ł., Lehoczky, J. P., Shreve, S. and Yeung, S.-N. (2004). Earliest-deadline-first service in heavy-traffic acyclic networks. Ann. Appl. Probab. 14 1306–1352.
 Kruk, Ł., Lehoczky, J. P. and Shreve, S. (2006). Accuracy of state space collapse for earliest-deadline-first queues. Ann. Appl. Probab. 16 516–561.
 Kruk, Ł., Lehoczky, J. P., Ramanan, K. and Shreve, S. E. (2007). An explicit formula for the Skorokhod map on [0, a]. Ann. Probab. 35 1740–1768.
 Kruk, Ł., Lehoczky, J. P., Ramanan, K. and Shreve, S. (2008). Double Skorokhod map and reneging real-time queues. In Markov Processes and Related Topics: A Festschrift for Thomas G. Kurtz. Inst. Math. Stat. Collect. 4 169–193. IMS, Beachwood, OH.
 Lehoczky, J. P. (1996). Real-time queueing theory. In Proc. of IEEE Real-Time Systems Symposium 186–195. IEEE Computer Society Press, Los Alamitos, CA.
 Limic, V. (2000). On the behavior of LIFO preemptive resume queues in heavy traffic. Electron. Comm. Probab. 5 13–27 (electronic).
 Panwar, S. S. and Towsley, D. (1992). Optimality of the stochastic earliest deadline policy for the G/M/c queue serving customers with deadlines. In Second ORSA Telecommunications Conference. ORSA (Operations Research Society of America), Baltimore, MD.
 Prokhorov, Y. (1956). Convergence of random processes and limit theorems in probability theory. Theory Probab. Appl. 1 157–214.
Mathematical Reviews (MathSciNet): MR84896
 Ramanan, K. and Reiman, M. I. (2003). Fluid and heavy traffic diffusion limits for a generalized processor sharing model. Ann. Appl. Probab. 13 100–139.
 Ross, S. M. (1983). Stochastic Processes. Wiley, New York.
Mathematical Reviews (MathSciNet): MR683455
 Ward, A. R. and Glynn, P. W. (2003). A diffusion approximation for a Markovian queue with reneging. Queueing Syst. 43 103–128.
 Ward, A. R. and Glynn, P. W. (2005). A diffusion approximation for a GI/GI/1 queue with balking or reneging. Queueing Syst. 50 371–400.
 Whitt, W. (1971). Weak convergence theorems for priority queues: Preemptive-resume discipline. J. Appl. Probab. 8 74–94.
Mathematical Reviews (MathSciNet): MR307389
 Whitt, W. (2002). Stochastic-Process Limits: An Introduction to Stochastic-Process Limits and Their Application to Queues. Springer, New York.
 Zhang, J. and Zwart, B. (2008). Steady state approximations of limited processor sharing queues in heavy traffic. Queueing Syst. 60 227–246.