Conformance analysis in networks with service level agreements

To achieve some level of Quality of Service (QoS) assurance, a network usually has Service Level Agreements (SLAs) with its users and neighboring domains, which describe the QoS level that the service provider is committed to provide, and the specification of traffic that users or neighboring domains are allowed to send. An interesting and important question arises as to whether a flow is still conformant to its original traffic specification after crossing the network since it may interact with other flows within the network. In this paper, we study analytically the extent to which a flow and an aggregate of flows become non-conformant through an analysis of the stochastic burstiness increase of flows after crossing a per-flow scheduling network and an aggregate scheduling network . The stochastic behavior of a server in aggregate scheduling networks is also studied to determine the conformance deterioration of individual flows, which provides the theoretical conformance deterioration bound and provides useful results for conformance analysis in an aggregate scheduling network with general topology. Our theoretical results are verified by extensive simulations.

[1]  M. Dresher.  The Mathematics of Games of Strategy: Theory and Applications , 1981 .

[2]  Jean-Yves Le Boudec,et al.  Delay Bounds in a Network with Aggregate Scheduling , 2000, QofIS.

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

[4]  R. Cruz,et al.  Service Guarantees for Window Flow Control 1 , 1996 .

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

[6]  Harrick M. Vin,et al.  Generalized guaranteed rate scheduling algorithms: a framework , 1997, TNET.

[7]  Yuming Jiang,et al.  Delay bounds for a network of guaranteed rate servers with FIFO aggregation , 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

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

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

[10]  Srinivasan Keshav,et al.  On CBR service , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[11]  Jean-Yves Le Boudec,et al.  Worst case burstiness increase due to FIFO multiplexing , 2002, Perform. Evaluation.

[12]  Zheng Wang,et al.  An Architecture for Differentiated Services , 1998, RFC.

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

[14]  Yuming Jiang.  Relationship between guaranteed rate server and latency rate server , 2003, Comput. Networks.

[15]  J. W. Roberts,et al.  Performance evaluation and design of multiservice networks , 1992 .

[16]  David L. Black,et al.  An Architecture for Differentiated Service , 1998 .

[17]  Roch Guérin,et al.  Aggregation and conformance in differentiated service networks: a case study , 2001, CCRV.

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

[19]  Walter Willinger,et al.  Long-range dependence in variable-bit-rate video traffic , 1995, IEEE Trans. Commun..

[20]  Harrick M. Vin,et al.  Scheduling CBR Flows: FIFO or Per-flow Queuing? , 1999 .

[21]  Norvald Stol,et al.  A study on traffic shaping, policing and conformance deterioration for QoS contracted networks , 2002, Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE.

[22]  Yuming Jiang,et al.  Relationship between guaranteed rate server and latency rate server , 2002, Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE.

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