[論文レビュー] Robust Scheduling for Flexible Processing Networks

Ramtin Pedarsani, Jean Walrand+1 more|arXiv (Cornell University)|Oct 12, 2016

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

ひとこと要約

本稿では、到着率やサービス率の事前知識に依存せずに、キュー長の変化に基づく確率的勾配射影を用いて動的にサービス容量を割り当てる、柔軟な処理ネットワーク向けのロバストスケジューリングフレームワークを提案する。この手法は、弱い仮定のもとで柔軟なフォーク・ジョインネットワークおよびキューイングネットワークにおいてレート安定性を保証し、リアルタイムのキュー状態情報のみを用いて最適なリソースバランスを達成する。

ABSTRACT

Modern processing networks often consist of heterogeneous servers with widely varying capabilities, and process job flows with complex structure and requirements. A major challenge in designing efficient scheduling policies in these networks is the lack of reliable estimates of system parameters, and an attractive approach for addressing this challenge is to design robust policies, i.e., policies that do not use system parameters such as arrival and/or service rates for making scheduling decisions. In this paper, we propose a general framework for the design of robust policies. The main technical novelty is the use of a stochastic gradient projection method that reacts to queue-length changes in order to find a balanced allocation of service resources to incoming tasks. We illustrate our approach on two broad classes of processing systems, namely the flexible fork-join networks and the flexible queueing networks, and prove the rate stability of our proposed policies for these networks under non-restrictive assumptions.

研究の動機と目的

• 大規模な処理ネットワーク（データセンター、医療システム、製造ラインなど）において、到着率やサービス率といった信頼性の低いまたは未知のシステムパラメータの問題に対処すること。
• 推定されたパラメータに依存せず、観測可能なシステム状態（例：キュー長）にのみ依存するスケジューリングポリシーの設計により、適応性とロバスト性を向上させること。
• 重複するサーバー機能と相互依存するタスクワークフローを持つ柔軟な処理ネットワークに一般に適用可能な、一般化されたパラメータフリーのフレームワークの開発。
• 制限のない仮定のもとで、提案されたポリシーのレート安定性を証明し、長期的なシステム効率性とスケーラビリティを保証すること。

提案手法

• 時間間隔ごとのキュー長の変化に基づいてサービス割り当てを更新する確率的勾配射影法を用いる。
• 再帰的更新ルールを適用：$ p^{n+1} = [p^n + \beta^n \tilde{E}^n (I - R^T)^{-1} \Delta Q^n]_{\mathcal{C}_{\varepsilon_0}} $、ここで $ \tilde{E}^n $ は非空キューを示す。
• キュー長の変化 $ \Delta Q^n $ を用いて、有効サービスと需要の不均衡を推定する。これは、$ Q_k^n > 0 $ のとき、$ \nu_k - \mu_k p_k^n $ の不偏推定量として機能する。
• 安定性の維持と収束の保証のため、実行可能集合 $ \mathcal{C}_{\varepsilon_0} $ への射影を実装する。
• ルーティング行列 $ R $ および $ (I - R^T)^{-1} $ の構造を活用して、ネットワーク全体にわたるキュー変化を伝搬させ、フロー不均衡を推定する。
• 到着率、サービス率、ルーティング確率に依存せず、現在および過去のキュー長にのみ依存する。

実験結果

リサーチクエスチョン

• RQ1 柔軟な処理ネットワークにおいて、到着率やサービス率の知識がなくてもシステム安定性を保証するスケジューリングポリシーを設計できるか。
• RQ2 キュー長の観測のみを用いて、競合するキュー間でサービス容量を適応的に割り当てることは可能か。
• RQ3 確率的勾配に基づくポリシーが、柔軟なフォーク・ジョインネットワークおよびキューイングネットワークでバランスの取れた割り当てに収束するための条件は何か。
• RQ4 サービス率が未知または時間的に変化する場合でも、ローカルなキュー状態情報のみを用いてレート安定性を達成することは可能か。
• RQ5 提案された手法は、要因分解不可能なサービス率または非協力的サーバーを有するネットワークに一般化可能か。

主な発見

• 提案されたロバストスケジューリングポリシーは、サービス割り当てベクトル $ p^n $ が最適割り当て $ p^* = \nu_k / \mu_k $ にほとんど確実に収束することを保証し、ネットワーク全体のフロー需要をバランスさせる。
• 柔軟なキューイングネットワークは、提案されたポリシーのもとでレート安定性を達成する。つまり、すべてのキュー $ k $ に対して $ \lim_{n \to \infty} \frac{Q_k^n}{n} = 0 $ が成り立ち、キュー長が非線形に増加することを示す。
• アルゴリズムは、フロー不均衡を推定するために、キュー長の変化 $ \Delta Q^n $ とルーティング構造 $ R $ のみを用いるため、完全に適応的かつパラメータフリーである。
• $ \tilde{E}^n $ の使用により、更新が非空キューにのみ適用されるため、勾配推定量の不偏性が保たれる。
• ステップサイズ列 $ \beta^n $ に対する弱い条件のもとで、収束性および安定性の結果が成り立つ。システムパラメータの知識は不要である。
• このフレームワークは一般性を有し、クラウドコンピューティング、製造、医療システムなど、複雑なタスク依存関係とリソースの柔軟性を有する広範なクラスの処理ネットワークに適用可能である。