Power-line communications (PLC) are becoming a key component in home networking, because they provide easy and high-throughput connectivity. The dominant MAC protocol for high data-rate PLC, the IEEE 1901, employs a CSMA CA mechanism similar to the backoff process of 802.11. Existing performance evaluation studies of this protocol assume that the backoff processes of the stations are independent (the so-called decoupling assumption). However, in contrast to 802.11, 1901 stations can change their state after sensing the medium busy, which is regulated by the so-called deferral counter. This mechanism introduces strong coupling between the stations and, as a result, makes existing analyses inaccurate. In this paper, we propose a performance model for 1901, which does not rely on the decoupling assumption. We prove that our model admits a unique solution for a wide range of configurations and confirm the accuracy of the model using simulations. Our results show that we outperform current models based on the decoupling assumption. In addition to evaluating the performance in steady state, we further study the transient dynamics of 1901, which is also affected by the deferral counter.
Our works of @cite_14 , @cite_12 propose a simplification to the model of @cite_16 , reducing the Markov chain to a single fixed-point equation; by applying a similar theoretical technique to @cite_6 , these papers also prove that this fixed-point equation admits a unique solution. Being less accurate but simpler than the model introduced here, the model of @cite_12 enables us to optimize the performance of the protocol towards high throughput.
@cite_14 @cite_6 @cite_12 @cite_16
1968517161 2137298097 2166657206 2167223378
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 (all nodes have the same parameters). 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. The Gilbert model (1-st order Markov chain model) and the single-multiplexer model are two frequently used models in the study of packet-loss processes in communication networks. In this paper we investigate the accuracy of the Gilbert model, and higher-order Markov chain extended Gilbert models, in characterizing the packet-loss process associated with a transport network modeled in terms of a single-multiplexer. More specifically, we quantitatively compare the packet-loss statistics predicted by the Gilbert models with those predicted by an exact queueing analysis of the single-multiplexer model. This topic is important since low-complexity Gilbert models are frequently used to characterize end-to-end network packet-loss behavior. On the other hand, network congestion behavior is often characterized in terms of a single bottleneck node modeled as a multiplexer. It is of some interest then to establish the relative accuracy of Gilbert models in predicting the packet-loss behavior on even such a simplified network model. We demonstrate that the Gilbert models have some serious deficiencies in accurately predicting the packet-loss statistics of the single-multiplexer model. The results are shown to have some serious consequences for the performance evaluation of forward error correction (FEC) coding schemes used to combat the effects of packet losses due to network buffer overflows. We study a fixed-point formalization of the well-known analysis of Bianchi. We provide a significant simplification and generalization of the analysis. In this more general framework, the fixed-point solution and performance measures resulting from it are studied. Uniqueness of the fixed point is established. Simple and general throughput formulas are provided. It is shown that the throughput of any flow will be bounded by the one with the smallest transmission rate. The aggregate throughput is bounded by the reciprocal of the harmonic mean of the transmission rates. In an asymptotic regime with a large number of nodes, explicit formulas for the collision probability, the aggregate attempt rate, and the aggregate throughput are provided. The results from the analysis are compared with ns2 simulations and also with an exact Markov model of the backoff process. It is shown how the saturated network analysis can be used to obtain TCP transfer throughputs in some cases. This paper has two parts. In the first part we consider a simple Markov chain for d-regular graphs on n vertices, where d = d(n) may grow with n. We show that the mixing time of this Markov chain is bounded above by a polynomial in n and d. In the second part of the paper, a related Markov chain for d-regular graphs on a varying number of vertices is introduced, for even constant d. This is a model for a certain peer-to-peer network. We prove that the related chain has mixing time which is bounded above by a polynomial in N, the expected number of vertices, provided certain assumptions are met about the rate of arrival and departure of vertices.