[論文レビュー] Analysis of Frequency-Agile CSMA Wireless Networks

Soung Chang Liew, Jialiang Zhang+2 more|arXiv (Cornell University)|Jul 29, 2010

Wireless Networks and Protocols参考文献 18被引用数 7

ひとこと要約

本稿では、複数のチャネルを同時に感知し、最初に空いているチャネルで送信を開始する周波数可変CSMA MACプロトコルを提案する。このプロトコルはスループットを著しく向上させるとともに、時間的スターヴェーションを解消する。転送行列法を用いて1次元および2次元ネットワークの正確なスループット式を導出し、周波数可変性が平均残存アクセス時間（MRAT）を桁違いに短縮することを示す。また、一般のトポロジへの展開を可能にする『色分け定理』を証明した。

ABSTRACT

This paper proposes and analyzes the performance of a simple frequency-agile CSMA MAC protocol. In this MAC, a node carrier-senses multiple frequency channels simultaneously, and it takes the first opportunity to transmit on any one of the channels when allowed by the CSMA backoff mechanism. We show that the frequency-agile MAC can effectively 1) boost throughput and 2) remove temporal starvation. Furthermore, the MAC can be implemented on the existing multiple-frequency setup in Wi-Fi using multi-radio technology, and it can co-exist with the legacy MAC using single radio. This paper provides exact stationary throughput analysis for regular 1D and thin-strip 2D CSMA networks using a "transfer-matrix" approach. In addition, accurate approximations are given for 2D grid networks. Our closed-form formulas accurately quantify the throughput gain of frequency-agile CSMA. To characterize temporal starvation, we use the metric of "mean residual access time" (MRAT). Our simulations and closed-form approximations indicate that the frequency-agile MAC can totally eliminate temporal starvation in 2D grid networks, reducing its MRAT by orders of magnitude. Finally, this paper presents a "coloring theorem" to justify the use of the frequency-agile MAC in general network topologies. Our analysis and theorem suggest that with enough frequency channels, the frequency-agile MAC can effectively decouple the detrimental interactions between neighboring links responsible for low throughput and starvation.

研究の動機と目的

• 従来のCSMA無線ネットワークにおける低スループットと時間的スターヴェーションを解決すること。
• マルチチャネル感知を活用して中間アクセス効率を向上させる周波数可変MACプロトコルの設計。
• 1次元、薄いストリップ型2次元、2次元グリッドネットワークにおける正確および近似のスループットモデルの提供。
• 平均残存アクセス時間（MRAT）を用いた時間的スターヴェーションの低減を定量化すること。
• 任意のネットワークトポロジに応用可能な理論的基盤を提供するための『色分け定理』の確立。

提案手法

• プロトコルは同時マルチチャネルキャリアセンシングを採用し、最初に空いているチャネルで送信を許可する。
• 1次元および薄いストリップ型2次元ネットワークにおける正確な定常スループットを導出するために転送行列法を適用する。
• 転送行列の結果に基づき、2次元グリッドネットワークの閉形式近似式を構築する。
• 時間的スターヴェーションの定量的評価に、平均残存アクセス時間（MRAT）を指標として用いる。
• 隣接するリンク間の干渉を分離することで、一般トポロジにおけるプロトコルの有効性を裏付けるための『色分け定理』を導入する。
• 分析ではCSMAバックオフメカニズムを仮定し、チャネルアクセスをマルコフ過程としてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 周波数可変CSMAは、従来の単一チャネルCSMAと比較して、どのようにスループットを向上させるか？
• RQ2 周波数可変性は、2次元無線ネットワークにおける時間的スターヴェーションをどの程度低減できるか？
• RQ3 どのような解析フレームワークが、規則的な1次元および2次元ネットワークトポロジにおける正確なスループット計算を可能にするか？
• RQ4 2次元グリッドネットワークにおける閉形式近似式の精度はどの程度か？
• RQ5 周波数可変性は、任意のトポロジにおいて、隣接するリンク間の干渉をどの条件下で分離可能にするか？

主な発見

• 周波数可変CSMAプロトコルは、複数のチャネルを同時に活用することで、顕著なスループット向上を達成する。
• 転送行列法を用いて、1次元および薄いストリップ型2次元ネットワークにおける正確な定常スループット式を導出した。
• 2次元グリッドネットワークに対して、高精度な閉形式近似式を提供し、スループット向上の正確な定量化を可能にした。
• 2次元グリッドネットワークにおいて、平均残存アクセス時間（MRAT）が桁違いに短縮され、時間的スターヴェーションがほぼ完全に解消されていることが示された。
• 提案された『色分け定理』により、十分な周波数チャネルが存在すれば、隣接するリンク間の干渉を分離できることを証明した。これにより、一般トポロジへの効果的な展開が可能となる。
• プロトコルは既存のWi-Fiマルチラジオハードウェアと互換性があり、レガシーなシングルラジオCSMAシステムとも共存可能である。