 Research
 Open access
 Published:
Workloaddependent queuing model of an AQMcontrolled wireless router with TCP traffic and its application to PERbased link adaptation
EURASIP Journal on Wireless Communications and Networking volumeÂ 2014, ArticleÂ number:Â 67 (2014)
Abstract
We propose a novel workloaddependent queuing model for a wireless router link which employs active queue management (AQM) and is offered with a number of persistent Transmission Control Protocol (TCP) flows. As opposed to existing work that focus only on the average queue occupancy as the performance metric of interest, the proposed analytical method obtains the more informationbearing steadystate queue occupancy distribution of the wireless AQM link. Simulations are performed to demonstrate the accuracy of the proposed model in both wireline and wireless scenarios. With the intention of maximizing TCP throughput, this analytical method is used to obtain guidelines for setting the target wireless packet error rate (PER) for a PERbased trafficagnostic link adaptation scheme.
1 Introduction
Transmission Control Protocol (TCP), along with User Datagram Protocol (UDP), has been the most dominant transport protocol used in the Internet today. The traditional technique of using buffer management based on tail drop at wireline router links carrying TCP traffic leads to the socalled â€˜full queuesâ€™ and â€˜lockoutâ€™ problems described in [1]. The full queues problem refers to the buffer being full most of the time, introducing large queuing delays which in turn impact adversely the TCP level throughput. The lockout problem refers to a situation in which a single or a few flows monopolize the queue space while starving others as a result of synchronization or other timing effects. To avoid the full queues problem, active queue management (AQM) mechanisms drop packets before the queue becomes full [1]. Typically, the AQM drop decision is probabilistic on certain queue parameters to mitigate the lockout problem [1]. For various AQM mechanisms proposed in the literature, we refer the reader to [1â€“5]. More recently, Adams [6] presents a comprehensive survey of AQM along with an elaborate classification and comparison of its proposed variants and its use in the wireless context. Lakkakorpi et al. [7] conclude that the standardsbased Worldwide Interoperability for Microwave Access (WiMAX) technology can indeed benefit from AQM in reducing its downlink latency, and we use the WiMAX physical layer in the numerical experiments of this paper.
An analytical expression, the socalled PFTK formula, is provided for the steadystate throughput of a persistent or longlived TCP flow (i.e., a flow with a large amount of data to send such as FTP transfers) as a function of its packet loss rate and the roundtrip time (RTT) in [8]. The PFTK formula takes into account both the fast retransmit mechanism of TCP Reno and the effect of TCP timeout on throughput. For a related study on a simpler TCP throughput expression which ignores certain features of TCP, the socalled squareroot formula, see [9]. Lassila et al. [10] further integrate the squareroot model with a generalized processor sharing model to analyze nonpersistent TCP flows as well. Using fixedpoint iterations, the PFTK formula can be used to approximate the absolute throughput of a TCP flow sharing an AQM router link with other TCP flows and also in a network of AQM routers with persistent and dynamic traffic scenarios [11]. However, the focus in [11] is the mean queue occupancy in router links, not the queue occupancy distribution. For related work on how to approximate the flowlevel TCP throughput when the flows share a network of AQM routers using an M/M/1/K model, we also refer the reader to [12].
In wireline router links, errors due to transmission are negligible. However, in wireless router links, packet errors due to transmission are inevitable. Therefore, in addition to congestion losses stemming from AQM drops, we also have noncongestion (or wireless) losses arising due to channel errors. TCP suffers substantially from noncongestion losses since it responds to all losses by invoking congestion control and avoidance algorithms which results in degraded endtoend performance on paths with lossy links [13]. A comparison of different approaches for improving TCP performance over wireless links is provided in [13]. Barakat and Altman [14] use the squareroot formula to analytically study the interaction between TCP and the amount of forward error correction (FEC) to be used in wireless links. This study is then extended to the interaction of TCP and automatic repeat request with selective repeat (ARQSR), and inorder delivery of packets to the IP layer, using the PFTK formula. Optimal design and analysis of hybrid FEC/ARQ schemes in TCP context is also studied in [15] and [16] with Rayleigh fading. In these studies, the AQM mechanism is not taken into consideration. A recent work in [17] studies an AQMcontrolled wireless link with FEC and ARQ using fixedpoint approximations and the PFTK formula in an M/M/1/K setting. One of the goals of this paper is to introduce a novel queuing model for AQMcontrolled wireless links with the specific goal of obtaining the steadystate queue occupancy distribution.
While AQM focuses on buffer management addressing the full queues and lockout problems, link adaptation (LA) adapts the transmission parameters of the wireless system to changing channel conditions with the intention of increasing the spectral efficiency of the wireless transmission system [18]. The key parameters to adapt are the modulation and coding levels also known as adaptive modulation and coding (AMC), transmission power, spreading factors, etc., or a hybrid of the above. One of the topics we study in the current paper is AMCbased LA without power control for which in real implementations, the values for the transmission parameters are quantized and grouped together into a finite set of modulation and coding schemes (MCSs). The basic goal of an LA algorithm is to choose the best possible MCS over varying channel conditions [18], whereas the main principle is to use in this decision a certain channel state information (CSI) representative of the quality of the wireless channel. CSI may be in the form of SNR or signaltonoiseplusinterference ratio (SINR) that is available from the physical layer [18]. Additionally, the wireless channel is assumed to match a particular stochastic model, whichever suits, to indirectly obtain packet error rate (PER) which is crucial for MCS selection [19]. Mapping estimated SNR values to MCSs, however, presents a challenge in multipath fading channels for which the performance of a given MCS of interest may exhibit significant variation across different channel models. It is shown in [20] and [21] that the average throughput can be significantly increased if the MCS selection is based on an accurate prediction of PER to be expected for the current channel conditions. However, to obtain a reliable estimate of PER, a large number of packets need to be transmitted, making the adaptation relatively slower when compared to SNRbased LA [18].
In this paper, we study a wireless link which can be viewed as the downlink of a cellular wireless network comprising a base station (BS) serving a number of mobile stations (MSs) or a wireless link between two routers. We assume that the wireless link employs AQM and is offered with a fixed number N of longlived TCP Reno flows in one direction, all using a fixed packet size L. TCP ACK packets are transmitted in the other direction with priority given to ACK traffic so that delay and losses for ACK traffic can safely be neglected. For the downlink scenario, data flows from the network to MSs which send their ACK packets in the other direction and the uplink data traffic is not considered. Such wireless links are categorized as infrastructure type in [6], and they are identified as potential bottleneck links due to possible bandwidth mismatch between the wireless and wired domains. In accordance with this observation, we assume in this paper that all flows are either bottlenecked at this particular link or the bottleneck bandwidth of the flows are fixed and known in advance. Propagation delays, fixed part of the RTT, of individual flows are allowed to be arbitrary. An MCS is used to serve the packets waiting in the queue, and errored packets are not retransmitted, i.e, ARQ or hybrid ARQ (HARQ) mechanisms are not in action. We address the PERbased LA problem of choosing the best possible MCS to maximize the total throughput of TCP flows. PERbased LA comprises the following three components: (i) PER estimation, (ii) determination of the target PER or a range of target PERs, and (iii) the LA algorithm. In this paper, we address the second component and we study the target PER that needs to be maintained by a PERbased LA algorithm to maximize the overall throughput of the TCP flows that share the wireless link. To explain, a low target PER leads to a situation in which losses are mostly due to AQM drops, but since the service rate of the queue would be relatively limited to achieve a low PER, reduced TCP level throughput is inevitable. On the other hand, a high target PER increases the queue service rate, but it becomes quite possible that the queue would occasionally be empty due to substantial wireless losses stemming from TCP reaction to such losses. Note that TCP throughput optimization is shown to be dependent not only on PER but also on trafficrelated parameters such as the number of TCP flows and their RTT values. However, estimating the number of active TCP connections and their RTT values is computationally difficult to implement. In this paper, we study only trafficagnostic PERbased LA.
The two main contributions of this paper are presented below:

