Network calculus is a powerful methodology of characterizing queueing processes and has wide applications, but few works on applying it to 802.11 by far. In this paper, we take one of the first steps to analyze the backlog bounds of an 802.11 wireless LAN using stochastic network calculus. In particular, we want to address its effectiveness on bounding backlogs. We model a wireless node as a single server with impairment service based on two best-known models in stochastic network calculus: Jiang's and Ciucu's. Interestingly, we find that the two models can derive equivalent stochastic service curves and backlog bounds in our studied case. We prove that the network-calculus bounds imply stable backlogs as long as the average rate of traffic arrival is less than that of service, indicating the theoretical effectiveness of stochastic network calculus in bounding backlogs. From A. Kumar's 802.11 model, we derive the concrete stochastic service curve of an 802.11 node and its backlog bounds. We compare the derived bounds with ns-2 simulations and find that the former are very loose and we discuss the reasons. And we show that the martingale and independent case analysis techniques can improve the bounds significantly. Our work offers a good reference to applying stochastic network calculus to practical scenarios.
Existing works on the performance of 802.11 focus primarily on the throughput and capacity. Bianchi proposed a Markov chain model of 802.11 @cite_20 . A. proposed a probability model of 802.11 @cite_23 which simplifies Bianchi's model and it is shown to be quite accurate even in the multi-hop case @cite_26 . In our paper, we adopt A. Kumar's model to derive the stochastic service curves of an 802.11 node. There are some works on 802.11 queueing analysis based on traditional queueing theory. assumed Poisson traffic arrival and proposed an M G 1 queueing model of 802.11 @cite_19 . Tickoo proposed a G G 1 queueing model of 802.11 @cite_21 @cite_6 . Bredel and Fidler modeled the 802.11 DCF as a fluid GPS scheduler yielding a fair average service rate @cite_25 . And Ciucu analyzed the non-asymptotic throughput and delay distribution in multi-hop wireless networks by network calculus approach considering Aloha systems @cite_24 .
@cite_26 @cite_21 @cite_6 @cite_24 @cite_19 @cite_23 @cite_25 @cite_20
2033020629 1975726216 2189041274 2107403026
Analytical models of IEEE 802.11-based WLANs are invariably based on approximations, such as the well-known mean-field approximations proposed by Bianchi for saturated nodes. In this paper, we provide a new approach for modeling the situation when the nodes are not saturated. We study a State Dependent Attempt Rate (SDAR) approximation to model M queues (one queue per node) served by the CSMA CA protocol as standardized in the IEEE 802.11 DCF. The approximation is that, when n of the M queues are non-empty, the attempt probability of the n non-empty nodes is given by the long-term attempt probability of n saturated nodes as provided by Bianchi's model. This yields a coupled queue system. When packets arrive to the M queues according to independent Poisson processes, we provide an exact model for the coupled queue system with SDAR service. The main contribution of this paper is to provide an analysis of the coupled queue process by studying a lower dimensional process and by introducing a certain conditional independence approximation. We show that the numerical results obtained from our finite buffer analysis are in excellent agreement with the corresponding results obtained from ns-2 simulations. We replace the CSMA CA protocol as implemented in the ns-2 simulator with the SDAR service model to show that the SDAR approximation provides an accurate model for the CSMA CA protocol. We also report the simulation speed-ups thus obtained by our model-based simulation. Analysis of the 802.11 CSMA CA mechanism has received considerable attention recently. Bianchi presented an analytic model under a saturated traffic assumption. Bianchi's model is accurate, but typical network conditions are nonsaturated and heterogeneous. We present an extension of his model to a nonsaturated environment. The model's predictions, validated against simulation, accurately capture many interesting features of nonsaturated operation. For example, the model predicts that peak throughput occurs prior to saturation. Our model allows stations to have different traffic arrival rates, enabling us to address the question of fairness between competing flows. Although we use a specific arrival process, it encompasses a wide range of interesting traffic types including, in particular, VoIP. This paper proposes the analytical expressions for the IEEE 802.11 string-topology multi-hop networks using Markov-chain model. For achieving that, the proposed analysis procedure includes two proposals, which are: (i) Bianchi's Markov-chain model is modified for considering a relationship between the backoff timer and frame length, and (ii) the interferences, such as hidden node collision and carrier sensing, among network nodes are expressed by merging the proposed Markov-chain model and airtime expression. The analytical expressions are verified by comparisons with simulation results. We consider the following two views of an IEEE 802.11 based Wireless LAN: (i) as seen by the WLAN medium and (ii) as seen by a user. In the system centric view, we model the WLAN medium as a server that allocates its resources to users in a round Robin manner. This resource sharing model not only provides a simple model for the system, it also enables us to derive the channel service rate and the total delay incurred in transmitting a packet. For Poisson arrivals, the resource sharing model takes the form of an M G 1 PS system with the mean delay being the same as that in an equivalent M M 1 system. We then take a user centric view and model each user's queue as a separate G G 1 queue. We derive the probability distributions for the different delay sources, i.e., random back-off time, random number of collisions and random number of successful transmissions from other users. This user centric model can provide insights into understanding access and queuing delays in 802.11 DCF. Finally, we discuss the utility of these models for functions such as capacity analysis, admission control and QoS enforcement.