[論文レビュー] On the Design of Efficient CSMA Algorithms for Wireless Networks

Javad Ghaderi, R. Srikant|arXiv (Cornell University)|Mar 6, 2010

Advanced Wireless Network Optimization参考文献 10被引用数 10

ひとこと要約

本稿では、任意にゆっくりと増加する関数 g(q) を用いた log(q)/g(q) 形式のキュー長に基づくリンク重みを用いることで、スループット最適性を達成する効率的なCSMAアルゴリズムのクラスを提案する。先行研究が log log(q) 重みを用いていたのを一般化することで、著者らは、この重み関数が元のマコフ連鎖の断熱的挙動を保つことを証明し、実用的な遅延性能の向上と併せてスループット最適性を両立することを示している。

ABSTRACT

Recently, it has been shown that CSMA algorithms which use queue length-based link weights can achieve throughput optimality in wireless networks. In particular, a key result by Rajagopalan, Shah, and Shin (2009) shows that, if the link weights are chosen to be of the form log(log(q)) (where q is the queue-length), then throughput optimality is achieved. In this paper, we tighten their result by showing that throughput optimality is preserved even with weight functions of the form log(q)/g(q), where g(q) can be a function that increases arbitrarily slowly. The significance of the result is due to the fact that weight functions of the form log(q)/g(q) seem to achieve the best delay performance in practice.

研究の動機と目的

• log log(q) リンク重みを用いる既存のスループット最適CSMAアルゴリズムの劣悪な遅延性能を是正すること。
• スループット最適性を維持しつつ、実用的な遅延性能を向上させるCSMAアルゴリズムを設計すること。
• CSMAアルゴリズムで用いる重み関数を log log(q) を超えて、よりゆっくりと増加する関数へ一般化すること。
• g(q) が任意にゆっくりと増加する場合でも、重み log(q)/g(q) を用いたCSMAがスループット最適性を保つことを厳密に証明すること。
• 実世界の展開で観察されるこのような重み関数の優れた実用的性能を裏付ける理論的基盤を確立すること。

提案手法

• 妥当スケジューリングの集合上でGlauberダイナミクスに基づくCSMAアルゴリズムを提案し、リンク重みを log(q)/g(q) 形式で定義する。
• 下位のマコフ連鎖の遷移確率を定義するために、メトロポリス・ハスティングスサンプリング手法を用いる。
• スペクトルギャップと混合度の境界を用いて、マコフ連鎖の収束を分析し、迅速な混合を確立する。
• 時間的に変化するキュー長に対して、連鎖が平衡分布から大きく逸脱しないことを示すために、断熱的類似定理を適用する。
• 確率的近似と時間スケール分離の議論を用いて、アルゴリズムの安定性と性能を正当化する。
• ゲルシュゴリンの定理とスペクトルノルムの境界を用いて、マコフ連鎖のスペクトルギャップと混合時間の上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 log log(q) の代わりに log(q)/g(q) 形式の重み関数を用いる場合でも、スループット最適性が保たれるか？
• RQ2 g(q) がどれほどゆっくりと増加しても、CSMA マコフ連鎖の断熱的挙動が維持されるか？
• RQ3 重み関数の選択が、実用的なCSMAアルゴリズムの遅延性能に与える影響は何か？
• RQ4 断熱的マコフ連鎖の理論枠組みを、CSMAにおけるより一般的な重み関数へ拡張可能か？
• RQ5 スループット最適性と平衡分布への迅速な収束を両立させるために、重み関数に必要な条件は何か？

主な発見

• g(q) が任意にゆっくりと増加する場合でも、リンク重みが log(q)/g(q) 形式のCSMAアルゴリズムにおいてスループット最適性が保たれる。
• 下位のマコフ連鎖のスペクトルギャップはゼロから離れており、迅速な混合と定常分布への速やかな収束を保証する。
• 混合時間 T は 16N exp(4N w_max) で上界が与えられ、ネットワークサイズに対して多項式的依存を示す。
• 遷移行列のスペクトルノルム σ に対する上界は 1 − 1/(16N exp(4N w_max)) で与えられ、収束が速いことを保証する。
• 連続する定常分布間のドリフトは 2N f’(q* −1) で上界が与えられ、時間変動するキューに対して安定性解析が可能になる。
• 解析により、g(q) がゆっくりと増加してもアルゴリズムが断熱的性質を維持することが確認され、シミュレーションで観察される優れた遅延性能を裏付ける。