Adversarial Queueing Model for Continuous Network Dynamics

Abstract In this paper we initiate the generalization of the Adversarial Queueing Theory (aqt) model to capture the dynamics of continuous scenarios in which the usually assumed synchronicity of the evolution is not required anymore. We propose an asynchronous model, named continuousaqt (caqt), in which packets can have arbitrary lengths, and the network links may have different speeds (or bandwidths) and propagation delays. With respect to the standard aqt model, these new features turn out to be significant for the stability of packet scheduling policies that take them into account, but not so much for the stability of networks. From the network point of view, we show that networks with directed acyclic topologies are universally stable, i.e., stable independently of the scheduling policies and traffic patterns used in it. Interestingly enough, this even holds for traffic patterns that make links to be fully loaded. Finally, it turns out that the set of universally stable networks remains the same as in the aqt model and, therefore, the property of universal stability of networks is decidable in polynomial time. Concerning packet scheduling policies, we show that the well-known lis, sis, ftgand nfsscheduling policies remain universally stable in the caqt model. We introduce other scheduling policies that, although being universally stable in the aqt model, they are unstable under the caqt model.

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

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

[3]  Christian Scheideler,et al.  Simple routing strategies for adversarial systems , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[4]  Adi Rosén,et al.  On Delivery Times in Packet Networks under Adversarial Traffic , 2004, SPAA '04.

[5]  Antonio Fernández,et al.  Universal stability results for low rate adversaries in packet switched networks , 2003, IEEE Communications Letters.

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

[7]  Jon M. Kleinberg,et al.  Stability of load balancing algorithms in dynamic adversarial systems , 2002, STOC '02.

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

[9]  Ashish Goel,et al.  Instability of FIFO at Arbitrarily Low Rates in the Adversarial Queueing Model , 2004, SIAM J. Comput..

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

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

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

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

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

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

[16]  Maik Weinard The Necessity of Timekeeping in Adversarial Queueing , 2005, WEA.

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

[18]  Paul G. Spirakis,et al.  Performance and stability bounds for dynamic networks , 2007, J. Parallel Distributed Comput..