Scheduling algorithms for throughput maximization in data networks

This thesis considers the performance implications of throughput optimal scheduling in physically and computationally constrained data networks. We study optical networks, packet switches, and wireless networks, each of which has an assortment of features and constraints that challenge the design decisions of network architects. In this work, each of these network settings are subsumed under a canonical model and scheduling framework. Tools of queueing analysis are used to evaluate network throughput properties, and demonstrate throughput optimality of scheduling and routing algorithms under stochastic traffic. Techniques of graph theory are used to study network topologies having desirable throughput properties. Combinatorial algorithms are proposed for efficient resource allocation. In the optical network setting, the key enabling technology is wavelength division multiplexing (WDM), which allows each optical fiber link to simultaneously carry a large number of independent data streams at high rate. To take advantage of this high data processing potential, engineers and physicists have developed numerous technologies, including wavelength converters, optical switches, and tunable transceivers. While the functionality provided by these devices is of great importance in capitalizing upon the WDM resources, a major challenge exists in determining how to configure these devices to operate efficiently under time-varying data traffic. In the WDM setting, we make two main contributions. First, we develop throughput optimal joint WDM reconfiguration and electronic-layer routing algorithms, based on maxweight scheduling. To mitigate the service disruption associated with WDM reconfiguration, our algorithms make decisions at frame intervals. Second, we develop analytic tools to quantify the maximum throughput achievable in general network settings. Our approach is to characterize several geometric features of the maximum region of arrival rates that can be supported in the network. In the packet switch setting, we observe through numerical simulation the attractive throughput properties of a simple maximal weight scheduler. Subsequently, we consider small switches, and analytically demonstrate the attractive throughput properties achievable using maximal weight scheduling. We demonstrate that such throughput properties may not be sustained in larger switches. In the wireless network setting, mesh networking is a promising technology for achieving connectivity in local and metropolitan area networks. Wireless access points and base stations adhering to the IEEE 802.11 wireless networking standard can be bought off the shelf at little cost, and can be configured to access the Internet in minutes. With ubiquitous low-cost Internet access perceived to be of tremendous societal value, such technology is naturally garnering strong interest. Enabling such wireless technology is thus of great importance. An important challenge in enabling mesh networks, and many other wireless network applications, results from the fact that wireless transmission is achieved by broadcasting signals through the air, which has the potential for interfering with other parts of the network. Furthermore, the scarcity of wireless transmission resources implies that link activation and packet routing should be effected using simple distributed algorithms. We make three main contributions in the wireless setting. First, we determine graph classes under which simple, distributed, maximal weight schedulers achieve throughput optimality. Second, we use this acquired knowledge of graph classes to develop combinatorial algorithms, based on matroids, for allocating channels to wireless links, such that each channel can achieve maximum throughput using simple distributed schedulers. Third, we determine new conditions under which distributed algorithms for joint link activation and routing achieve throughput optimality. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)

[1]  Tzi-cker Chiueh,et al.  Architecture and algorithms for an IEEE 802.11-based multi-channel wireless mesh network , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[2]  David Avis,et al.  A survey of heuristics for the weighted matching problem , 1983, Networks.

[3]  Nick McKeown,et al.  Analysis of scheduling algorithms that provide 100% throughput in input-queued switches , 2001 .

[4]  Poompat Saengudomlert Architectural study of high-speed networks with optical bypassing , 2002 .

[5]  Murali S. Kodialam,et al.  Characterizing the capacity region in multi-radio multi-channel wireless mesh networks , 2005, MobiCom '05.

[6]  Jorge Urrutia,et al.  Comparability graphs and intersection graphs , 1983, Discret. Math..

[7]  Prasanna Chaporkar,et al.  Throughput Guarantees Through Maximal Scheduling in Wireless Networks , 2008 .

[8]  Sean P. Meyn,et al.  Stability and convergence of moments for multiclass queueing networks via fluid limit models , 1995, IEEE Trans. Autom. Control..

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

[10]  Michael J. Neely,et al.  Dynamic power allocation and routing for satellite and wireless networks with time varying channels , 2003 .

[11]  Nick McKeown,et al.  Matching output queueing with a combined input output queued switch , 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).

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

[13]  Adel A. M. Saleh,et al.  Quantifying the benefit of wavelength add-drop in WDM rings with distance-independent and dependent traffic , 1999 .

