1 OPTIMAL SCHEDULING ALGORITHMS FOR AD HOC WIRELESS NETWORKS 3/31/2010 Siva Theja Maguluri Qualifying Exam Setting 2 Adhoc Wireless Network – Interference Graph Time is slotted – Packets are of same size Schedule – Binary Vector – Independent Set 1 0 0 0 1 0 1 1 0 0 3/31/2010 0 Throughput Optimality 3 Consider the Co(M[L])- Convex hull of Maximal Schedules Any vector strictly dominated by this is feasible (Capacity Region) Throughput Optimality Algorithm based only on current queue length and not arrival rate 3/31/2010 Scheduling Algorithms 4 Max Weight (Tassiulas & Ephremides) Throughput Optimal Excellent Performance High complexity; Centralized Implementation Q-CSMA Each node tries to transmit after an exponential backoff time with rate proportional to its queue length (Jiang and Walrand) Distributed Implementation; Asynchronous Throughput Optimal Poor Delay performance 3/31/2010 Longest Queue First (LQF) 5 Approximate Greedy implementation of Max Weight - Greedy Maximal Scheduling aka LQF Greedily try to add longest queue link in the schedule Low complexity Distributed Implementation of LQF Data Slot and Control Slot Control Slot Data Slot 3/31/2010 Longest Queue First 6 Throughput optimal under a topological condition called local pooling (Dimakis and Walrand) Local pooling No vector in Co(M[L]) strictly dominates another Works well for practical networks QoS Performance of Queue Lengths? Variable Packet Sizes – Many Practical Scenarios like 802.11 ? 3/31/2010 Large Deviation Optimality 7 Second Order Performance Measure Probability of Buffer Overflow of the maximum queue min P(maxQ B) Largest set of allowed rates under upper bound on probability of buffer overflow max lim B 1 log P (max( Q) B) B To find a schedule with the Largest Large Deviation Exponent 3/31/2010 Large Deviation Optimality 8 Bernoulli Arrivals with mean p If q is empirical mean, the LD cost for that event is D(p||q) Overflow happens along the path with the lowest cost Reduces to deterministic problem of finding minimum cost path to overflow Further reduced to one dimension by considering the path of a Lyapunov function 3/31/2010 Large Deviation optimality of LQF 9 Greedily try to minimize increase of the Lyapunov function (Venkataraman and X Lin ‘09) Use max as Lyapunov Function Under localpooling, LQF is large deviation optimal for overflow of max queue length Compare with any other algorithm 3/31/2010 LQF with variable packet sizes 10 Variable Packet Sizes – Exponential Distribution Discrete time to Continous time Add longest queue in the schedule whenever possible Exponential wait time – required ? Throughput Optimal 3/31/2010 Further Work 11 Is the wait period required? Is Asynchronous LQF large deviation optimal? 3/31/2010 Conclusion 12 Asynchronous version of LQF, with small wait is proved to be throughput optimal To investigate if it works without the delay LQF is found to be Large Deviation Optimal in the synchronous case To find if asynchronous LQF is also Large Deviation Optimal 3/31/2010