Asymptotic Evaluation of Delay in the SRPT Scheduler

In this note, the shortest remaining processing time (SRPT) scheduler is considered. We focus on the SRPT scheduling policy for a discrete-time queueing system that is accessed by a large number of flows (a many flows regime). In such an asymptotic regime (large capacity and large number of flows), we derive the expression for the delay rate function, which describes the complete delay distribution, for batch arrival processes, and with bounded job sizes. Based on these results, we compare the delay rate function (i.e., for any finite delay, and asymptotic in the number of flows) of the SRPT scheduler with that of a first-in-first-out (FIFO) scheduler, when there is a mix of job sizes. Our analysis holds for any finite mix of job sizes and for truncated heavy-tailed arrival processes. We apply the result to a system accessed by jobs which are one of two sizes: 1 or M. We investigate the unfairness of SRPT by comparing the delay rate function of size M jobs for SRPT and FIFO. We show that the difference in the delay rate function between SRPT and FIFO for size M jobs decay as O(1/M gamma) for some gamma that satisfies 0<gamma<1 and for M sufficiently large. In other words, the delay distributions under FIFO and SRPT becomes increasingly similar for increasingly larger jobs. On the other hand, for size 1 jobs, the delay rate function under SRPT is invariant with M. However, for FIFO, the delay rate function decays as O(1/Mgamma) for some 0<gamma<1 and M large. Thus, for size 1 jobs, SRPT performs increasingly better compared to FIFO as the range in job size increases. These results indicate that SRPT is a good policy to implement for web-servers, where empirical evidence suggests a large variability in job sizes

[1]  Ravi Mazumdar,et al.  Cell loss asymptotics in buffers fed with a large number of independent stationary sources , 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.

[2]  E. Rogers,et al.  Control Theory and Applications for Repetitive Processes , 1999 .

[3]  Jean C. Walrand,et al.  Effective bandwidths: Call admission, traffic policing and filtering for ATM networks , 1995, Queueing Syst. Theory Appl..

[4]  Nick G. Duffield,et al.  Large deviations, the shape of the loss curve, and economies of scale in large multiplexers , 1995, Queueing Syst. Theory Appl..

[5]  M. Corless,et al.  Continuous state feedback guaranteeing uniform ultimate boundedness for uncertain dynamic systems , 1981 .

[6]  R. Mazumdar,et al.  Cell loss asymptotics for buffers fed with a large number of independent stationary sources , 1999 .

[7]  J. Hale,et al.  Existence, uniqueness and continuous dependence for hereditary systems , 1970 .

[8]  Domitilla Del Vecchio,et al.  Adaptive Learning Control for Feedback Linearizable Systems , 2003, Eur. J. Control.

[9]  Adam Shwartz,et al.  Large Deviations For Performance Analysis , 2019 .

[10]  S. Hara,et al.  Repetitive control system: a new type servo system for periodic exogenous signals , 1988 .

[11]  Mor Harchol-Balter,et al.  Analysis of SRPT scheduling: investigating unfairness , 2001, SIGMETRICS '01.

[12]  Amir Dembo,et al.  Large Deviations Techniques and Applications , 1998 .

[13]  Zhihua Qu,et al.  Nonlinear learning control for a class of nonlinear systems , 2001, Autom..

[14]  Sem C. Borst,et al.  The impact of the service discipline on delay asymptotics , 2003, Perform. Evaluation.

[15]  R. Weber,et al.  Buffer overflow asymptotics for a buffer handling many traffic sources , 1996, Journal of Applied Probability.

[16]  M. Crovella,et al.  Heavy-tailed probability distributions in the World Wide Web , 1998 .

[17]  SchroederBianca,et al.  Web servers under overload , 2006 .

[18]  Marc Bodson,et al.  Design of adaptive feedforward algorithms using internal model equivalence , 1995 .

[19]  Richard W. Longman,et al.  Iterative learning control and repetitive control for engineering practice , 2000 .

[20]  Martin F. Arlitt,et al.  Web server workload characterization: the search for invariants , 1996, SIGMETRICS '96.

[21]  Azer Bestavros,et al.  Self-similarity in World Wide Web traffic: evidence and possible causes , 1996, SIGMETRICS '96.

[22]  Catherine Rosenberg,et al.  Cell loss asymptotics in priority queues accessed by a large number of independent stationary sources , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[23]  Mor Harchol-Balter,et al.  Web servers under overload: How scheduling can help , 2006, TOIT.

[24]  John N. Tsitsiklis,et al.  Asymptotic buffer overflow probabilities in multiclass multiplexers: an optimal control approach , 1998, IEEE Trans. Autom. Control..

[25]  R. Srikant,et al.  Many-Sources Delay Asymptotics with Applications to Priority Queues , 2001, Queueing Syst. Theory Appl..

[26]  John Dilley Hewlett-Packard Web Server Workload Characterization , 1996 .

[27]  Ioannis Ch. Paschalidis Class-specific quality of service guarantees in multimedia communication networks , 1999, Autom..

[28]  Wen-Jun Cao,et al.  Robust and almost perfect periodic tracking of nonlinear systems using repetitive VSC , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[29]  Roberto Horowitz,et al.  A new adaptive learning rule , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[30]  Ying Tan,et al.  A new pointwise adaptive control approach for time-varying parameters with known periodicity , 2003, Proceedings of the 2003 American Control Conference, 2003..

[31]  Adam Wierman,et al.  Tail asymptotics for policies favoring short jobs in a many-flows regime , 2006, SIGMETRICS '06/Performance '06.

[32]  Erik I. Verriest,et al.  On the stability of coupled delay differential and continuous time difference equations , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[33]  Atm Switches,et al.  BUFFER OVERFLOW ASYMPTOTICS FOR A BUFFER HANDLING MANY TRAFFIC SOURCES , 1996 .

[34]  Adam Wierman,et al.  Asymptotic convergence of scheduling policies with respect to slowdown , 2002, Perform. Evaluation.

[35]  Carey L. Williamson,et al.  Internet Web servers: workload characterization and performance implications , 1997, TNET.

[36]  Mor Harchol-Balter,et al.  Size-based scheduling to improve web performance , 2003, TOCS.

[37]  M. Malik,et al.  Operating Systems , 1992, Lecture Notes in Computer Science.