[14]  Devavrat Shah,et al.  Optimal Scheduling Algorithms for Input-Queued Switches , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[15]  N. L. Lawrie,et al.  Comparison Methods for Queues and Other Stochastic Models , 1984 .

[16]  Debasis Mitra,et al.  Light core and intelligent edge for a flexible, thin-layered, and cost-effective optical transport network , 2003, IEEE Commun. Mag..

[17]  Eytan Modiano,et al.  Power allocation and routing in multibeam satellites with time-varying channels , 2003, TNET.

[18]  Eytan Modiano,et al.  Traffic grooming in WDM networks , 2001, IEEE Commun. Mag..

[19]  W. Rudin Principles of mathematical analysis , 1964 .

[20]  C. Berge Fractional Graph Theory , 1978 .

[21]  Randeep Bhatia,et al.  Joint Channel Assignment and Routing for Throughput Optimization in Multiradio Wireless Mesh Networks , 2005, IEEE Journal on Selected Areas in Communications.

[22]  Biswanath Mukherjee,et al.  Fault management in IP-over-WDM networks: WDM protection versus IP restoration , 2002, IEEE J. Sel. Areas Commun..

[23]  Michael J. Neely,et al.  Super-Fast Delay Tradeoffs for Utility Optimal Fair Scheduling in Wireless Networks , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[24]  Gil Zussman,et al.  Capacity Assignment in Bluetooth Scatternets – Optimal and Heuristic Algorithms , 2004, Mob. Networks Appl..

[25]  Xiaojun Lin,et al.  Constant-Time Distributed Scheduling Policies for Ad Hoc Wireless Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[26]  Eytan Modiano,et al.  Enabling distributed throughput maximization in wireless mesh networks: a partitioning approach , 2006, MobiCom '06.

[27]  Maury Bramson,et al.  Stability of two families of queueing networks and a discussion of fluid limits , 1998, Queueing Syst. Theory Appl..

[28]  Keith R. Matthews,et al.  Elementary Linear Algebra , 1998 .

[29]  Imrich Chlamtac,et al.  Lightpath communications: an approach to high bandwidth optical WAN's , 1992, IEEE Trans. Commun..

[30]  Shay Kutten,et al.  Worst-case analysis of dynamic wavelength allocation in optical networks , 1999, TNET.

[31]  Harold N. Gabow,et al.  Forests, frames, and games: algorithms for matroid sums and applications , 1988, STOC '88.

[32]  John Y. Wei Advances in the management and control of optical Internet , 2002, IEEE J. Sel. Areas Commun..

[33]  Thomas Kailath,et al.  A broadband packet switch architecture with input and output queueing , 1994, 1994 IEEE GLOBECOM. Communications: The Global Bridge.

[34]  Alexander L. Stolyar,et al.  Scheduling for multiple flows sharing a time-varying channel: the exponential rule , 2000 .

[35]  Bhaskar Krishnamachari,et al.  Experimental study of concurrent transmission in wireless sensor networks , 2006, SenSys '06.

[36]  Atilla Eryilmaz,et al.  Efficient and Fair Scheduling for Wireless Networks , 2005 .

[37]  Anthony S. Acampora,et al.  Logically rearrangeable multihop lightwave networks , 1991, IEEE Trans. Commun..

[38]  Nasir Ghani,et al.  On IP-over-WDM integration , 2000, IEEE Commun. Mag..

[39]  E. Modiano,et al.  Efficient routing and wavelength assignment for reconfigurable WDM networks with wavelength converters , 2005, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[40]  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).

[41]  Eytan Modiano,et al.  On-line routing and wavelength assignment for dynamic traffic in WDM ring and torus networks , 2006, IEEE/ACM Transactions on Networking.

[42]  Ian F. Akyildiz,et al.  Wireless mesh networks: a survey , 2005, Comput. Networks.

[43]  Marco Ajmone Marsan,et al.  On the stability of local scheduling policies in networks of packet switches with input queues , 2003, IEEE J. Sel. Areas Commun..

[44]  Ann Appl,et al.  On the Positive Harris Recurrence for Multiclass Queueing Networks: a Uniied Approach via Uid Limit Models , 1999 .

[45]  Charles E. Rohrs,et al.  Rate Quantization and Service Quality for Variable Rate Traffic over Single Crossbar Switches Can , 2004 .

