Analysis of Backward Congestion Notification with Delay for Enhanced Ethernet Networks

• Published in: IEEE transactions on computers Vol. 63; no. 11; pp. 2674 - 2684
• Main Authors: Wanchun Jiang, Fengyuan Ren, Yongwei Wu, Chuang Lin, Stojmenovic, Ivan
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.11.2014; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Asymptotic stability; Backward congestion notification; Buffers; Congestion; data center ethernet; Delay; Delays; Differential equations; Ethernet; Mathematical model; Stability analysis; stability and delay; Switches; Traffic engineering; Traffic flow
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/TC.2013.157

At present, companies and standards organizations are enhancing Ethernet as the unified switch fabric for all of the TCP/IP traffic, the storage traffic and the high performance computing traffic in data centers. Backward congestion notification (BCN) is the basic mechanism for the end-to-end congestion management enhancement of Ethernet. To fulfill the special requirements of the unified switch fabric, i.e., losslessness and low transmission delay, BCN should hold the buffer occupancy around a target point tightly. Thus, the stability of the control loop and the buffer size are critical to BCN. Currently, the impacts of delay on the performance of BCN are unidentified. When the speed of Ethernet increases to 40 Gbps or 100 Gbps in the near future, the number of on-the-fly packets becomes the same order with the buffer size of switch. Accordingly, the impacts of delay will become significant. In this paper, we analyze BCN, paying special attention on the delay. We model the BCN system with a set of segmented delayed differential equations, and then deduce sufficient condition for the uniformly asymptotic stability of BCN. Subsequently, the bounds of buffer occupancy are estimated, which provides direct guidelines on setting buffer size. Finally, numerical analysis and experiments on the NetFPGA platform verify our theoretical analysis.