Formal modelling of TCP congestion control mechanisms ECN/RED and SAP-LAW in the presence of UDP traffic

Malik, Mazhar H.; Jamil, Mohsin; Khan, Muhammad N.; Malik, Mubasher H.

Abstract

Congestion avoidance mechanisms are used to prevent the saturation of the gateway which represents a bottleneck of the system. Recently, a new method for the congestion avoidance has been proposed: the smart access point with limited advertised window (SAP-LAW). The main idea is to hijack at the gateway the acknowledge packets in the transmission control protocol (TCP) connections in order to artificially reduce the advertised destination window according to some bandwidth allocation policy. Therefore, the flux control mechanism is artificially exploited to control the congestion at the bottleneck. The advantage of this approach is that it does not drop any packet and does not require any modification in the TCP implementations at the clients. While the most popular congestion avoidance mechanisms are the explicit congestion notification (ECN) and the random early detection (RED). In this paper, we propose stochastic models for the ECN/RED and SAP-LAW mechanisms in order to compare their performances under different scenarios. The models are studied in mean field regime, i.e. under a great number of TCP connections and UDP-based transmissions. Different from previous work for the ECN/RED, in this paper, we consider the presence of UDP traffic with bursts and the case of not greedy TCP connections. The models for SAP-LAW are totally new. The comparison is performed in terms of different performance indices including average queue length, system throughput, and expected waiting time.

• Journal Article Type: Article
• Acceptance Date: Jun 3, 2016
• Online Publication Date: Jul 2, 2016
• Publication Date: Dec 1, 2016
• Deposit Date: Nov 10, 2022
• Publicly Available Date: Nov 10, 2022
• Journal: EURASIP Journal on Wireless Communications and Networking
• Print ISSN: 1687-1472
• Electronic ISSN: 1687-1499
• Publisher: SpringerOpen
• Peer Reviewed: Peer Reviewed
• Volume: 2016
• Issue: 1
• DOI: https://doi.org/10.1186/s13638-016-0646-9
• Keywords: Congestion control, TCP/UDP, RED/ECN, Mean field regime, Formal methods
• Public URL: https://uwe-repository.worktribe.com/output/10131867
• Publisher URL: https://jwcn-eurasipjournals.springeropen.com/articles/10.1186/s13638-016-0646-9