[46]  Frank Harary,et al.  Graph Theory , 2016 .

[47]  Nada Golmie,et al.  A Functional Classi cation of Routing and Wavelength Assignement Schemes in DWDM networks: Static Case , 2000 .

[48]  M. Bramson A stable queueing network with unstable fluid model , 1999 .

[49]  Eytan Modiano,et al.  Maximizing throughput in wireless networks via gossiping , 2006, SIGMETRICS '06/Performance '06.

[50]  Paolo Giaccone,et al.  On the maximal throughput of networks with finite buffers and its application to buffered crossbars , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[51]  Kathie Cameron,et al.  Induced Matchings in Intersection Graphs , 2000, Electron. Notes Discret. Math..

[52]  Luca Valcarenghi,et al.  IP restoration vs. WDM protection: is there an optimal choice? , 2000, IEEE Netw..

[53]  Chunming Qiao,et al.  Multilayer versus single-layer optical cross-connect architectures for waveband switching , 2004, IEEE INFOCOM 2004.

[54]  Paolo Giaccone,et al.  Randomized scheduling algorithms for high-aggregate bandwidth switches , 2003, IEEE J. Sel. Areas Commun..

[55]  MarsanMarco Ajmone,et al.  Packet-mode scheduling in input-queued cell-based switches , 2002 .

[56]  Alec Wolman,et al.  A multi-radio unification protocol for IEEE 802.11 wireless networks , 2004, First International Conference on Broadband Networks.

[57]  A. Stolyar On the Stability of Multiclass Queueing Networks: A Relaxed SuÆcient Condition via Limiting Fluid Processes , .

[58]  Friedrich Jondral,et al.  A software radio for second- and third-generation mobile systems , 2002, IEEE Trans. Veh. Technol..

[59]  Chadi Assi,et al.  A simple dynamic integrated provisioning/protection scheme in IP over WDM networks , 2001 .

[60]  Qi Bi,et al.  Wireless mobile communications at the start of the 21st century , 2001 .

[61]  Robert E. Tarjan,et al.  On a Greedy Heuristic for Complete Matching , 1981, SIAM J. Comput..

[62]  Nicholas Bambos,et al.  Queueing Dynamics and Maximal Throughput Scheduling in Switched Processing Systems , 2003, Queueing Syst. Theory Appl..

[63]  E. Leonardi,et al.  Multi-hop scheduling for optical switches with large reconfiguration overhead , 2004, 2004 Workshop on High Performance Switching and Routing, 2004. HPSR..

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

[65]  Marco Ajmone Marsan,et al.  On the stability of input-queued switches with speed-up , 2001, TNET.

[66]  N. Bambos,et al.  PROJECTIVE CONE SCHEDULES IN QUEUEING STRUCTURES ; Geometry of Packet Scheduling in Communication Network Switches , 2002 .

[67]  Subramanian Ramanathan,et al.  Scheduling algorithms for multihop radio networks , 1993, TNET.

[68]  Sanjay Shakkottai,et al.  Hop-by-Hop Congestion Control Over a Wireless Multi-Hop Network , 2004, IEEE/ACM Transactions on Networking.

[69]  Paolo Giaccone,et al.  Efficient Randomized Algorithms for Input-Queued Switch Scheduling , 2002, IEEE Micro.

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

[71]  Devavrat Shah,et al.  Delay bounds for approximate maximum weight matching algorithms for input queued switches , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[72]  Philip A. Whiting,et al.  SCHEDULING IN A QUEUING SYSTEM WITH ASYNCHRONOUSLY VARYING SERVICE RATES , 2004, Probability in the Engineering and Informational Sciences.

[73]  Eytan Modiano,et al.  Dynamic power allocation and routing for time varying wireless networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[74]  Eytan Modiano,et al.  Optimal transceiver scheduling in WDM/TDM networks , 2005, IEEE Journal on Selected Areas in Communications.

[75]  Roger Wattenhofer,et al.  Protocol Design Beyond Graph-Based Models , 2006, HotNets.

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

[77]  Sean P. Meyn Transience of Multiclass Queueing Networks Via Fluid Limit Models , 1995 .

[78]  Marco Ajmone Marsan,et al.  Bounds on average delays and queue size averages and variances in input-queued cell-based switches , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[79]  R. Srikant,et al.  Stable scheduling policies for fading wireless channels , 2005, IEEE/ACM Transactions on Networking.