â€‰We introduce a novel workloaddependent M/D/1 queuing model for an AQMcontrolled wireless link with Bernoulli packet losses using the PFTK formula taking into account both the fast retransmit mechanism of TCP Reno and the effect of TCP timeout on throughput to obtain the entire queue occupancy distribution. In most existing work, the focus has been on the mean queue occupancy as well as the average packet loss probability due to congestion, and moreover, fixed packet sizes are generally not taken into account. The proposed model is validated by ns3 [22] simulations. The following are the main features of the proposed model: (i) The proposed model provides a good match with simulations even in the vicinity of empty queues as opposed to other existing models. The â€˜empty queuesâ€™ scenario is particularly important when an MCS is used with high wireless loss rates, and TCP sources throttle back relatively aggressively in a way that they cannot keep the queue full all the time. (ii) Some of existing models suffer when the workloaddependent AQM packet drop probability is discontinuous with respect to the workload, whereas the performance of our proposed method is insensitive to such behavior. (iii) The proposed method can further be used in the analysis of quality of service (QoS) differentiation mechanisms relying on perclass buffer management such as weighted random early detection (WRED) [23, 24].

â€‰We present a novel crosslayer framework based on the proposed queuing model to obtain a range of target PERs that needs to be maintained by a trafficagnostic PERbased LA scheme for TCP throughput optimization. By being trafficagnostic, optimality is shown to be sacrificed but the proposed range of target PERs allows one to obtain robust TCP performance for a wide range of traffic parameters including the number of TCP flows, their RTTs, etc. In this description, a robust policy refers to one that does not deviate much from an optimal policy that requires a priori information about the underlying traffic parameters. For the crosslayer framework, we use the IEEE 802.16e WirelessMetropolitan Area Network (MAN) Orthogonal Frequency Division Multiplexing Access (OFDMA) Physical (PHY) air interface as the underlying PHY layer technology, but the framework allows other technologies to be used [25].
HARQ/ARQ techniques for which the errored packets at the receiver are retransmitted by the transmitter until either they are successfully decoded or a retransmission limit is reached are not considered in this paper. From TCP perspective, they prove to be powerful techniques to combat with multipath fading in wireless channels at the expense of increased delay and jitter caused by random retransmissions. Outoforder packet delivery is another natural consequence of HARQ/ARQ which can be detrimental to TCP throughput if left uncompensated at the receiver [26]. Outoforder packets force TCP receivers to send duplicate ACKs to TCP transmitters as if the missing packets have been lost which in turn throttles back the transmitterâ€™s packet injection rate to the network. To cope with outoforder packet arrivals, wireless receivers optionally resequence the arriving packets from the air interface before their delivery to the network [27]. For the analysis of TCP performance over links deploying HARQ/ARQ, one should additionally model the complex effects of the retransmission delays as well as resequencing delays. TCP modeling for AQMcontrolled links with HARQ/ARQ is left for future research.
The paper is organized as follows. In Section 2, the workloaddependent queuing model for an AQMcontrolled wireless link with Bernoulli wireless packet losses is presented. In Section 3, the model is validated in both wireline and wireless scenarios using simulations. Section 4 addresses the framework we introduce using the proposed queuing model to obtain the target PER for TCP throughput optimization for a wide range of scenarios. We conclude in the final section.
2 Analytical model
2.1 Workloaddependent M/G/1 queue
The following description of workloaddependent M/G/1 queues and the accompanying notation is based on [28]. We consider a Markovian workload process in which the server drains the queue according to a workloaddependent service rate function r(x) (in units of bps) where x denotes the current workload (in units of bits) in the queue. On the other hand, the packet arrivals to the queue are governed by a Poisson process with a workloaddependent intensity function Î»(x). We assume r(0)â€‰=â€‰0, r(x) is strictly positive, leftcontinuous, and has a strictly positive right limit on (0,âˆž). Each arrival increases the workload by the job size (in units of bits) whose cumulative distribution function (CDF) is denoted by B(Â·) with mean job size Î². Under the condition \underset{x\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}}{limsup}\mathrm{\xce\xb2}\frac{\mathrm{\xce\xbb}\left(x\right)}{r\left(x\right)}<1, the workload process is ergodic and possesses a stationary probability density function (PDF) denoted by v(x),x>0. The workload process may also have a probability mass (atom) at zero denoted by V(0). It is shown in [28] that the steadystate workload density v(Â·) satisfies the following integrodifferential equation for x>0:
where the function \stackrel{~}{R}\left(x\right) defined as {\xe2\u02c6\xab}_{0}^{x}\phantom{\rule{0.3em}{0ex}}\frac{\mathrm{\xce\xbb}\left(y\right)}{r\left(y\right)}\phantom{\rule{0.3em}{0ex}}\mathrm{d}y and in case \stackrel{~}{R}\left(x\right)<\mathrm{\xe2\u02c6\u017e}, 0<x<âˆž, then (1) has a nonzero atom V(0) at xâ€‰=â€‰0. A closed form solution to (1) for the workloaddependent M/M/1 queue is given in [28]. For persistent TCP flows, packet sizes are generally fixed rather than being variable for a given flow. Therefore, the specific case of the workloaddependent M/D/1 queue and a numerical solution for finding the stationary density v(x) is crucial for TCP modeling which is described next. For this purpose, we fix the deterministic packet length to L bits. The buffer occupancy is then discretized with a discretization interval Î” such that lâ€‰=â€‰L/Î”>>1 is an integer. We then define v_{ i }â€‰=â€‰v(i Î”) for i>0 and discretize the integrodifferential equation (1) to obtain
Note that the identity (2) enables us to calculate v_{ i } as a weighted sum of v_{ j }â€™s for j<i which lends itself to an iterative procedure. We propose to set V(0)â€‰=â€‰1 and iteratively calculate v_{ i } for 1â‰¤iâ‰¤K as in (2) for some large choice of K. Note that K should be chosen such that {\xe2\u02c6\u2018}_{K+1}^{\mathrm{\xe2\u02c6\u017e}}{v}_{i}\mathrm{\xce\u201d} should be small enough to yield an acceptable approximation error. Finally, we first define V=V\left(0\right)+{\xe2\u02c6\u2018}_{i=1}^{K}{v}_{i}\mathrm{\xce\u201d} and then normalize as follows:
2.2 Equationbased TCP model
In line with the majority of the existing work on TCP modeling, we propose to use the socalled PFTK TCP model of [8] to relate the throughput of a TCP flow to the packet loss rate seen by the flow. For details, we refer the reader to [8]. Let p, Î», and T_{0} denote the packet loss rate, packet send rate, and the retransmission timeout parameter of a TCP source, respectively. In our model, we use the following relationship used in the implementation of TCP in [22]:
where RTT and Ïƒ_{RTT} are the smoothed estimates for the roundtrip time (RTT) and its standard deviation, respectively, and T_{0,min} is a minimum limit imposed on the timeout parameter. Let W_{ u } denote the random variable associated with the unconstrained window size of the TCP source. Also, let W_{max}â€‰=â€‰W/L and b denote the maximum window size in units of packets and the number of packets to wait before sending a cumulative ACK packet by the TCP receiver, respectively, where W is the receiverâ€™s buffer size. Padhye et al. [8] propose the following equation for the TCP send rate Î» if the TCP flow is exposed to a packet loss rate of p:
where
and
Throughout our numerical studies, we fix T_{0,min}â€‰=â€‰0.2 s as in [29], bâ€‰=â€‰2, Lâ€‰=â€‰1,500 bytes (unless otherwise stated), and Wâ€‰=â€‰64 Kbytes. With these, the equation (5) provides a closedform expression for the TCP send rate Î» in terms of p, RTT, and Ïƒ_{RTT}.
2.3 Active queue management
Active queue management (AQM) refers to a set of buffer management disciplines that are used in routers by which packets are dropped long before the queue reaches its full capacity [5]. AQM disciplines maintain a shorter average queue length than their drop tail counterparts which drop packets only when the queue capacity is full. Moreover, typical AQM schemes probabilistically drop packets to mitigate synchronization of TCP sources sharing the link. One of the pioneering AQM schemes is random early detection (RED) [2] for which an arriving packet is probabilistically dropped as a function of the average queue occupancy that is obtained by applying an autoregressive filter to the queue occupancy time series data. The packet drop rate of RED scheme is linear with respect to the average queue occupancy in a certain regime of the queue defined by certain thresholds. Performance of RED is known to exhibit considerable variation with respect to the particular choices for these thresholds [30]. As a remedy, the socalled gentle variant of RED, called GRED, is proposed to make RED less sensitive to the choice of these parameters [31]. Moreover, stochastic modeling of the autoregressive filtering operation used in such REDlike schemes is generally known to be difficult and costly [32, 33]. We therefore propose to use early random detection (ERD) [3] for which an arriving packet is dropped with probability p(x) when the instantaneous queue length takes the value x. The gentle variant of the ERD discipline we study in this paper refers to the particular choice of p(x) as follows:
In this paper, t h_{min} and t h_{max} are set to 30L and 90L, respectively, in units of bits, and p_{max} is set to 0.1.
2.4 Proposed model
We envision a wireless router link that is offered with persistent TCP flows with the following assumptions:

