Analysis of Stochastic Service Guarantees in Communication Networks: A Server Model

Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in the past few years to develop stochastic network calculus, a probabilistic version of (min, +) deterministic network calculus. However, many challenges have made the development difficult. Some of them are closely related to server modeling, which include output characterization, concatenation property, stochastic backlog guarantee, stochastic delay guarantee, and per-flow service under aggregation. In this paper, we propose a server model, called stochastic service curve to facilitate stochastic service guarantee analysis. We show that with the concept of stochastic service curve, these challenges can be well addressed. In addition, we introduce strict stochastic server to help find the stochastic service curve of a stochastic server, which characterizes the service of the server by two stochastic processes: an ideal service process and an impairment process.

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

[2]  Yuming Jiang.  Analysis of Stochastic Service Guarantees in Communication Networks: A Basic Calculus , 2005, ArXiv.

[3]  Kam Lee,et al.  Performance bounds in communication networks with variable-rate links , 1995, SIGCOMM '95.

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

[5]  Ibrahim Matta,et al.  Markov-based channel characterization for tractable performance analysis in wireless packet networks , 2004, IEEE Transactions on Wireless Communications.

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

[7]  Cheng-Shang Chang,et al.  A min, + system theory for constrained traffic regulation and dynamic service guarantees , 2002, TNET.

[8]  Almut Burchard,et al.  A Calculus for End-to-end Statistical Service Guarantees , 2002, ArXiv.

[9]  Chengzhi Li,et al.  A Network Calculus With Effective Bandwidth , 2007, IEEE/ACM Transactions on Networking.

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

[11]  R. M. Loynes,et al.  The stability of a queue with non-independent inter-arrival and service times , 1962, Mathematical Proceedings of the Cambridge Philosophical Society.

[12]  Yong Liu,et al.  Stochastic Network Calculus , 2008 .

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

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

[15]  Yuming Jiang,et al.  Analysis on generalized stochastically bounded bursty traffic for communication networks , 2002, 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings. LCN 2002..

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

[17]  Rene L. Cruz,et al.  A composable service model with loss and a scheduling algorithm , 2004, IEEE INFOCOM 2004.

[18]  Chen-Khong Tham,et al.  Conformance analysis in networks with service level agreements , 2005, Comput. Networks.

[19]  Yuming Jiang,et al.  Analysis of Stochastic Service Guarantees in Communication Networks: A Traffic Model , 2005 .

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

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

[22]  François Baccelli,et al.  An Algebra for Queueing Networks with Time-Varying Service and Its Application to the Analysis of Integrated Service Networks , 2004, Math. Oper. Res..

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

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

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

[26]  Yong Liu,et al.  Conformance Study for Networks with Service Level Agreements , 2004 .