[論文レビュー] Stability of Finite Population ALOHA with Variable Packets

Predrag R. Jelenković, Jian Tan|ArXiv.org|Feb 25, 2009

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

ひとこと要約

本稿は、変動サイズ（指数分布）のパケットを有する有限ユーザ数のALOHA MACプロトコルにおける伝送遅延の分布的挙動を調査し、衝突ダイナミクスに起因してパワー則の遅延が生じることを明らかにした。その結果、有限系であってもスループットがゼロになる可能性が生じる。主な貢献は、パケットおよびバックオフ分布の尾部挙動に基づく新しい安定性条件であり、この系では平均値に基づく分析が誤解を招く可能性があることを示している。

ABSTRACT

ALOHA is one of the most basic Medium Access Control (MAC) protocols and represents a foundation for other more sophisticated distributed and asynchronous MAC protocols, e.g., CSMA. In this paper, unlike in the traditional work that focused on mean value analysis, we study the distributional properties of packet transmission delays over an ALOHA channel. We discover a new phenomenon showing that a basic finite population ALOHA model with variable size (exponential) packets is characterized by power law transmission delays, possibly even resulting in zero throughput. These results are in contrast to the classical work that shows exponential delays and positive throughput for finite population ALOHA with fixed packets. Furthermore, we characterize a new stability condition that is entirely derived from the tail behavior of the packet and backoff distributions that may not be determined by mean values. The power law effects and the possible instability might be diminished, or perhaps eliminated, by reducing the variability of packets. However, we show that even a slotted (synchronized) ALOHA with packets of constant size can exhibit power law delays when the number of active users is random. From an engineering perspective, our results imply that the variability of packet sizes and number of active users need to be taken into consideration when designing robust MAC protocols, especially for ad-hoc/sensor networks where other factors, such as link failures and mobility, might further compound the problem.

研究の動機と目的

• 有限ユーザ数のALOHAにおける伝送遅延の分布的性質を分析し、従来の平均値ベースのスループット分析を越えること。
• パケットサイズのばらつきおよびランダムなユーザ活動が、システムの安定性および遅延分布に与える影響を調査すること。
• 有限ユーザ数のALOHAシステムが、ユーザ数が有限であってもスループットがゼロとなる条件を特定すること。
• 平均値ではなく、パケットおよびバックオフ分布の重い尾部挙動に基づく、新しい安定性基準を構築すること。

提案手法

• 同分布の指数分布に従うパケットサイズおよび指数分布に従うバックオフ時間を持つ有限ユーザ数のALOHAモデルを分析する。
• 再生理論および尾確率解析を用いて、再送回数および成功送信間隔の漸近的分布を導出する。
• 定理III.1で新規な安定性条件を導入し、パケットサイズ分布の指数的減衰率がバックオフパラメータおよび到着率に対して相対的に小さい場合にゼロスループットが生じうることを示す。
• 確率的カップリングおよびモーメント母関数技術を用いて尾確率を評価し、遅延分布におけるパワー則の挙動を確立する。
• 大偏差型の議論を適用し、長時間遅延イベントの確率が指数的ではなく、パワー則に従って減少することを示す。
• ランダムなユーザ数を有するスロット型ALOHAに拡張し、定数サイズパケットであってもパワー則の遅延が継続することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限ユーザ数のALOHAシステムで、変動サイズパケットを有する場合にパワー則の遅延分布が生じる条件は何か？
• RQ2 有限ユーザ数および指数分布バックオフを有するシステムが、古典的仮定に反してゼロスループットを示すことは可能か？
• RQ3 パケットおよびバックオフ分布の尾部挙動は、それらの平均値とは独立して、システム安定性にどのように影響するか？
• RQ4 すべての入力分布（パケット、バックオフ）が軽尾分布であるにもかかわらず、パワー則の遅延がなぜ生じるのか？
• RQ5 パケットサイズのばらつきを低減することで、ALOHAシステムにおけるパワー則の遅延をどの程度軽減できるか？

主な発見

• 変動サイズパケットを有する有限ユーザ数のALOHAでも、再送回数および成功送信間隔の両方がパワー則の分布に従う。
• 定理III.1で新しい安定性条件が導出され、パケットサイズ分布の指数的減衰率がバックオフパラメータおよび到着率よりも小さい場合にゼロスループットが生じうることが示された。
• 定数サイズパケットであっても、アクティブユーザ数が幾何分布に従う場合、スロット型ALOHAはパワー則の遅延を示すことがある。
• パワー則の指数が2未満の場合、遅延の分散が無限大となり、極端な混雑と不安定性が生じる可能性がある。
• パワー則現象は、パケットのばらつきと衝突に起因する再送の共同効果に起因し、重い尾部の入力分布単体によるものではない。
• 結果として、従来の平均値ベースのスループット解析では、アドホックおよびセンサーネットワークにおける堅牢なMACプロトコル設計が不十分であることが示唆される。