â€‰N persistent TCP flows share the wireless link using firstinfirstout (FIFO) queuing.

â€‰All flows use the same packet size L.

â€‰Incoming packets from the TCP flows are dropped according to the specific ERD AQM scheme given in (9) with the drop decision depending solely on the instantaneous queue occupancy x.

â€‰The link serves the waiting packets in the queue with a fixed transmission rate r_{ m } dictated by the underlying MCS. We assume M different physical layer MCSs denoted by MCS_{ m }, mâˆˆ{0,...,M1} that are supported by the linkâ€™s air interface. For this study, we will be given a fixed MCS_{ m } and SNR level denoted by S N R_{ s }, sâˆˆ{0,...,S1}, and we will assume that transmitted packets are errored at the receiver with a probability denoted by PER_{m,s}. Lost packets are not retransmitted, and loss events are assumed to be independent and identically distributed (iid) following the Bernoulli wireless loss model.

â€‰Flow i, iâˆˆ{0,...,N1} is exposed to
â€“â€‰an average packet loss probability \stackrel{\xc2\xaf}{{p}_{i}} accounting for losses generated by both the ERD scheme and wireless transmission.
â€“â€‰an instantaneous workloaddependent queuing delay D(x)â€‰=â€‰x/r_{ m } at the router when the instantaneous queue occupancy takes the value x. Without loss of generality, D_{ T }â€‰=â€‰L/r_{ m } and D_{ F } account for the transmission and oneway framing delays, respectively, the latter including other processing delays of any wireless communication system. D_{ F } is multiplied by a factor of 2 to account for both forward and reverse (TCP ACK messages) path delays.

