-
Throughput Computation in CSMA Wireless Networks with Collision Effects
Authors:
Cai Hong Kai,
Soung Chang Liew
Abstract:
It is known that link throughputs of CSMA wireless networks can be computed from a time-reversible Markov chain arising from an ideal CSMA network model (ICN). In particular, this model yields general closed-form equations of link throughputs. However, an idealized and important assumption made in ICN is that the backoff countdown process is in "contiuous-time" and carrier sensing is instantaneous…
▽ More
It is known that link throughputs of CSMA wireless networks can be computed from a time-reversible Markov chain arising from an ideal CSMA network model (ICN). In particular, this model yields general closed-form equations of link throughputs. However, an idealized and important assumption made in ICN is that the backoff countdown process is in "contiuous-time" and carrier sensing is instantaneous. As a result, there is no collision in ICN. In practical CSMA protocols such as IEEE 802.11, the stations count down in "mini-timeslot" and the process is therefore a "discrete-time" process. In particular, two stations may end their backoff process in the same mini-timeslot and then transmit simultaneously, resulting in a packet collision. This paper is an attempt to study how to compute link throughputs after taking such backoff collision effects into account. We propose a generalized ideal CSMA network model (GICN) to characterize the collision states as well as the interactions and dependency among links in the network. We show that link throughputs and collision probability can be computed from GICN. Simulation results validate GICN's accuracy. Interestingly, we also find that the original ICN model yields fairly accurate results despite the fact that collisions are not modeled.
△ Less
Submitted 8 July, 2011;
originally announced July 2011.
-
Temporal Starvation in CSMA Wireless Networks
Authors:
Cai Hong Kai,
Soung Chang Liew
Abstract:
It is well known that links in CSMA wireless networks are prone to starvation. Prior works focused almost exclusively on equilibrium starvation. In this paper, we show that links in CSMA wireless networks are also susceptible to temporal starvation. Specifically, although some links have good equilibrium throughputs and do not suffer from equilibrium starvation, they can still have no throughput f…
▽ More
It is well known that links in CSMA wireless networks are prone to starvation. Prior works focused almost exclusively on equilibrium starvation. In this paper, we show that links in CSMA wireless networks are also susceptible to temporal starvation. Specifically, although some links have good equilibrium throughputs and do not suffer from equilibrium starvation, they can still have no throughput for extended periods from time to time. Given its impact on quality of service, it is important to understand and characterize temporal starvation. To this end, we develop a "trap theory" to analyze temporal throughput fluctuation. The trap theory serves two functions. First, it allows us to derive new mathematical results that shed light on the transient behavior of CSMA networks. For example, we show that the duration of a trap, during which some links receive no throughput, is insensitive to the distributions of the backoff countdown and transmission time (packet duration) in the CSMA protocol. Second, we can develop analytical tools for computing the "degrees of starvation" for CSMA networks to aid network design. For example, given a CSMA network, we can determine whether it suffers from starvation, and if so, which links will starve. Furthermore, the likelihood and durations of temporal starvation can also be computed. We believe that the ability to identify and characterize temporal starvation as established in this paper will serve as an important first step toward the design of effective remedies for it.
△ Less
Submitted 17 September, 2010;
originally announced September 2010.
-
Applications of Belief Propagation in CSMA Wireless Networks
Authors:
Cai Hong Kai,
Soung Chang Liew
Abstract:
The belief propagation (BP) algorithm is an efficient way to solve "inference" problems in graphical models, such as Bayesian networks and Markov random fields. The system-state probability distribution of CSMA wireless networks is a Markov random field. An interesting question is how BP can help the analysis and design of CSMA wireless networks. This paper explores three such applications. First,…
▽ More
The belief propagation (BP) algorithm is an efficient way to solve "inference" problems in graphical models, such as Bayesian networks and Markov random fields. The system-state probability distribution of CSMA wireless networks is a Markov random field. An interesting question is how BP can help the analysis and design of CSMA wireless networks. This paper explores three such applications. First, we show how BP can be used to compute the throughputs of different links in the network given their access intensities, defined as the mean packet transmission time divided by the mean backoff countdown time. Second, we propose an inverse-BP algorithm to solve the reverse problem: how to set the access intensities of different links to meet their target throughputs? Third, we introduce a BP-adaptive CSMA algorithm to find the link access intensities that can achieve optimal system utility. BP solves the three problems with exact results in tree networks. It may, however, lose accuracy in networks with a loopy contention graph. We show how a generalized version of BP, GBP, can be designed to solve the three problems with high accuracy for networks with a loopy contention graph. Importantly, we show how the BP and GBP algorithms in this paper can be implemented in a distributed manner, making them useful in practical CSMA network opera-tion.
△ Less
Submitted 14 July, 2011; v1 submitted 29 July, 2010;
originally announced July 2010.