[論文レビュー] MaxWeight Scheduling: Asymptotic Behavior of Unscaled Queue-Differentials in Heavy Traffic

Rahul Singh, Alexander Stolyar|arXiv (Cornell University)|Feb 12, 2015

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

ひとこと要約

この論文は、重交通下における一般化されたスイッチモデルにおけるMaxWeightスケジューリングを分析し、非スケーリングされたキュー微分プロセスが定常状態で正再発的マルコフ連鎖に収束することを証明する。これは、システム負荷が容量に近づいても個々のフローにおけるサービスの大きなギャップが生じない、漸近的滑らかさを示唆する。

ABSTRACT

The model is a "generalized switch", serving multiple traffic flows in discrete time. The switch uses MaxWeight algorithm to make a service decision (scheduling choice) at each time step, which determines the probability distribution of the amount of service that will be provided. We are primarily motivated by the following question: in the heavy traffic regime, when the switch load approaches critical level, will the service processes provided to each flow remain "smooth" (i.e., without large gaps in service)? Addressing this question reduces to the analysis of the asymptotic behavior of the unscaled queue-differential process in heavy traffic. We prove that the stationary regime of this process converges to that of a positive recurrent Markov chain, whose structure we explicitly describe. This in turn implies asymptotic "smoothness" of the service processes.

研究の動機と目的

• MaxWeightスケジューリングが、重交通下でも個々のフローに対して滑らかなサービスプロセスを維持し、大きなサービスギャップを生じさせないかを調査すること。
• 重交通領域における非スケーリングされたキュー微分プロセスの漸近的挙動を分析すること。
• キュー微分プロセスの定常分布が、正再発的マルコフ連鎖の分布に収束することを確立すること。
• この収束が、システム負荷が容量に近づいても長時間にわたるサービスギャップの不在を示すこと。
• 完全リソースプール（CRP）の場合に限らない、多次元正規錐を持つ一般のレート領域境界への結果の拡張すること。

提案手法

• 絶対連続性の確保のため、離散時間、確率的サービス結果と連続的到着プロセスを用いた一般化されたスイッチモデルを定式化する。
• キュー微分プロセス $\bm{Y}^{(n)}(t)$ を、臨界負荷点 $\bm{\lambda}^\star$ における正規錐 $\bm{\nu}$ に直交する部分空間 $\bm{\nu}_{\perp}$ への重み付きキュー長の射影として定義する。
• システム負荷 $\lambda^{(n)} \to \lambda^\star$ の下で、$\bm{Y}^{(n)}(\cdot)$ の定常分布の弱収束を、極限マルコフ過程 $\bm{Y}^\star(\cdot)$ に用いる。
• タイトネスの議論とNummelin分割を用いて、極限過程 $\bm{Y}^\star(\cdot)$ の正ハラス再発的性を証明する。
• 共通の確率空間上の結合を用いて、累積サービスプロセス $\bm{G}^{(n)}(T)$ が $\bm{G}^\star(T)$ にほとんど確実に収束することを確立する。
• CRPを超える一般化のため、$\bm{x}_{\perp,sp}$ を $\bm{\nu}_{\perp}$ への直交射影として導入し、$h(\bm{Q}^{(n)}(\infty)) \to \infty$ が確率的に成り立つことを示して意思決定の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 MaxWeightスケジューリングは、重交通下でも個々のフローに対して、大きなギャップなしに滑らかなサービスプロセスを維持するか？
• RQ2 システム負荷が容量に近づく際の非スケーリングキュー微分プロセス $\bm{Y}^{(n)}$ の漸近的挙動は何か？
• RQ3 キュー微分プロセスの定常分布は、重交通極限で正再発的マルコフ連鎖の分布に収束するか？
• RQ4 正規錐が一次元であるCRPケースを超えて、解析はどのように拡張されるか？
• RQ5 極限サービスプロセス $\bm{G}^\star(T)$ が任意に長い区間で停止し続ける確率がゼロであることを示せるか？

主な発見

• 非スケーリングキュー微分プロセス $\bm{Y}^{(n)}$ の定常分布は、重交通極限で正再発的マルコフ連鎖 $\bm{Y}^\star(\cdot)$ の分布に弱収束する。
• 極限過程 $\bm{Y}^\star(\cdot)$ は正ハラス再発的であり、エルゴドリシティと一意な定常分布の存在を保証する。
• この $\bm{Y}^\star(\cdot)$ に対応する累積サービスプロセス $\bm{G}^\star(T)$ は、$\max_i \lim_{T\to\infty} P(G^\star_i(T) = 0) = 0$ を満たし、漸近的滑らかさを証明する。
• 共通の確率空間上の結合を用いて、収束 $\bm{G}^{(n)}(T) \to \bm{G}^\star(T)$ はほとんど確実に成立する。
• $\bm{x}_{\perp,sp}$ を用いて非CRPケースに一般化し、$h(\bm{Q}^{(n)}(\infty)) \to \infty$ が確率的に成り立つことを示して、意思決定が臨界面 $\bm{V}^\star$ 内に留まることが保証される。
• 主な技術的ステップは、[3]の議論を多次元正規錐に拡張した一般化されたバージョンを用いて、定常分布のタイトネスを証明することである。