â€‰Queuing and transmission delays as well as the error rates of the TCP ACK packets are assumed to be negligibly small and will be ignored by the analytical model assuming that TCP ACK prioritization is deployed [34] and enhanced wireless protection is established in the reverse path of the flows [35].

â€‰In addition to the delay encountered at the router, each flow has an additional fixed roundtrip delay denoted by RTT_{0,i}, iâˆˆ{0,..,N1} taking into account the propagation delays of all links on the path of the flow.

â€‰We assume that either all flows are bottlenecked at the particular wireless link of interest or their bottleneck bandwidths at other links are known in advance and they remain unaffected by the dynamics of the wireless link. Packet error rates on other links are assumed to be negligible. We therefore do not attempt to model networks of AQM router links but rather focus on a single AQM link.

â€‰The packet send process for each flow is Poisson with intensity Î»_{ i } which will be shown to depend on the instantaneous queue occupancy x in our proposed model. We note that the Poisson assumption has successfully been used for TCP modeling in previous studies [17].

â€‰All TCP flows use the same minimum timeout parameter T_{0,min}.
The central idea of this paper is to use the PFTK TCP model given in (5) to write Î»_{ i } as a function of the single independent parameter x so that the stationary queue density can be obtained by solving the workloaddependent M/D/1 queue described in Section 2.1. For this purpose, let the workloaddependent roundtrip delay of flow i be denoted by RTT_{ i }(x) which can be expressed as the sum of the following components:
Furthermore, let T_{0,i}(x) denote the workloaddependent timeout parameter for flow i which can be expressed via (4) as
where Ïƒ_{RTT,i} stands for the standard deviation of the router queuing delay for flow i. The overall rate of packets that are admitted into the queue denoted by Î»(x) can then be written as
where
is the rate of packets belonging to individual flow i that is admitted into the queue. In our proposed model, Î»_{ i }(x) is the send rate of flow i when the queue occupancy takes the value x, and we propose to use the PFTK TCP model (5) to write Î»_{ i }(x) with RTT and T_{0} being replaced with their perflow based workloaddependent counterparts RTT_{ i }(x) and T_{0,i}(x), respectively, and p being replaced with its perflow counterpart \stackrel{\xc2\xaf}{{p}_{i}} which is the average packet loss probability for flow i. We put Î»_{i,max} as an upper bound on Î»_{ i }(x) representing the maximum send rate imposed on flow i by the links it traverses other than the one under analysis. Î»_{i,max} is assumed to be known and set to âˆž throughout this paper unless otherwise stated. We note that the delay terms in (5) are taken as a function of the instantaneous queue occupancy x, whereas the loss probability term is obtained by averaging out over all possible values of x. We also studied alternative formulations for which the loss probability term is allowed to depend on x which produced much less favorable results and are therefore not given in this study. We plug (12) into (1) and employ B(x)â€‰=â€‰1 for xâ‰¥L and zero otherwise. Moreover, for a given MCS_{ m }, we set r(x)â€‰=â€‰r_{ m } which then leads us to the framework of the workloaddependent M/D/1 queuing with fixed service speed. Since p(x)â€‰=â€‰1 and thus Î»(x)â€‰=â€‰0 for xâ‰¥2t h_{max} bits, the condition on \stackrel{~}{R}\left(x\right) for a stationary solution v(x) with an atom at zero can be shown to be satisfied for this particular model. Since the stationary density v(x)â€‰=â€‰0 for x>x_{max}â€‰=â€‰(2t h_{max}+L), we set Kâ€‰=â€‰x_{max}/Î” in our numerical examples where Î”â€‰=â€‰1 bit unless otherwise stated.
Let \stackrel{\xc2\xaf}{{\mathrm{\xce\xbb}}_{i}} and \stackrel{\xc2\xaf}{{\mathrm{\xce\xba}}_{i}} denote the average packet arrival and acceptance rates, respectively, into the queue from flow i. We can then write by queueaveraging arguments the following two identities:
Assuming AQM and wireless packet losses to be independent from each other, the average packet loss probability for flow i stemming from both ERD buffer management and wireless losses, denoted by \stackrel{\xc2\xaf}{{p}_{i}}, can be written as follows:
where \stackrel{\xc2\xaf}{{q}_{i}}, average packet loss probability for flow i stemming only from ERD, is obtained via queue averaging:
Furthermore, let \stackrel{\xcc\u201e}{{D}_{i}} denote the average queuing delay in the router seen by flow i. Then, we can write
Consequently,
If we know the workloaddependent intensity of packet arrivals Î»(x), then we can find the stationary density v(x) and the atom at zero V(0) with the algorithm outlined before. However, Î»(x) depends on RTT_{ i }(x) and T_{0,i}(x), the latter depending on Ïƒ_{RTT,i} for all i. Moreover, Î»(x) depends on \stackrel{\xc2\xaf}{{p}_{i}}. Recognizing that Ïƒ_{RTT,i} and \stackrel{\xc2\xaf}{{p}_{i}} can be obtained provided v(x) and V(0) are available, we propose a fixedpoint algorithm for obtaining the stationary density of the queue occupancy. For this purpose, we define {\mathrm{\xcf\u0192}}_{\text{RTT},i}^{\left(k\right)} and {\stackrel{\xc2\xaf}{{p}_{i}}}^{\left(k\right)} to denote the estimates for the corresponding quantities at iteration k. At iteration kâ€‰+â€‰1, Î»(x) is obtained using {\mathrm{\xcf\u0192}}_{\text{RTT},i}^{\left(k\right)} and {\stackrel{\xc2\xaf}{{p}_{i}}}^{\left(k\right)}. Via the solution of the workloaddependent M/D/1 queue with intensity function Î»(x), we obtain v(x) and V(0). The new values of Ïƒ_{RTT,i} and \stackrel{\xc2\xaf}{{p}_{i}} are obtained at this iteration using the identities (19) and (16), respectively, but exponentially smoothed with smoothing parameters Î±_{1} and Î±_{2}, respectively, to obtain {\mathrm{\xcf\u0192}}_{\text{RTT},i}^{(k+1)} and {\stackrel{\xc2\xaf}{{p}_{i}}}^{(k+1)}. Iterations continue until the following two conditions are simultaneously satisfied:
for some normalized tolerance parameters Îµ_{1} and Îµ_{2}. For numerical experimentation with the fixedpoint algorithm, we fix Îµ_{1}â€‰=â€‰Îµ_{2}â€‰=â€‰0.01, Î±_{1}â€‰=â€‰0.7, and Î±_{2}â€‰=â€‰0.9. We finalize this section by expressing the aggregate TCP throughput, the key parameter to be studied in our numerical examples, as (1{\text{PER}}_{m,s})L\underset{i=0}{\overset{N1}{\xe2\u02c6\u2018}}\stackrel{\xc2\xaf}{{\mathrm{\xce\xba}}_{i}}.
3 Model validation
The socalled proposed analysis method of this paper is validated using the ns3 network simulator [22] for both wireline and wireless scenarios. We use the dumbbell topology involving N TCP Reno flows in Figure 1 in our simulations. The ingress link for flow i,0â‰¤i<N, has capacity r_{ R } and oneway propagation delay {D}_{{R}_{i}}, whereas the egress link for the same flow has capacity r_{ L } and oneway propagation delay D_{ L }. The central link in the middle is the wireless bottleneck link with oneway propagation delay D_{ F } using an MCS_{ m } yielding a capacity r_{ m } and a wireless loss rate PER_{m,s} at SNR level SNR_{ s }. TCP flow statistics are obtained using the FlowMonitor which is a monitoring framework developed for ns3 [36]. The RateErrorModel class of ns3 is used whenever a nonzero PER_{m,s} is to be simulated. In ns3, it is more appropriate to probe queue occupancy in units of packets as opposed to the unfinished work density v(x) obtained through the workloaddependent M/G/1 queuing model. Therefore, for the sake of comparing our results to those obtained by ns3, we approximate the steadystate queue occupancy probability mass function (PMF) in units of packets denoted by u_{ k } as follows:
where Î´(Â·) denotes the Diracdelta function. Simulations are terminated after 5 min, but the first 30 s corresponding to transients are ignored. Each simulation is repeated ten times unless otherwise stated, and the average results are reported together with the associated confidence intervals computed for 95% confidence level.
We compare the proposed analysis method with the one presented in [11] which is referred to as the fixedpoint method for the wireline scenario for which we set PER_{m,s}â€‰=â€‰0. The method fixedpoint pursues a similar approach to the proposed in relating the TCP throughput to the queue occupancy by the PFTK formula, but it uses a fluid model to obtain only the average queue occupancy, not its distribution. Moreover, fixedpoint does not take wireless losses into account. We set (r_{ L },r_{ m },r_{ R })â€‰=â€‰(1,000, 10, 1,000) Mbps, ensuring that the central link is the bottleneck link. In Figure 2, the PMF u_{ k } is obtained using proposed, fixedpoint, and ns3 simulations for scenario A which refers to ({D}_{L},{D}_{F},{D}_{{R}_{i}})=(5,0,5) ms and depicted for three different values of N. In Figure 3, the PMF u_{ k } is depicted for scenario B which refers to ({D}_{L},{D}_{F},{D}_{{R}_{i}})=(15,0,5\phantom{\rule{0.3em}{0ex}}+\phantom{\rule{0.3em}{0ex}}5\xe2\u0152\u0160i/(N/10)\xe2\u0152\u2039) ms again for three values of N. It is clear that the method proposed matches the PMF obtained by ns3 simulations in both shape and magnitude especially for smaller number of flows. The deviation from the simulation results for larger number of flows is probably due to the fact that the instantaneous queuing delay is used in our workloaddependent queuing model although in actual TCP implementations, this information would be slightly delayed. Consequently, proposed improves upon fixedpoint as far as the queue occupancy PMF is concerned.
For scenario B, we now set Nâ€‰=â€‰10 and r_{ L }â€‰=â€‰0.9 Mbps (corresponding to Î»_{i,max}â€‰=â€‰r_{ L }/L of proposed), for which the numerical results are given in Figure 4. We also increase the number of ns3 simulations to 120 to obtain more reasonable confidence intervals. In this case, fixedpoint ends up with an alwaysempty queue, whereas the proposed captures the actual PMF acceptably well. In particular, the probability mass at zero V(0) is found to be 0.1000188, 1, and 0.0999987, using proposed, fixedpoint, and simulations, respectively. In a network of queues, it is likely that most of the links will be operating at an empty queue regime. We believe that the PMFcapturing capability of proposed in the emptyqueue regime will be crucial in the analysis of such systems.
For the final validation example in the wireless context, we study scenario C which refers to ({D}_{L},{D}_{F},{D}_{{R}_{i}})=(5,5,10) ms employing nonzero PER_{m,s}. Queue occupancy PMF results using proposed and simulations are provided in Figures 5, 6, and 7 for PER_{m,s} being equal to 0.1, 0.01, and 0.001, respectively, each for three values of N, i.e., Nâ€‰=â€‰1,4,16. For Nâ€‰=â€‰4 and PER_{m,s}â€‰=â€‰0.01 in Figure 6, the number of simulations is again set to 120 in order to increase the reliability of simulations. The simulation PMF appears to be captured well by the proposed analysis method for a wide range of packet error rates. For Nâ€‰=â€‰1 and PER_{m,s}â€‰=â€‰0.001, ns3 simulations show a peak which is caused by alternating on and off times during which the queue is on and off, respectively, and the Poisson assumption does not hold as well as the other cases. However, the general shape of the PMF is still captured for this challenging scenario.
4 Crosslayer framework
The physical layer WirelessMAN OFDMA PHY specifies a cellular system comprising a base station (BS) and attached mobile stations (MSs) [25]. In this section, we perform crosslayer analysis of the IEEE 802.16 WirelessMAN OFDMA PHY air interface which can also alternatively be used for a pointtopoint (PTP) wireless link [37, 38]. We study this wireless link carrying longlived TCP traffic flows for different values of N, RTT_{0,i}, and SNR_{ s } and for two different wireless channel models. This analysis suits well to the OFDMbased air interfaces which became viable for PTP wireless links [39, 40] while also being applicable to the downlink of a cellular system with FIFO queuing.
We run physical layer simulations with Coded Modulation Library (CML) to obtain the PER_{m,s} values for given MCS_{ m } and SNR_{ s }[41]. For this purpose, we choose the MCSs that use convolutional turbo codes (CTC). There exist 32 MCSs for CTC out of which Mâ€‰=â€‰8 are enumerated in Table 1 for use in the current paper which differ according to their modulation order V_{ m } (i.e., the number of points in the constellation diagram), code rate R_{ m }, and forward error correction (FEC) block length k_{ m }. Assuming FEC block error events of a packet to be iid Bernoulli distributed, PER_{m,s} can be derived from the FEC block error rate FER_{m,s} as follows:
On the other hand, the FER_{m,s} values in (22) can be obtained using CML. For the sake of completeness, we present all FER_{m,s} vs SNR_{ s } curves in Figures 8 and 9 for the additive white Gaussian noise (AWGN) and International Telecommunication Union (ITU) VehicularA channels, respectively, the latter corresponding to an MS with a velocity of 90 km/h, which is referred to as ITUA channel for the rest of the paper [42]. SNR ranges of [0 dB, 22 dB] and [0 dB, 40 dB] are sampled with a resolution of 0.5 and 2 dB to obtain the corresponding SNR_{ s } values for AWGN and ITUA channels, respectively. At least 10^{7} FEC blocks are decoded to reach the FEC block error rates shown. Once the PER_{m,s} values are obtained, they are fed into the workloaddependent M/D/1 queuing model to estimate the aggregate TCP throughput for given MCS_{ m } and SNR_{ s }.
For the sake of fairness in throughput comparisons between different MCSs, L in (22) is set to the least common multiple of the k_{ m } values for mâˆˆ{0,..,M1}, which is equal to 2,160 bytes to avoid padding for any MCS_{ m }. Discretization interval Î” of the queue is set to 9.6 bits for this section which amounts to the packet size L divided by 1,800. Time division duplex (TDD) mode as specified by WiMAX [43] dictates 35 downlink (DL) OFDM symbols, each having 768 data subcarriers for a channel bandwidth of 10 MHz [25] within a TDD frame duration of 5 ms, resulting in an average PHY rate of râ€‰=â€‰5.376Ã—10^{6} subcarriers/s. Based on these parameters, the raw bit rate r_{ m } of the IEEE 802.16 WirelessMAN OFDMA PHY air interface can be calculated in bps as follows:
In order to account for transmission, framing, and processing delays of the system, D_{ T }â€‰+â€‰2D_{ F } is set to 5 ms. For the remaining set of parameters, we study scenarios for both AWGN and ITUA channels spanning a wide range of N, RTT_{0,i}, and SNR_{ s } values where sâˆˆ{s_{min},..,S1} and s_{min} is such that {\text{PER}}_{0,{s}_{min}}<0.1 for each channel type. In particular, we study two groups of scenarios having fixed and uniformly spaced RTT_{0,i} denoted by SF_{N,F} and SU_{N,F}, respectively, where Nâˆˆ{1,4,16} and Fâˆˆ{1,5,10,20,40,80,120,160} ms. In scenario SF_{N,F}, there are N longlived TCP flows and all flows have the same RTT_{0,i} of F ms. On the other hand, in scenario SU_{N,F}, there are again N flows but each with a different RTT_{0,i}. For Nâ€‰=â€‰4, flow i, 0â‰¤iâ‰¤3, has its RTT_{0,i} set to 2(iâ€‰+â€‰1)F/5, leading to an average fixed RTT of F ms. For example, in SU_{4,10}, flows have individual fixed RTT values of 4, 8, 12, and 16 ms, with an average of 10 ms. For Nâ€‰=â€‰16, each RTT_{0,i} value for the Nâ€‰=â€‰4 case is further mapped to four different fixed RTTs in a similar fashion to obtain the same average fixed RTT of F ms. For example, in SU_{16,10}, flows have individual fixed RTT values of 1.6, 3.2, 4.8, 6.4, 3.2, 6.4, 9.6, 12.8, 4.8, 9.6, 14.4, 19.2, 6.4, 12.8, 19.2, and 25.6 ms, again with an average of 10 ms. Note that scenarios represented by SF_{1,F} and SU_{1,F} are identical, thus leading to an overall of 40 unique scenarios.
In the first example, we study the particular scenarios SF_{N,160} for different values of N by solving the proposed queuing model and calculating the aggregate TCP throughput for each MCS_{ m }, N, and SNR_{ s } for the AWGN channel. We present the optimal MCS index, denoted by m^{âˆ—}, leading to the highest aggregate TCP throughput in Figure 10 as a function of the channel SNR for all values of N. We observe that as N increases, the benefit of increasing the spectral efficiency by choosing a higher order MCS outweighs the penalty of increasing wireless loss rate at certain SNR values. It is therefore clear that the optimal decision on MCS relies on a priori knowledge on the number of TCP flows sharing the link. Obtaining the optimum MCS in an online setting requires the estimation of N and RTT_{0,i} which is generally known to be difficult. As a remedy, we propose the socalled trafficagnostic link adaptation (TAGLA) scheme which does not require the estimation of traffic parameters but takes into consideration only the spectral efficiency and FER values of the MCSs that its physical layer has to offer. In particular, TAGLA chooses the MCS with the highest spectral efficiency whose resulting PER_{m,s}â‰¤t h_{PER} for a threshold parameter t h_{PER}. In case of plurality of such MCSs with the same spectral efficiency, TAGLA chooses the one with the lowest PER. At the limiting cases t h_{PER}â€‰=â€‰0 and t h_{PER}â€‰=â€‰1, TAGLA resorts to MCS_{0} and MCS_{7}, respectively, regardless of the SNR_{ s } value. The TAGLA scheme only requires a mapping between the target PER values and the FER values to be continuously fed back by the PHY layer. Choice of the target PER parameter t h_{PER} is then crucial for the performance of the TAGLA scheme which we now study.
Averaging the results of the proposed model over all possible SNR values we study, the average aggregate TCP throughput as a function of these 40 scenarios is depicted in Figures 11 and 12 for various values of the t h_{PER} parameter and for both channel models. The optimum aggregate TCP throughput obtained by choosing the best possible MCS, given SNR_{ s }, N, and RTT_{0,i}, is also averaged in the same way and presented as a benchmark. The scenarios are indexed with a parameter called idx as shown in Tables 2 and 3, for increasing throughput of the socalled optimum policy in AWGN and ITUA channels, respectively. Low values of idx, corresponding to relatively low values for N and large values for RTT_{0,i}, are representative of situations in which the TCP flows cannot keep the queue always full. In such cases, the throughput is lower and the penalty of using larger values of t h_{PER} is apparent. Conversely, large values for idx are indicative of a situation in which TCP can keep the queue full all the time despite wireless losses, and the optimum policy is to use the MCS with the best spectral efficiency but with larger wireless loss rates. This observation remains intact for both channel models.
In order to assess the sensitivity of throughput to t h_{PER} in different scenario settings, we form two groups among the scenarios studied so far, namely G_{low} and G_{high}, by partitioning the range of idx into subsets [ 1,..,15] and [ 26,..,40], respectively. We also let G_{all} represent the group of all scenarios with i d xâˆˆ [ 1,..,40]. First, we normalize the throughput of TAGLA with that of optimum policy for each SNR_{ s } and idx to avoid a bias favoring MCSs with high spectral efficiency. Then, we average the normalized throughput values over SNR_{ s } and idx within the ranges of each group to obtain the average normalized aggregate TCP throughput shown in Figures 13 and 14 for AWGN and ITUA channels, respectively. The choice of t h_{PER}â€‰=â€‰5Ã—10^{3} turns out to be a robust operating point for the three groups resulting in at most 4% and 12% performance penalties with respect to the optimum policy for AWGN and ITUA channels, respectively. Targeting higher (lower) wireless loss rates has a negative impact on the TCP throughput especially for G_{low} (G_{high}). The reduction in TCP throughput around the proposed t h_{PER} value is more pronounced for the ITUA channel which can be accounted for its relatively flat FER vs SNR curves shown in Figure 9. For a given SNR, FER values of the ITUA channel are relatively closer to each other on the average. For this reason, the performance of TAGLA is more sensitive to the choice of t h_{PER} for this multipath fading channel model. The TAGLA scheme appears to have a potential for improvement provided that the threshold parameter t h_{PER} could be adaptively changed based on an estimation of the underlying traffic parameters which is left for future research.
5 Conclusions
In this study, we develop a novel workloaddependent queuing model for AQMcontrolled wireless routers carrying persistent TCP flows. One of the contributions of this model is in its ability to capture the entire queue occupancy distribution as opposed to simpler performance measures of interest such as the mean queue length. The proposed queuing model is validated using ns3 simulations in both wireline and wireless scenarios. This analytical method is then used to obtain guidelines for setting the target wireless packet error rate (PER) for a PERbased trafficagnostic link adaptation scheme. Assuming wireless channel SNR to be uniformly distributed over the presented ranges of interest and packet losses to be concentrated on the wireless link (i.e., wireline losses are negligible), we show that targeting a PER around 5Ã—10^{3} irrespective of the underlying traffic parameters provides robust and acceptable average TCP performance for a wide range of scenarios and for the given AQM setting. Future work will consist of the study of trafficaware link adaptation policies and HARQ/ARQ techniques in more depth for TCP throughput optimization in wireless links.
References
Braden B, Clark D, Crowcroft J, Davie B, Deering S, Estrin D, Floyd S, Jacobson V, Minshall G, Partridge C, Peterson L, Ramakrishnan K, Shenker S, Wroclawski J, Zhang L: Recommendations on queue management and congestion avoidance in the internet. RFC 2309 1998. . Accessed 21 April 2014 http://www.rfceditor.org/rfc/rfc2309.txt
Floyd S, Jacobson V: Random early detection gateways for congestion avoidance. Netw. IEEE/ACM Trans 1993, 1(4):397413. 10.1109/90.251892
Hashem ES: Analysis of random drop for gateway congestion control. MSc thesis, Massachusetts Inst of Tech Cambridge Lab for Computer Science 1989.
Athuraliya S, Low SH, Li VH, Yin Q: REM: Active queue management. Netw. IEEE 2001, 15(3):4853. 10.1109/65.923940
Hassan M, Jain R: High Performance TCP/IP Networking: Concepts, Issues, and Solutions. US: Pearson; 2004.
Adams R: Active queue management: a survey. Commun. Surv. Tutorials, IEEE 2013, 15(3):14251476.
Lakkakorpi J, Sayenko A, Karhula J, Alanen O, Moilanen J: Active queue management for reducing downlink delays in WiMAX. Vehicular Technology Conference, 2007. VTC2007 Fall. 2007 IEEE 66th, Baltimore, MD, USA, September 2007 326330.
Padhye J, Firoiu V, Towsley D, Kurose J: Modeling TCP throughput: a simple model and its empirical validation. SIGCOMM Comput. Commun. Rev 1998, 28(4):303314. 10.1145/285243.285291
Mathis M, Semke J, Mahdavi J, Ott T: The macroscopic behavior of the TCP congestion avoidance algorithm. Comput. Commun. Rev 1997, 27(3):6782. 10.1145/263932.264023
Lassila P, van den Berg H, Mandjes M, Kooij R: An integrated packet/flow model for TCP performance analysis. In Providing Quality of Service in Heterogeneous Environments. Teletraffic Science and Engineering. Edited by: Charzinski J, Lehnert R, TranGia P. Amsterdam: Elsevier; 2003:651660.
Bu T, Towsley D: Fixed point approximations for TCP behavior in an AQM network. SIGMETRICS Perform. Eval. Rev 2001, 29(1):216225. 10.1145/384268.378786
Gibbens RJ, Sargood SK, Eijl CV, Kelly FP, Azmoodeh H, Macfadyen RN, Macfadyen NW: Fixedpoint models for the endtoend performance analysis of IP networks. Proceedings of the 13th ITC Specialist Seminar: IP Traffic Measurement, Modeling and Management, Monterey, CA, USA, September 2000
Balakrishnan H, Padmanabhan VN, Seshan S, Katz RH: A comparison of mechanisms for improving TCP performance over wireless links. Netw. IEEE/ACM Trans 1997, 5(6):756769. 10.1109/90.650137
Barakat C, Altman E: Bandwidth tradeoff between TCP and linklevel FEC. Comput. Netw 2002, 39(2):133150. 10.1016/S13891286(01)00305X
Vacirca F, De Vendictis A, Baiocchi A: Optimal design of hybrid FEC/ARQ schemes for TCP over wireless links with Rayleigh fading. IEEE Trans. Mobile Comput 2006, 5(4):289302.
Go KC, Cha JR, Oh SK, Kim JH: Endtoend performance analysis based on crosslayer retransmission scheme in wireless communication system. Int. Conf. Inform. Netw. 2013 (ICOIN) 2013, 0: 141144.
Moltchanov D: A study of TCP performance in wireless environment using fixedpoint approximation. Comput. Netw 2012, 56(4):12631285. 10.1016/j.comnet.2011.11.012
Catreux S, Erceg V, Gesbert D, Heath Jr RW: Adaptive modulation and MIMO coding for broadband wireless data networks. Comm. Mag 2002, 40(6):108115. 10.1109/MCOM.2002.1007416
Lampe M, Rohling H, Zirwas W: Misunderstandings about link adaptation for frequency selective fading channels. Personal, Indoor and Mobile Radio Communications, 2002. The 13th IEEE International Symposium on, vol. 2, Lisbon, Portugal, September 2002 710714.
Lampe M, Giebel T, Rohling H, Zirwas W: PERprediction for PHY mode selection in OFDM communication systems. IEEE Global Telecommunications Conference, GLOBECOM â€™03, San Francisco, CA, USA, December 2003 2529.
Martorell G, RieraPalou F, Femenias G: Crosslayer fast link adaptation for MIMOOFDM based WLANs. Wirel. Pers. Commun 2011, 56(3):599609. 10.1007/s1127701099929
Ns3 . Accessed 21 April 2014 http://www.nsnam.org/
QoS: Congestion avoidance configuration guide, Cisco IOS release 15.0M Technical report (Cisco Systems, Inc., San Jose, 2011)
Wurtzler M: Analysis and simulation of weighted random early detection (WRED) queues. Masterâ€™s thesis University of Kansas, 2003
IEEE standard for local and metropolitan area networks part 16: Air interface for broadband wireless access systems IEEE Std 802.162009 (Revision of IEEE Std 802.162004) 2009, 12080.
Laor M, Gendel L: The effect of packet reordering in a backbone link on application throughput. Netw. IEEE 2002, 16(5):2836. 10.1109/MNET.2002.1035115
Li J, Zhao YQ: Resequencing analysis of stopandwait ARQ for parallel multichannel communications. Netw. IEEE/ACM Trans 2009, 17(3):817830.
Bekker R, Borst SC, Boxma OJ, Kella O: Queues with workloaddependent arrival and service rates. Queueing Syst 2004, 46(3â€“4):537556.
Vasudevan V, Phanishayee A, Shah H, Krevat E, Andersen DG, Ganger GR, Gibson GA, Mueller B: Safe and effective finegrained TCP retransmissions for datacenter communication. SIGCOMM Comput. Commun. Rev 2009, 39(4):303314. 10.1145/1594977.1592604
Abdeljaber H, Thabtah F, Daoud AM, Ababneh J, Baklizi M: Performance investigations of some active queue management techniques using simulation. Int. J. New Comput. Architectures Appl. (IJNCAA) 2012, 2(1):286301.
Floyd S: Recommendation on using the Gentle variant of RED. Technical report (The ICSI Networking and Security Group, March 2000)
Kuumola E, Resing J, Virtamo J: Joint distribution of instantaneous and averaged queue length in an M/M/1/K system. Proceedings of the 15th ITC Specialist Seminar Internet Traffic Engineering and Traffic Management, Wurzburg, Germany, July 2002 5867.
Misra A, Ott TJ: The window distribution of idealized TCP congestion avoidance with variable packet loss. INFOCOM â€™99. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE, vol. 3, New York, NY, USA, March 1999 15641572.
Balakrishnan H, Padmanabhan VN, Fairhurst G, Sooriyabandara M: TCP performance implications of network path asymmetry. RFC 3449, RFC Editor (December 2002) . Accessed 21 April 2014 http://www.rfceditor.org/rfc/rfc3449.txt
Speight TJ: Efficient TCP ACK prioritization in wireless networks. US20080080464 A1 April 2008
Carneiro G, Fortuna P, Ricardo M: FlowMonitor: a network monitoring framework for the network simulator 3 (NS3). Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools. VALUETOOLS â€™09, ICST (Institute for Computer Sciences, SocialInformatics and Telecommunications Engineering), Brussels, Belgium, 2009 11110.
Chen DT: On the analysis of using 802.16e WiMAX for pointtopoint wireless backhaul. Radio and Wireless Symposium, IEEE, Long Beach, CA, USA, January 2007 507510.
de Carvalho JARP, Veiga H, Gomes P, Reis AD, Costa R: A contribution to experimental performance evaluation of pointtopoint WiMAX links. Signal Processing and Information Technology. ISSPIT 2008. IEEE International Symposium On, Sarajevo, December 2008 150153.
PTP solutions guide Motorola fixed pointtopoint wireless bridges . Accessed 21 April 2014 http://www.motorolasolutions.com/
RDL3000 System . Accessed 21 April 2014 http://rdlcom.com/
Coded Modulation Library (CML) . Accessed 21 April 2014 http://www.iterativesolutions.com/
Guidelines for evaluation of radio transmission technologies for IMT2000 Recommendation ITUR M.1225 (International Telecommunications Union (ITU), 1997)
WiMAX Forum mobile system profile: Release 1.5 TDD specific part Technical report (WiMAX FORUM, March 2009)
Acknowledgments
This work is supported in part by the Science and Research Council of Turkey (TÃ¼bitak) under project grant EEEAG111E106.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ original submitted files for images
Below are the links to the authorsâ€™ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ozturk, O., Akar, N. Workloaddependent queuing model of an AQMcontrolled wireless router with TCP traffic and its application to PERbased link adaptation. J Wireless Com Network 2014, 67 (2014). https://doi.org/10.1186/16871499201467
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871499201467