[論文レビュー] Stability Region of a Slotted Aloha Network with K-Exponential Backoff

Farzaneh Farhadi, Farid Ashtiani|arXiv (Cornell University)|Jun 17, 2014

Wireless Networks and Protocols参考文献 11被引用数 4

ひとこと要約

本論文は、K-指数分布バックオフを用いたスロットドAlohaネットワークの安定性領域を近似するため、関連する非生起死滅（QBD）過程を用いた新しい行列的モデリング手法を提案する。各ノードのマルコフ連鎖に他のノードの状態とバックオフ段階を埋め込むことで、キューの相互作用とバックオフに起因する記憶効果を捉え、安定性領域の近似を実現した。その結果、2ノードネットワークでは指数分布バックオフが安定性領域を40％以上拡大し、対称的な4ノードネットワークでは集中型スケジューリング性能に近づくことが示された。

ABSTRACT

Stability region of random access wireless networks is known for only simple network scenarios. The main problem in this respect is due to interaction among queues. When transmission probabilities during successive transmissions change, e.g., when exponential backoff mechanism is exploited, the interactions in the network are stimulated. In this paper, we derive the stability region of a buffered slotted Aloha network with K-exponential backoff mechanism, approximately, when a finite number of nodes exist. To this end, we propose a new approach in modeling the interaction among wireless nodes. In this approach, we model the network with inter-related quasi-birth-death (QBD) processes such that at each QBD corresponding to each node, a finite number of phases consider the status of the other nodes. Then, by exploiting the available theorems on stability of QBDs, we find the stability region. We show that exponential backoff mechanism is able to increase the area of the stability region of a simple slotted Aloha network with two nodes, more than 40\%. We also show that a slotted Aloha network with exponential backoff may perform very near to ideal scheduling. The accuracy of our modeling approach is verified by simulation in different conditions.

研究の動機と目的

• K-指数分布バックオフを用いたスロットドAlohaネットワークにおける安定性領域の解析的特徴付けの欠如、特に複雑なキュー相互作用と記憶効果の影響を解消するため。
• 指数分布バックオフが引き起こす動的送信確率と状態依存性を捉える、取り扱い可能な解析的モデルの構築を目的とする。
• 一般の到着プロセス（ベルヌーイ分布およびD-MAPを含む）を想定した有限ノードネットワークにおける、近似だが高精度な安定性領域の提供。
• バックオフの有無を比較することで、指数分布バックオフによる性能向上を安定性領域および飽和スループットの観点から評価。
• さまざまなネットワークサイズおよび構成において、広範なシミュレーションを通じてモデルの正確性を検証。

提案手法

• 各ノードの状態をQBD過程としてモデル化し、フェーズ空間に他のすべてのノードのキュー状態とバックオフ段階を含める。
• 遷移レート行列を個々のノード行列とバックオフ状態遷移行列のクロネッカー積分解を用いて表現する。
• 既知のQBD過程の安定性に関する定理を適用し、ネットワークキューが正再帰的であるための条件を導出する。
• 飽和ノードの影響を分離し、安定性解析を簡素化するため、レート同等ネットワークモデルを導入する。
• 到着プロセス統計が安定性領域の決定に不要であることを示すことにより、D-MAP（マーカフ変調到着プロセス）を扱えるようにモデルを一般化する。
• 辞書的状態順序付けと状態マッピングを用いて、元のシステムとレート同等モデルを関連付け、解析の取り扱いやすさを実現する。

実験結果

リサーチクエスチョン

• RQ1 複雑なキュー相互作用と記憶効果が存在するにもかかわらず、K-指数分布バックオフを用いた有限ノードスロットドAlohaネットワークの安定性領域をどのように解析的に近似できるか？
• RQ2 古典的スロットドAloha（バックオフなし）と比較して、K-指数分布バックオフは安定性領域をどの程度改善するか？
• RQ3 提案されたQBDベースのモデルは、対称的および非対称ネットワークにおける指数分布バックオフの性能を正確に予測できるか？
• RQ4 飽和スループットの観点から、指数分布バックオフは分散型ランダムアクセスプロトコルを集中型スケジューリング性能にどの程度近づけるか？
• RQ5 D-MAPのようなベルヌーイ分布でない到着プロセスに一般化された場合でも、モデルの正確性は維持されるか？

主な発見

• 2ノードスロットドAlohaネットワークにおいて、指数分布バックオフは古典的スロットドAlohaと比較して安定性領域を40％以上拡大する。
• 対称的な4ノードネットワークにおいて、K=2のK-指数分布バックオフは、最大合計飽和スループットを約100％向上させ、集中型スケジューリングの最適性能に近づく。
• さまざまなネットワークサイズおよびバックオフパラメータにおいて、シミュレーションとの比較を通じて、提案されたQBDベースのモデルは高い正確性を示す。
• 従来のモデルが取り扱えなかった、指数分布バックオフが引き起こす記憶効果と状態依存送信確率を、この手法は的確に捉えている。
• 到着プロセスの統計パラメータを明示的に知る必要がないにもかかわらず、D-MAP到着プロセスに一般化しても安定性領域の近似は正確に保たれる。
• このモデルにより、マルチノード環境において従来の確率的優位性や支配的システム手法に起因する制限を克服した、タイトな安定性領域の内包境界が導出可能である。