On the Asymptotic Validity of the Decoupling Assumption for Analyzing 802.11 MAC Protocol

TL;DR

This paper investigates the conditions under which the decoupling assumption used in analyzing the 802.11 MAC protocol remains valid asymptotically, revealing limitations of existing criteria and proposing new stability conditions.

Contribution

It provides a simple criterion for the asymptotic validity of the decoupling assumption in homogeneous networks and discusses its limitations in heterogeneous and differentiated service scenarios.

Findings

Decoupling assumption holds asymptotically under certain stability conditions.

Uniqueness of fixed point solutions does not guarantee decoupling validity.

Counterexample where unique fixed point does not imply decoupling in stationary regime.

Abstract

Performance evaluation of the 802.11 MAC protocol is classically based on the decoupling assumption, which hypothesizes that the backoff processes at different nodes are independent. This decoupling assumption results from mean field convergence and is generally true in transient regime in the asymptotic sense (when the number of wireless nodes tends to infinity), but, contrary to widespread belief, may not necessarily hold in stationary regime. The issue is often related with the existence and uniqueness of a solution to a fixed point equation; however, it was also recently shown that this condition is not sufficient; in contrast, a sufficient condition is a global stability property of the associated ordinary differential equation. In this paper, we give a simple condition that establishes the asymptotic validity of the decoupling assumption for the homogeneous case. We also discuss the heterogeneous and the differentiated service cases and formulate a new ordinary differential equation. We show that the uniqueness of a solution to the associated fixed point equation is not sufficient; we exhibit one case where the fixed point equation has a unique solution but the decoupling assumption is not valid in the asymptotic sense in stationary regime.