Heterogenous Networks Can Be Unstable at Arbitrarily Low Injection Rates

A distinguishing feature of today's large-scale platforms for distributed computation and communication, such as the Internet, is their heterogeneity, predominantly manifested by the fact that a wide variety of communication protocols are simultaneously running over different distributed hosts. A fundamental question that naturally poses itself for such common settings of heterogeneous distributed systems concerns their ability to preserve or restore an acceptable level of performance during link failures. In this work, we address this question for the specific case of stability properties of greedy, contention-resolution protocols operating over a packet-switched communication network that suffers from link slowdowns. We focus on the Adversarial Queueing Theory framework, where an adversary controls the rates of packet injections and determines packet paths. In addition, the power of the adversary is enhanced to include the manipulation of link slowdowns. Within this framework, we show that the composition of LIS (Longest-in-System) with any of SIS (Shortest-in-System), NTS (Nearest-to-Source) and FTG (Furthest-to-Go) protocols is unstable at rates ρ > 0 when the network size and the link slowdown take large values. These results represent the current record for instability bounds on injection rate for compositions of greedy protocols over dynamic adversarial models, and also suggest that the potential for instability incurred by the composition of two greedy protocols may be worse than that of some single protocol.

[1]  Maria J. Serna,et al.  Adversarial Models for Priority-Based Networks , 2003, MFCS.

[2]  David D. Clark,et al.  The design philosophy of the DARPA internet protocols , 1988, SIGCOMM '88.

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

[4]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

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

[6]  Maria J. Serna,et al.  A Characterization of Universal Stability in the Adversarial Queuing Model , 2004, SIAM J. Comput..

[7]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[8]  Maria J. Serna,et al.  The impact of failure management on the stability of communication networks , 2004, Proceedings. Tenth International Conference on Parallel and Distributed Systems, 2004. ICPADS 2004..

[9]  Sally Floyd,et al.  Difficulties in simulating the internet , 2001, TNET.

[10]  Paul G. Spirakis,et al.  The Impact of Network Structure on the Stability of Greedy Protocols , 2003, Theory of Computing Systems.

[11]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[12]  Baruch Awerbuch,et al.  Universal stability results for greedy contention-resolution protocols , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[13]  Paul G. Spirakis,et al.  On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols , 2002, DISC.

[14]  Paul G. Spirakis,et al.  Stability Issues in Heterogeneous and FIFO Networks under the Adversarial Queueing Model , 2001, HiPC.

[15]  Allan Borodin,et al.  Adversarial queueing theory , 1996, STOC '96.

[16]  Boaz Patt-Shamir,et al.  New stability results for adversarial queuing , 2004, SIAM J. Comput..

[17]  Paul G. Spirakis,et al.  Instability of Networks with Quasi-Static Link Capacities , 2003, SIROCCO.

[18]  Allan Borodin,et al.  Stability preserving transformations: packet routing networks with edge capacities and speeds , 2001, SODA '01.

[19]  Maria J. Serna,et al.  Adversarial Queueing Model for Continuous Network Dynamics , 2005, MFCS.

[20]  Panayiotis Tsaparas,et al.  Stability in adversarial queueing theory , 1997 .

[21]  Paul G. Spirakis,et al.  Stability and non-stability of the FIFO protocol , 2001, SPAA '01.

[22]  Dimitrios Koukopoulos The impact of dynamic link slowdowns on network stability , 2005, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05).