Approximating Fluid Schedules in Crossbar Packet-Switches and Banyan Networks

We consider a problem motivated by the desire to provide flexible, rate-based, quality of service guarantees for packets sent over input queued switches and switch networks. Our focus is solving a type of online traffic scheduling problem, whose input at each time step is a set of desired traffic rates through the switch network. These traffic rates in general cannot be exactly achieved since they assume arbitrarily small fractions of packets can be transmitted at each time step. The goal of the traffic scheduling problem is to closely approximate the given sequence of traffic rates by a sequence of transmissions in which only whole packets are sent. We prove worst-case bounds on the additional buffer use, which we call backlog, that results from using such an approximation. We first consider the NtimesN, input queued, crossbar switch. Our main result is an online packet-scheduling algorithm using no speedup that guarantees backlog at most (N+1)2 /4 packets at each input port and each output port. Upper bounds on worst-case backlog have been proved for the case of constant fluid schedules, such as the N2-2N+2 bound of Chang, Chen, and Huang (INFOCOM, 2000). Our main result for the crossbar switch is the first, to our knowledge, to bound backlog in terms of switch size N for arbitrary, time-varying fluid schedules, without using speedup. Our main result for Banyan networks is an exact characterization of the speedup required to maintain bounded backlog, in terms of polytopes derived from the network topology

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

[2]  Yuval Rabani,et al.  Linear Programming , 2007, Handbook of Approximation Algorithms and Metaheuristics.

[3]  Georgios B. Giannakis,et al.  Deterministic time-varying packet fair queueing for integrated services networks , 2000, Globecom '00 - IEEE. Global Telecommunications Conference. Conference Record (Cat. No.00CH37137).

[4]  Leandros Tassiulas,et al.  QoS provisioning and tracking fluid policies in input queueing switches , 2001, TNET.

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

[6]  Achille Pattavina,et al.  Switching theory : architectures and performance in broadband ATM networks , 1998 .

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

[8]  Rephael Wenger,et al.  Helly-Type Theorems and Geometric Transversals , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[9]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[10]  Gert Vegter,et al.  In handbook of discrete and computational geometry , 1997 .

[11]  Paul W. Goldberg,et al.  A proportionate fair scheduling rule with good worst-case performance , 2003, SPAA '03.

[12]  Baruch Awerbuch,et al.  Universal-stability results and performance bounds for greedy contention-resolution protocols , 2001, JACM.

[13]  Vahid Tarokh,et al.  Approximating fluid schedules in packet-switched networks , 2004 .

[14]  Lisa Zhang,et al.  The effects of temporary sessions on network performance , 2000, SODA '00.

[15]  T. V. Lakshman,et al.  On adaptive bandwidth sharing with rate guarantees , 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.

[16]  Srinivasan Keshav,et al.  An Engineering Approach to Computer Networking: ATM Networks , 1996 .

[17]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

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

[19]  A. Schrijver A Course in Combinatorial Optimization , 1990 .

[20]  Leandros Tassiulas,et al.  Any work-conserving policy stabilizes the ring with spatial re-use , 1996, TNET.

[21]  Hui Zhang,et al.  WF/sup 2/Q: worst-case fair weighted fair queueing , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[22]  Maurizio A. Bonuccelli,et al.  EDD algorithm performance guarantee for periodic hard-real-time scheduling in distributed systems , 1999, Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. IPPS/SPDP 1999.

[23]  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.

[24]  Nick McKeown,et al.  A Starvation-free Algorithm For Achieving 100% Throughput in an Input- Queued Switch , 1999 .

[25]  Michael John Girone Tracking switch fluid policies : bounding lookahead , 2002 .

[26]  Achille Pattavina,et al.  Switching Theory , 1998 .

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

[28]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[29]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[30]  Vahid Tarokh,et al.  Universal bounds on buffer size for packetizing fluid policies in input queued, crossbar switches , 2004, IEEE INFOCOM 2004.

[31]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the multiple node case , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

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

[33]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[34]  Allan Borodin,et al.  Adversarial queuing theory , 2001, JACM.

[35]  Harold N. Gabow,et al.  Using euler partitions to edge color bipartite multigraphs , 1976, International Journal of Computer & Information Sciences.

[36]  P. Hall On Representatives of Subsets , 1935 .

[37]  David Clark,et al.  Providing qos guarantees in input-buffered crossbar switches with speedup , 1998 .

[38]  Aleksandra Smiljanić Flexible bandwidth allocation in high-capacity packet switches , 2002, TNET.

[39]  Alexander Schrijver Bipartite edge-colouring in O( m) time1 , 1999 .