[論文レビュー] Distributed Random Access Algorithm: Scheduling and Congesion Control

Libin Jiang, Devavrat Shah+2 more|ArXiv.org|Jul 7, 2009

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

ひとこと要約

本稿では、キューのバックログに基づく局所的なバックオフパラメータを用いて、送信のスケジューリングと混雑制御を統合的に制御する分散型ランダムアクセスアルゴリズムを提案する。時間変動するアクセス確率と確率的近似技術を用いたCSMAベースの手法を採用し、厳密に実行可能な到着レート下でのスケジューリングにおけるレート安定性と、ユーティリティ最大化混雑制御におけるε-最適性を証明する。

ABSTRACT

This paper provides proofs of the rate stability, Harris recurrence, and epsilon-optimality of CSMA algorithms where the backoff parameter of each node is based on its backlog. These algorithms require only local information and are easy to implement. The setup is a network of wireless nodes with a fixed conflict graph that identifies pairs of nodes whose simultaneous transmissions conflict. The paper studies two algorithms. The first algorithm schedules transmissions to keep up with given arrival rates of packets. The second algorithm controls the arrivals in addition to the scheduling and attempts to maximize the sum of the utilities of the flows of packets at the different nodes. For the first algorithm, the paper proves rate stability for strictly feasible arrival rates and also Harris recurrence of the queues. For the second algorithm, the paper proves the epsilon-optimality. Both algorithms operate with strictly local information in the case of decreasing step sizes, and operate with the additional information of the number of nodes in the network in the case of constant step size.

研究の動機と目的

• 無線ネットワークにおける完全分散型アルゴリズムを設計し、スケジューリングでスループット最適性を達成するとともに、混雑制御下でほぼ最適なユーティリティ配分を実現すること。
• 大規模ネットワークにおけるマックスウェイトスケジューリングの実装の課題に対処し、中央集権的計算を局所的で適応的なアクセス確率に置き換えること。
• キューのバックログに依存するバックオフパラメータを有するCSMAベースのアルゴリズムが、局所的情報と確率的近似のみを用いて、レート安定性とε-最適性を保証することを証明すること。
• 固定された衝突グラフを有するネットワークにおける分散型ランダムアクセスプロトコルに対して、理論的保証（レート安定性とハリス再帰性）を確立すること。
• ノードが凹関数を有するユーティリティ関数を持つ場合でさえ、ネットワーク全体の情報が限られている状況でも、アルゴリズムがほぼ最適なユーティリティ配分を達成できることを示すこと。

提案手法

• 各ノードが自らのキューのバックログに応じてバックオフパラメータを調整するCSMAベースのランダムアクセスプロトコルを用い、分散動作を実現する。
• 収束と安定性を保証するため、確率的近似フレームワークにおいて時間変動するステップサイズを採用し、リャプノフ関数解析を用いて収束を証明する。
• 重み付きキュー長を反映するスケジューリング意思決定を生成するために、メトロポリス＝ハスティングスサンプリングにインspiredされた可逆マルコフ連鎖モデルを適用する。
• 二段階のアルゴリズムを導入：外部到着に対してレート安定なスケジューリングのための段階と、内生的レート制御を伴うユーティリティ最大化混雑制御のための段階。
• 実測サービスレート（bsi(j)）を期待サービスレート（si(r(j)))）と比較し、推定誤差をバインドして収束を保証する。
• 混合時間解析とエントロピーに基づくバインドを活用して、実測と期待サービスレートの乖離を制御し、バウンデッドキュー状態下での安定性を確保する。

実験結果

リサーチクエスチョン

• RQ1 局所的情報のみを用いて、厳密に実行可能な到着レート下でスケジューリングのレート安定性を達成できる分散型ランダムアクセスアルゴリズムは存在するか？
• RQ2 バックログに依存するバックオフパラメータを有するCSMAベースのアルゴリズムは、フローファイル制御におけるユーティリティ最大化でε-最適性を達成できるか？
• RQ3 グローバルな調整や中央集権的計算なしに、最大ウェイトスケジューリングポリシーをどのように近似できるか？
• RQ4 サービスレートの推定誤差がアルゴリズムの収束性と安定性に与える影響は何か？
• RQ5 時間変動するステップサイズを有する局所的で適応的なアルゴリズムは、確率的ネットワーク環境下で安定性とほぼ最適性の両方を達成できるか？

主な発見

• アルゴリズムは、すべての厳密に実行可能な到着レートに対してレート安定性を達成し、キュー長が時間とともに無制限に増大しないことを保証する。
• システムはハリス再帰性を示し、すべてのキューが確率1で無限回にわたって有界状態に戻ることを意味する。
• 混雑制御バージョンでは、アルゴリズムがユーティリティ最大化においてε-最適性を達成し、フローレートの平均ユーティリティが最適値からε以内に収束する。
• 時間変動するステップサイズを用いた確率的近似フレームワークにより、ε-最適性への収束が証明され、平均フローレートがほとんど確実に収束する。
• 混合時間とエントロピーの議論を用いて、実測と期待サービスレートの推定誤差がバインドされ、アルゴリズムの安定性と正確性が保証される。
• ステップサイズが時間とともに減少する間は、アルゴリズムは完全に局所的情報のみを用いて動作するが、ステップサイズが定数の場合はノード総数の知識が必要となる。