Modeling TCP SACK performance over wireless channels with completely reliable ARQ/FEC

In this paper, we propose an analytical cross‐layer model for a Transmission Control Protocol (TCP) connection running over a covariance‐stationary wireless channel with a completely reliable Automatic Repeat reQuest scheme combined with Forward Error Correction (FEC) coding. Since backbone networks today are highly overprovisioned, we assume that the wireless channel is the only one bottleneck in the system which causes packets to be buffered at the wired/wireless interface and dropped as a result of buffer overflow. We develop the model in two steps. At the first step, we consider the service process of the wireless channel and derive the probability distribution of the time required to successfully transmit an IP packet over the wireless channel. This distribution is used at the next step of the modeling, where we derive expressions for the TCP long‐term steady‐state throughput, the mean round‐trip time, and the spurious timeout probability. The developed model allows to quantify the joint effect of many implementation‐specific parameters on the TCP performance over both correlated and non‐correlated wireless channels. We also demonstrate that TCP spurious timeouts, reported in some empirical studies, do not occur when wireless channel conditions are covariance‐stationary and their presence in those measurements should be attributed to non‐stationary behavior of the wireless channel characteristics. Copyright © 2011 John Wiley & Sons, Ltd. In this paper, we propose an analytical cross‐layer model for a TCP connection running over a covariance‐stationary wireless channel with completely reliable ARQ/FEC. The model allows to evaluate the effect of many parameters of wireless channels on TCP performance making it suitable for performance optimization studies. These parameters include stochastic properties of the wireless channel characteristics, the strength of the FEC code, the use of ARQ, the raw data rate of the wireless channel, and the bottleneck link buffer size. Copyright © 2011 John Wiley & Sons, Ltd.