[80]  George N. Rouskas,et al.  Traffic adaptive WDM networks: a study of reconfiguration issues , 2001 .

[81]  Muriel Médard,et al.  On the Capacity of Optical Networks: A Framework for Comparing Different Transport Architectures , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[82]  Marco Ajmone Marsan,et al.  Multicast traffic in input-queued switches: optimal scheduling and maximum throughput , 2003, TNET.

[83]  Patrick Mitran,et al.  Limits on communications in a cognitive radio channel , 2006, IEEE Communications Magazine.

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

[85]  Bruce E. Hajek,et al.  Link scheduling in polynomial time , 1988, IEEE Trans. Inf. Theory.

[86]  Chunming Qiao,et al.  An effective and comprehensive approach for traffic grooming and wavelength assignment in SONET/WDM rings , 2000, TNET.

[87]  G. Dai A Fluid-limit Model Criterion for Instability of Multiclass Queueing Networks , 1996 .

[88]  Hong Chen Fluid Approximations and Stability of Multiclass Queueing Networks: Work-Conserving Disciplines , 1995 .

[89]  Nicholas Bambos,et al.  Scheduling bursts in time-domain wavelength interleaved networks , 2003, IEEE J. Sel. Areas Commun..

[90]  Paolo Giaccone,et al.  An Implementable Parallel Scheduler for Input-Queued Switches , 2002, IEEE Micro.

[91]  Leandros Tassiulas,et al.  Scheduling algorithms for optical packet fabrics , 2003, IEEE J. Sel. Areas Commun..

[92]  Paolo Giaccone,et al.  Rate Stability of Stable-Marriage Scheduling Algorithms in Input-Queued Switches , 2002 .

[93]  Edmund M. Yeh,et al.  Throughput and delay optimal resource allocation in multiaccess fading channels , 2003, IEEE International Symposium on Information Theory, 2003. Proceedings..

[94]  Eytan Modiano,et al.  Dynamic routing and wavelength assignment with optical bypass using ring embeddings , 2004, 2004 Workshop on High Performance Switching and Routing, 2004. HPSR..

[95]  R. Srikant,et al.  Regulated Maximal Matching: A Distributed Scheduling Algorithm for Multi-Hop Wireless Networks With Node-Exclusive Spectrum Sharing , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[96]  D. Shah,et al.  Capacity-Delay Scaling in Arbitrary Wireless Networks , 2006 .

[97]  Joseph Mitola,et al.  The software radio architecture , 1995, IEEE Commun. Mag..

[98]  Chunming Qiao,et al.  QoS performance of optical burst switching in IP-over-WDM networks , 2000, IEEE Journal on Selected Areas in Communications.

[99]  Devavrat Shah,et al.  Maximum weight matching via max-product belief propagation , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[100]  Nick McKeown,et al.  On the speedup required for combined input- and output-queued switching , 1999, Autom..

[101]  Chunming Qiao,et al.  Labeled optical burst switching for IP-over-WDM integration , 2000, IEEE Commun. Mag..

[102]  Leandros Tassiulas,et al.  Linear complexity algorithms for maximum throughput in radio networks and input queued switches , 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.

[103]  Madhav V. Marathe,et al.  The distance-2 matching problem and its relationship to the MAC-Layer capacity of ad hoc wireless networks , 2004, IEEE Journal on Selected Areas in Communications.

[104]  Lisa Zhang,et al.  Achieving stability in networks of input-queued switches , 2003, TNET.

[105]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[106]  J. Marsden,et al.  Elementary classical analysis , 1974 .

[107]  Ken Christensen,et al.  An evolution to crossbar switches with virtual output queuing and buffered cross points , 2003 .

[108]  Kai-Yeung Siu,et al.  Linear-complexity algorithms for QoS support in input-queued switches with no speedup , 1999, IEEE J. Sel. Areas Commun..

[109]  Kathryn Fraughnaugh,et al.  Introduction to graph theory , 1973, Mathematical Gazette.

[110]  R. Berezdivin,et al.  Next-generation wireless communications concepts and technologies , 2002, IEEE Commun. Mag..

