[論文レビュー] A Fast-CSMA Algorithm for Deadline-Constrained Scheduling over Wireless Fading Channels

Bin Li, Atilla Eryılmaz|arXiv (Cornell University)|Mar 13, 2012

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

ひとこと要約

本稿では、時間変動する無線 fading チャネル上でのデッドライン制約付きリアルタイムトラフィック向けに、分散型スケジューリングアルゴリズムである Fast-CSMA (FCSMA) を提案する。従来の CSMA がマコフ連鎖の混合時間に依存するのに対し、FCSMA は迅速に好ましいスケジュールに到達・維持することでスケジューリングを高速化し、デッドラインおよびドロップ率制約のもとで、最大満足可能集合内に含まれるすべてのリアルタイムトラフィックを最適にサポートする。

ABSTRACT

Recently, low-complexity and distributed Carrier Sense Multiple Access (CSMA)-based scheduling algorithms have attracted extensive interest due to their throughput-optimal characteristics in general network topologies. However, these algorithms are not well-suited for serving real-time traffic under time-varying channel conditions for two reasons: (1) the mixing time of the underlying CSMA Markov Chain grows with the size of the network, which, for large networks, generates unacceptable delay for deadline-constrained traffic; (2) since the dynamic CSMA parameters are influenced by the arrival and channel state processes, the underlying CSMA Markov Chain may not converge to a steady-state under strict deadline constraints and fading channel conditions. In this paper, we attack the problem of distributed scheduling for serving real-time traffic over time-varying channels. Specifically, we consider fully-connected topologies with independently fading channels (which can model cellular networks) in which flows with short-term deadline constraints and long-term drop rate requirements are served. To that end, we first characterize the maximal set of satisfiable arrival processes for this system and, then, propose a Fast-CSMA (FCSMA) policy that is shown to be optimal in supporting any real-time traffic that is within the maximal satisfiable set. These theoretical results are further validated through simulations to demonstrate the relative efficiency of the FCSMA policy compared to some of the existing CSMA-based algorithms.

研究の動機と目的

• 時間変動する無線 fading チャネル上でのデッドライン制約付きリアルタイムトラフィックをサポートする現行の CSMA に基づくアルゴリズムの限界を解消すること。
• デッドライン制約のもとで、ドロップ率およびチャネル統計の観点から、サポート可能なリアルタイムトラフィック特性の最大集合を同定すること。
• 従来の遅いマコフ連鎖の混合時間に依存しない分散スケジューリングポリシーを設計すること。代わりに、好ましいスケジュールへの迅速な吸収に焦点を当てる。
• 提案された FCSMA ポリシーが、同定された最大満足可能集合内に含まれるいかなるリアルタイムトラフィックに対しても最適であることを証明すること。

提案手法

• FCSMA は、従来の CSMA の遅い収束を回避するため、定常分布への到達ではなく、好ましいスケジュールへの迅速な吸収を標的とする。
• 安定性および性能バウンドを証明するために、キュー長およびチャネル状態情報を取り入れたドリフト関数を用いたライアプノフドリフト解析を採用する。
• バックログが大きく、チャネル状態が良好なリンクを即時送信の優先順位に置く、しきい値ベースのスケジューリングメカニズムを導入する。
• キューのバックログおよびチャネル状態に応じて送信確率を動的に調整することで、状態変化に迅速に対応する。
• 理論的分析では、性能指標として吸収時間を用いたマコフ連鎖モデルを用い、従来の CSMA が用いる混合時間とは対照的である。
• キューのバックログを表す関数 $ g(X_l) $ の使用が重要な要素であり、正再帰性および安定性を保証するドリフトバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 時間変動するチャネル上での厳密なデッドラインおよび長期的なドロップ率制約のもとで、サポート可能なリアルタイムトラフィック到着プロセスの最大集合は何か？
• RQ2 分散型スケジューリングアルゴリズムは、遅いマコフ連鎖の混合時間に依存せずに、デッドライン制約付きフローの低遅延を実現できるか？
• RQ3 時間変動するチャネル状態下でも、1時間単位のデッドライン内にパケットを処理することができるように、CSMAに基づくポリシーを設計できるか？
• RQ4 定常状態への収束を避けて迅速なスケジュール選択に焦点を当てる分散アルゴリズムに対して、どのような性能保証を提供できるか？
• RQ5 現実的なフェーディングおよびデッドライン制約下で、FCSMA ポリシーは既存の CSMA に基づくアルゴリズムと比較して遅延およびスループットの点で優れているか？

主な発見

• FCSMA ポリシーは、デッドラインおよびドロップ率制約のもとで、最大満足可能集合内に含まれるいかなるリアルタイムトラフィックに対しても最適であることが証明されている。
• 好ましいスケジュールへの吸収時間を最小化することで最適な性能を達成しており、これは従来の CSMA が混合時間に依存するのに対し、遅延の面で顕著な優位性を示す。
• 理論的分析により、FCSMA によって誘導されるマコフ連鎖は正再帰的であることが示され、長期的な安定性およびバウンド付きキュー長を保証する。
• シミュレーション結果により、FCSMA が、デッドライン制約付きトラフィック下で、既存の CSMA に基づくアルゴリズムよりも遅延およびドロップ率性能で優れていることが検証された。
• ドリフト解析により、期待キューのバックログが有界であり、$ rac{1}{T} o rac{E}{ ilde{ heta}} < ilde{ heta} $ であることが確認され、平均における安定性が示された。
• 性能向上の要因は、定常状態への収束（混合時間）から吸収時間へのシフトに起因しており、1時間単位のデッドライントラフィックにおいては、著しく高速である。