Efficiency and optimality of largest deficit first prioritization: Resource allocation for real-time applications

An increasing number of real-time applications with compute and/or communication deadlines are being supported on shared infrastructure. Such applications can often tolerate occasional deadline violations without substantially impacting their Quality of Service (QoS). A fundamental problem in such systems is deciding how to allocate shared resources so as to meet applications' QoS requirements. A simple framework to address this problem is to, (1) dynamically prioritize users as a possibly complex function of their deficits (difference of achieved vs required QoS), and (2) allocate resources so to expedite users with higher priority. This paper focuses on a general class of systems using such priority-based resource allocation. We first characterize the set of feasible QoS requirements and show the optimality of max weight-like prioritization. We then consider simple weighted Largest Deficit First (w-LDF) prioritization policies, where users with higher weighted QoS deficits are given higher priority. The paper gives an inner bound for the feasible set under w-LDF policies, and, under an additional monotonicity assumption, characterizes its geometry leading to a sufficient condition for optimality. Additional insights on the efficiency ratio of w-LDF policies, the optimality of hierarchical-LDF and characterization of clustering of failures are also discussed.

[1]  Jean C. Walrand,et al.  Achieving 100% throughput in an input-queued switch , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[2]  Leandros Tassiulas,et al.  Dynamic server allocation to parallel queues with randomly varying connectivity , 1993, IEEE Trans. Inf. Theory.

[3]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[4]  Michael J. Neely,et al.  Delay Analysis for Max Weight Opportunistic Scheduling in Wireless Systems , 2008, IEEE Transactions on Automatic Control.

[5]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[6]  I-Hong Hou Scheduling Heterogeneous Real-Time Traffic Over Fading Wireless Channels , 2014, IEEE/ACM Transactions on Networking.

[7]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[8]  Sem C. Borst,et al.  Inefficiency of MaxWeight scheduling in spatial wireless networks , 2013, Comput. Commun..

[9]  Gustavo de Veciana,et al.  Scheduling for cloud-based computing systems to support soft real-time applications , 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.

[10]  N. J. A. Sloane,et al.  Sphere Packings, Lattices and Groups , 1987, Grundlehren der mathematischen Wissenschaften.

[11]  Panganamala Ramana Kumar,et al.  Packets with Deadlines: A Framework for Real-Time Wireless Networks , 2013, Packets with Deadlines: A Framework for Real-Time Wireless Networks.

[12]  Sean P. Meyn,et al.  A survey of Markovian methods for stability of networks , 1994 .

[13]  A. Stolyar MaxWeight scheduling in a generalized switch: State space collapse and workload minimization in heavy traffic , 2004 .

[14]  Balaji Prabhakar,et al.  The throughput of data switches with and without speedup , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[15]  Marianthi G. Ierapetritou,et al.  Process scheduling under uncertainty: Review and challenges , 2008, Comput. Chem. Eng..

[16]  Lei Ying,et al.  On the performance of largest-deficit-first for scheduling real-time traffic in wireless networks , 2016 .

[17]  Sirajum Munir,et al.  Addressing burstiness for reliable communication and latency bound generation in wireless sensor networks , 2010, IPSN '10.

[18]  Lei Ying,et al.  On the Performance of Largest-Deficit-First for Scheduling Real-Time Traffic in Wireless Networks , 2016, IEEE/ACM Transactions on Networking.

[19]  Panganamala Ramana Kumar,et al.  Queueing systems with hard delay constraints: a framework for real-time communication over unreliable wireless channels , 2012, Queueing Syst. Theory Appl..

[20]  Sean P. Meyn,et al.  Piecewise linear test functions for stability and instability of queueing networks , 1997, Queueing Syst. Theory Appl..

[21]  R. Srikant,et al.  Scheduling Real-Time Traffic With Deadlines over a Wireless Channel , 1999, WOWMOM '99.

[22]  J. Walrand,et al.  Sufficient conditions for stability of longest-queue-first scheduling: second-order properties using fluid limits , 2006, Advances in Applied Probability.

[23]  Leandros Tassiulas,et al.  Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks , 1992 .

[24]  Nick McKeown,et al.  Scheduling algorithms for input-queued cell switches , 1996 .

[25]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

[26]  Ness B. Shroff,et al.  Performance limits of greedy maximal matching in multi-hop wireless networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[27]  R. Srikant,et al.  Optimal Scheduling for Fair Resource Allocation in Ad Hoc Networks With Elastic and Inelastic Traffic , 2011, IEEE/ACM Transactions on Networking.

[28]  D. Blackwell An analog of the minimax theorem for vector payoffs. , 1956 .

[29]  V. Rich Personal communication , 1989, Nature.