Dynamic demultiplexing in network calculus - Theory and application

During the last two decades, starting with the seminal work by Cruz, network calculus has evolved as a new theory for the performance analysis of networked systems. In contrast to classical queueing theory, it deals with performance bounds instead of average values and thus has been the theoretical basis of quality of service proposals such as the IETF's Integrated and Differentiated Services architectures. Besides these it has, however, recently seen many other application scenarios as, for example, wireless sensor networks, switched Ethernets, avionic networks, Systems-on-Chip, or even to speed-up simulations, to name a few. In this article, we extend network calculus by adding a new versatile modeling element: a demultiplexer. Conventionally, demultiplexing has been either neglected or assumed to be static, i.e., fixed at the setup time of a network. This is restrictive for many potential applications of network calculus. For example, a load balancing based on current link loads in a network could not be modeled with conventional network calculus means. Our demultiplexing element is based on stochastic scaling. Stochastic scaling allows one to put probabilistic bounds on how a flow is split inside the network. Fundamental results on network calculus with stochastic scaling are therefore derived in this work. We illustrate the benefits of the demultiplexer in a sample application of uncertain load balancing.

[1]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[2]  Jean-Yves Le Boudec,et al.  Application of Network Calculus to Guaranteed Service Networks , 1998, IEEE Trans. Inf. Theory.

[3]  Cheng-Shang Chang On Deterministic Traffic Regulation and Service Guarantees : A Systematic Approach by Filtering , 1998, IEEE Trans. Inf. Theory.

[4]  Jens B. Schmitt,et al.  The DISCO network calculator: a toolbox for worst case analysis , 2006, valuetools '06.

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

[6]  Wu-chun Feng,et al.  A systematic approach for providing end-to-end probabilistic QoS guarantees , 2004, Proceedings. 13th International Conference on Computer Communications and Networks (IEEE Cat. No.04EX969).

[7]  Daniela Florescu,et al.  XL: an XML programming language for Web service specification and composition , 2003, Comput. Networks.

[8]  Almut Burchard,et al.  A Min-Plus Calculus for End-to-End Statistical Service Guarantees , 2006, IEEE Transactions on Information Theory.

[9]  N. McKeown,et al.  Designing a Predictable Internet Backbone Network , 2004 .

[10]  George C. Polyzos,et al.  Scheduling for quality of service guarantees via service curves , 1995, Proceedings of Fourth International Conference on Computer Communications and Networks - IC3N'95.

[11]  Leslie G. Valiant,et al.  A Scheme for Fast Parallel Communication , 1982, SIAM J. Comput..

[12]  Eduardo Tovar,et al.  Modeling and Worst-Case Dimensioning of Cluster-Tree Wireless Sensor Networks , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[13]  Nick McKeown,et al.  Optimal load-balancing , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[14]  Rene L. Cruz,et al.  Quality of Service Guarantees in Virtual Circuit Switched Networks , 1995, IEEE J. Sel. Areas Commun..

[15]  Jean-Yves Le Boudec,et al.  Elements of Probabilistic Network Calculus for Packet Scale Rate Guarantee Nodes , 2002 .

[16]  Feng Xu,et al.  The distribution of the product of two triangular random variables , 2008 .

[17]  Tor Skeie,et al.  Timeliness of real-time IP communication in switched industrial Ethernet networks , 2006, IEEE Transactions on Industrial Informatics.

[18]  F. B. Shepherd,et al.  Selective randomized load balancing and mesh networks with changing demands , 2006 .

[19]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[20]  Rajeev Agrawal,et al.  Performance bonds for flow control protocols , 1999, TNET.

[21]  Utz Roedig,et al.  Sensor Network Calculus - A Framework for Worst Case Analysis , 2005, DCOSS.

[22]  Lothar Thiele,et al.  Performance evaluation of network processor architectures: combining simulation with analytical estimation , 2003, Comput. Networks.

[23]  Yuming Jiang,et al.  A basic stochastic network calculus , 2006, SIGCOMM.

[24]  Mukesh Taneja A service curve approach for quality of service management in integrated services networks , 1998 .

[25]  Florin Ciucu,et al.  A network service curve approach for the stochastic analysis of networks , 2005, SIGMETRICS '05.

[26]  Rui Zhang-Shen,et al.  Designing a predictable backbone network using valiant load-balancing , 2007 .

[27]  Moshe Sidi,et al.  Performance and stability of communication networks via robust exponential bounds , 1993, TNET.

[28]  Moshe Sidi,et al.  Stochastically bounded burstiness for communication networks , 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).

[29]  Cheng-Shang Chang,et al.  Performance guarantees in communication networks , 2000, Eur. Trans. Telecommun..

[30]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[31]  Jens B. Schmitt,et al.  On the way to a distributed systems calculus: an end-to-end network calculus with data scaling , 2006, SIGMETRICS '06/Performance '06.

[32]  Orestis Georgiou,et al.  Product of n independent uniform random variables , 2009 .

[33]  Stability , 1973 .

[34]  Markus Fidler,et al.  An End-to-End Probabilistic Network Calculus with Moment Generating Functions , 2005, 200614th IEEE International Workshop on Quality of Service.

[35]  Cheng-Shang Chang,et al.  Stability, queue length, and delay of deterministic and stochastic queueing networks , 1994, IEEE Trans. Autom. Control..