[111]  Nicholas Bambos,et al.  Dynamic scheduling of optical data bursts in time-domain wavelength interleaved networks , 2003, 11th Symposium on High Performance Interconnects, 2003. Proceedings..

[112]  Upendra Dave,et al.  Applied Probability and Queues , 1987 .

[113]  Michael J. Neely,et al.  Energy optimal control for time-varying wireless networks , 2005, IEEE Transactions on Information Theory.

[114]  Leandros Tassiulas Scheduling and performance limits of networks with constantly changing topology , 1997 .

[115]  Cheng-Shang Chang,et al.  Birkhoff-von Neumann input buffered crossbar switches , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[116]  Eytan Modiano,et al.  Dynamic reconfiguration and routing algorithms for IP-over-WDM networks with stochastic traffic , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[117]  Chunming Qiao,et al.  A comparative study of OBS and OFS , 2001, OFC 2001. Optical Fiber Communication Conference and Exhibit. Technical Digest Postconference Edition (IEEE Cat. 01CH37171).

[118]  P. Lawson,et al.  Federal Communications Commission , 2004, Bell Labs Technical Journal.

[119]  Can Emre Koksal,et al.  Providing quality of service over high speed electronic and optical switches , 2003 .

[120]  Ness B. Shroff,et al.  The impact of imperfect scheduling on cross-layer rate control in wireless networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[121]  Marco Ajmone Marsan,et al.  Joint optimal scheduling and routing for maximum network throughput , 2005, INFOCOM 2005.

[122]  Anna Charny,et al.  On the speedup required for work-conserving crossbar switches , 1999, IEEE J. Sel. Areas Commun..

[123]  Joseph Mitola,et al.  Cognitive radio: making software radios more personal , 1999, IEEE Wirel. Commun..

[124]  Angelika Steger,et al.  On induced matchings , 1993, Discret. Math..

[125]  Eytan Modiano,et al.  Efficient routing and wavelength assignment for reconfigurable WDM networks , 2002, IEEE J. Sel. Areas Commun..

[126]  Sean P. Meyn,et al.  Stability of queueing networks and scheduling policies , 1995, IEEE Trans. Autom. Control..

[127]  Hong Chen,et al.  Stability of Multiclass Queueing Networks Under FIFO Service Discipline , 1997, Math. Oper. Res..

[128]  M. R. Rao,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[129]  D. Rose Triangulated graphs and the elimination process , 1970 .

[130]  Philip Wolfe,et al.  Contributions to the theory of games , 1953 .

[131]  R. Srikant,et al.  Joint congestion control, routing, and MAC for stability and fairness in wireless networks , 2006, IEEE Journal on Selected Areas in Communications.

[132]  R. Srikant,et al.  A tutorial on cross-layer optimization in wireless networks , 2006, IEEE Journal on Selected Areas in Communications.

[133]  Eytan Modiano,et al.  Dynamic wavelength assignment for WDM all-optical tree networks , 2005, IEEE/ACM Transactions on Networking.

[134]  Kai-Yeung Siu,et al.  A cell switching WDM broadcast LAN with bandwidth guarantee and fair access , 1998 .

[135]  E. Buracchini,et al.  The software radio concept , 2000, IEEE Commun. Mag..

[136]  Marco Ajmone Marsan,et al.  On the stability of isolated and interconnected input-queueing switches under multiclass traffic , 2005, IEEE Transactions on Information Theory.

[137]  Martin Charles Golumbic,et al.  Perfect Elimination and Chordal Bipartite Graphs , 1978, J. Graph Theory.

[138]  Vincent Dumas,et al.  A multiclass network with non-linear, non-convex, non-monotonic stability conditions , 1997, Queueing Syst. Theory Appl..

[139]  Koushik Kar,et al.  Fairness and Throughput Guarantees with Maximal Scheduling in Multi-hop Wireless Networks , 2006, 2006 4th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks.

[140]  Simon Haykin,et al.  Cognitive radio: brain-empowered wireless communications , 2005, IEEE Journal on Selected Areas in Communications.

[141]  Anthony S. Acampora,et al.  Branch-exchange sequences for reconfiguration of lightwave networks , 1994, IEEE Trans. Commun..

[142]  Biswanath Mukherjee,et al.  Optical Communication Networks , 1997 .

[143]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[144]  Jaap-Henk Hoepman,et al.  Simple Distributed Weighted Matchings , 2004, ArXiv.