-
Heavy Traffic Scaling Limits for Shortest Remaining Processing Time Queues with Light Tailed Processing Time Distributions
Authors:
Chunxu Ji,
Amber L. Puha
Abstract:
We prove a heavy traffic scaling limit for a shortest remaining processing time queue. We are interested in the case where the processing time distribution has a tail that decays rapidly, i.e., has light tails. In particular, we revisit the work in Puha (2015), which shows that the diffusion scaled queue length process multiplied by a processing time distribution dependent factor that tends to inf…
▽ More
We prove a heavy traffic scaling limit for a shortest remaining processing time queue. We are interested in the case where the processing time distribution has a tail that decays rapidly, i.e., has light tails. In particular, we revisit the work in Puha (2015), which shows that the diffusion scaled queue length process multiplied by a processing time distribution dependent factor that tends to infinity converges to a nontrivial reflecting Brownian motion, under the condition that this distribution dependent factor is slowly varying and obeys a certain rate of convergence condition. Here, we prove that the rate of convergence condition is not needed and the result holds more generally. We further show convergence of a sequence of nonstandardly scaled measure valued state descriptors to a point mass at one such that the total mass fluctuates randomly in accordance with the diffusion limit for the workload process. This is a sharp concentration result which shows that, under this nonstandard scaling, there are a very small number of tasks in the system and the remaining work for each such task is large and of the same order of magnitude as that of other tasks. This is due to the prioritization of the task with the least remaining work, and is in contrast to the case of heavy tailed processing times studied in Banerjee, Budhiraja, and Puha (2022). There it is shown that, while there is some concentration, the remaining times of the very small number of tasks in the system spread out over the nonnegative real line according to a random profile under this nonstandard scaling. Thus, this work completes the description of the two fundamentally different behaviors of SPRT by characterizing it in the case of light tailed processing time distributions.
△ Less
Submitted 5 November, 2023;
originally announced November 2023.
-
Asymptotically Optimal Idling in the GI/GI/N+GI Queue
Authors:
Yueyang Zhong,
Amy R. Ward,
Amber L. Puha
Abstract:
We formulate a control problem for a GI/GI/N+GI queue, whose objective is to trade off the long-run average operational costs (i.e., abandonment costs and holding costs) with server utilization costs. To solve the control problem, we consider an asymptotic regime in which the arrival rate and the number of servers grow large. The solution to an associated fluid control problem motivates that non-i…
▽ More
We formulate a control problem for a GI/GI/N+GI queue, whose objective is to trade off the long-run average operational costs (i.e., abandonment costs and holding costs) with server utilization costs. To solve the control problem, we consider an asymptotic regime in which the arrival rate and the number of servers grow large. The solution to an associated fluid control problem motivates that non-idling service disciplines are not in general optimal, unless some arrivals are turned away. We propose an admission control policy designed to ensure servers have sufficient idle time that we show is asymptotically optimal.
△ Less
Submitted 7 November, 2023; v1 submitted 21 June, 2021;
originally announced June 2021.
-
The Life and Mathematical Legacy of Thomas M. Liggett
Authors:
David Aldous,
Pietro Caputo,
Rick Durrett,
Alexander E. Holroyd,
Paul Jung,
Amber L. Puha
Abstract:
Thomas Milton Liggett was a world renowned UCLA probabilist, famous for his monograph Interacting Particle Systems. He passed away peacefully on May 12, 2020. This is a perspective article in memory of both Tom Liggett the person and Tom Liggett the mathematician.
Thomas Milton Liggett was a world renowned UCLA probabilist, famous for his monograph Interacting Particle Systems. He passed away peacefully on May 12, 2020. This is a perspective article in memory of both Tom Liggett the person and Tom Liggett the mathematician.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
Heavy Traffic Scaling Limits for shortest remaining processing time queues with heavy tailed processing time distributions
Authors:
Sayan Banerjee,
Amarjit Budhiraja,
Amber L. Puha
Abstract:
We study a single server queue operating under the shortest remaining processing time (SRPT) scheduling policy; that is, the server preemptively serves the job with the shortest remaining processing time first. In this work we are interested in studying the asymptotic behavior of suitably scaled measure-valued state descriptors that describe the evolution of a sequence of SRPT queuing systems. Gro…
▽ More
We study a single server queue operating under the shortest remaining processing time (SRPT) scheduling policy; that is, the server preemptively serves the job with the shortest remaining processing time first. In this work we are interested in studying the asymptotic behavior of suitably scaled measure-valued state descriptors that describe the evolution of a sequence of SRPT queuing systems. Gromoll, Kruk, and Puha (2011) have studied this problem under diffusive scaling. In the setting where the processing time distributions have unbounded support, under suitable conditions, they show that the diffusion scaled measures converge in distribution to the process that is identically zero. In Puha (2015) for the setting where the processing time distributions have unbounded support and light tails, a non-standard scaling of the queue length process is shown to give rise to a form of state space collapse that results in a nonzero limit. In the current work we consider the case where processing time distributions have finite second moments and regularly varying tails. We show that the measure valued process, under a non-standard scaling, converges in distribution in the space of paths of measures. In sharp contrast with previous results, there is no state space collapse. Nevertheless, the description of the limit is simple and given explicitly in terms of a certain $\mathbb{R}_+$ valued random field which is determined from a single Brownian motion. Along the way we establish convergence of suitably scaled workload and queue length processes. We also show that as the tail of the distribution of job processing times becomes lighter in an appropriate fashion, the difference between the limiting queue length process and the limiting workload process converges to zero, thereby approaching the behavior of state space collapse.
△ Less
Submitted 8 August, 2021; v1 submitted 7 March, 2020;
originally announced March 2020.
-
Diffusion limits for shortest remaining processing time queues under nonstandard spatial scaling
Authors:
Amber L. Puha
Abstract:
We develop a heavy traffic diffusion limit theorem under nonstandard spatial scaling for the queue length process in a single server queue employing shortest remaining processing time (SRPT). For processing time distributions with unbounded support, it has been shown that standard diffusion scaling yields an identically zero limit. We specify an alternative spatial scaling that produces a nonzero…
▽ More
We develop a heavy traffic diffusion limit theorem under nonstandard spatial scaling for the queue length process in a single server queue employing shortest remaining processing time (SRPT). For processing time distributions with unbounded support, it has been shown that standard diffusion scaling yields an identically zero limit. We specify an alternative spatial scaling that produces a nonzero limit. Our model allows for renewal arrivals and i.i.d. processing times satisfying a rapid variation condition. We add a corrective spatial scale factor to standard diffusion scaling, and specify conditions under which the sequence of unconventionally scaled queue length processes converges in distribution to the same nonzero reflected Brownian motion to which the sequence of conventionally scaled workload processes converges. Consequently, this corrective spatial scale factor characterizes the order of magnitude difference between the queue length and workload processes of SRPT queues in heavy traffic. It is determined by the processing time distribution such that the rate at which it tends to infinity depends on the rate at which the tail of the processing time distribution tends to zero. For Weibull processing time distributions, we restate this result in a manner that makes the resulting state space collapse more apparent.
△ Less
Submitted 28 October, 2015; v1 submitted 14 July, 2014;
originally announced July 2014.
-
Fluid Limits for Overloaded Multiclass FIFO Single-Server Queues with General Abandonment
Authors:
Otis B. Jennings,
Amber L. Puha
Abstract:
We consider an overloaded multiclass nonidling first-in-first-out single-server queue with abandonment. The interarrival times, service times, and deadline times are sequences of independent and identically, but generally distributed random variables. In prior work, Jennings and Reed studied the workload process associated with this queue. Under mild conditions, they establish both a functional la…
▽ More
We consider an overloaded multiclass nonidling first-in-first-out single-server queue with abandonment. The interarrival times, service times, and deadline times are sequences of independent and identically, but generally distributed random variables. In prior work, Jennings and Reed studied the workload process associated with this queue. Under mild conditions, they establish both a functional law of large numbers and a functional central limit theorem for this process. We build on that work here. For this, we consider a more detailed description of the system state given by $K$ finite, nonnegative Borel measures on the nonnegative quadrant, one for each job class. For each time and job class, the associated measure has a unit atom associated with each job of that class in the system at the coordinates determined by what are referred to as the residual virtual sojourn time and residual patience time of that job. Under mild conditions, we prove a functional law of large numbers for this measure-valued state descriptor. This yields approximations for related processes such as the queue lengths and abandoning queue lengths. An interesting characteristic of these approximations is that they depend on the deadline distributions in their entirety.
△ Less
Submitted 15 November, 2013; v1 submitted 2 October, 2012;
originally announced October 2012.
-
Diffusion limits for shortest remaining processing time queues
Authors:
H. Christian Gromoll,
Ćukasz Kruk,
Amber L. Puha
Abstract:
We present a heavy traffic analysis for a single server queue with renewal arrivals and generally distributed i.i.d. service times, in which the server employs the Shortest Remaining Processing Time (SRPT) policy. Under typical heavy traffic assumptions, we prove a diffusion limit theorem for a measure-valued state descriptor, from which we conclude a similar theorem for the queue length process.…
▽ More
We present a heavy traffic analysis for a single server queue with renewal arrivals and generally distributed i.i.d. service times, in which the server employs the Shortest Remaining Processing Time (SRPT) policy. Under typical heavy traffic assumptions, we prove a diffusion limit theorem for a measure-valued state descriptor, from which we conclude a similar theorem for the queue length process. These results allow us to make some observations on the queue length optimality of SRPT. In particular, they provide the sharpest illustration of the well-known tension between queue length optimality and quality of service for this policy.
△ Less
Submitted 16 November, 2010; v1 submitted 6 May, 2010;
originally announced May 2010.
-
Invariant states and rates of Convergence for a critical fluid model of a processor sharing queue
Authors:
Amber L. Puha,
Ruth J. Williams
Abstract:
This paper contains an asymptotic analysis of a fluid model for a heavily loaded processor sharing queue. Specifically, we consider the behavior of solutions of critical fluid models as time approaches \infty. The main theorems of the paper provide sufficient conditions for a fluid model solution to converge to an invariant state and, under slightly more restrictive assumptions, provide a rate o…
▽ More
This paper contains an asymptotic analysis of a fluid model for a heavily loaded processor sharing queue. Specifically, we consider the behavior of solutions of critical fluid models as time approaches \infty. The main theorems of the paper provide sufficient conditions for a fluid model solution to converge to an invariant state and, under slightly more restrictive assumptions, provide a rate of convergence. These results are used in a related work by Gromoll for establishing a heavy traffic diffusion approximation for a processor sharing queue.
△ Less
Submitted 14 May, 2004;
originally announced May 2004.