[論文レビュー] Scheduling with Service-Time Information: The Power of Two Priority Classes

Yan Chen, Jing Dong|arXiv (Cornell University)|Feb 16, 2021

Advanced Queuing Theory Analysis参考文献 27被引用数 7

ひとこと要約

本稿では、サービス時間の情報を用いる2クラス優先スケジューリングルールを提案し、単一およびマルチサーバーのキューにおいて近似的に最適な性能を達成する。サービス時間分布の尾部挙動に基づく閾値を用いてジョブを分類することで、不完全なサービス時間推定値がある場合でも、重交通下において最適な残り処理時間最短（SRPT）ポリシーに近いキュー長スケーリングを達成する。

ABSTRACT

Utilizing customers' service-time information, we study an easy-to-implement scheduling policy with two priority classes. By carefully designing the classes, the two-class priority rule achieves near-optimal performance. In particular, for a single-server queue, as the traffic intensity approaches 1, the policy achieves a scaling for the queue length processes that is similar to the shortest remaining processing time first policy. Our analysis quantifies how the tail of the service time distribution affects the benefits one can gain from service-time-based scheduling policies. When the service times are misspecified, we further quantify how imperfect observation of the service time affects the performance of the two-class priority rule through both theoretical and numerical analysis. Our results demonstrate the robustness of the two-class priority rule. Specifically, even with imperfect service-time information, the two-class priority rules can still achieve substantial performance improvement over the first come first served.

研究の動機と目的

• 重交通下のキューにおいて、サービス時間情報を活用することでシステム性能を著しく向上させる実用的なスケジューリングポリシーの設計。
• SRPTの実装課題（動的優先順位再割り当てやリアルタイムでのサービス時間アクセスの欠如）を解消するため、2クラス優先構造を提案すること。
• サービス時間分布の尾部挙動が、サービス時間に基づくスケジューリングによる性能向上に与える影響を定量化すること。
• 特にFCFSや他のベンチマークポリシーと比較して、サービス時間観測の誤差や誤指定に対する2クラスルールのロバスト性を評価すること。
• 単一サーバーからマルチサーバーのキューへの分析を拡張し、提案ポリシーのスケーラビリティを示すこと。

提案手法

• サービス時間の閾値に基づいて2つの優先度クラスを定義：閾値未満のジョブは高優先度、それ以外は低優先度とする。
• 各クラス内で非プリエンプティブかつFCFS方式を採用することで、実装の実用性と導入の容易性を確保する。
• 重交通下での最適性を保証するため、サービス時間分布の尾部累積分布関数（尾部CDF）に基づいて閾値を導出する。具体的には、$ K(\rho, F) = \bar{F}((1-\rho)^{-(1-\alpha)}) $ において $ \alpha = 0.05 $ を用いる。
• 状態空間収縮の議論を適用し、重交通（$ \rho \to 1 $）下でキュー長プロセスが低優先度クラスに支配され、その平均サービス時間がスケーリングを決定することを示す。
• 理論的重交通漸近解析を用いて、低優先度クラスの平均サービス時間が発散する場合、2クラスルールがSRPTと同等のキュー長スケーリングを達成することを確立する。
• 単一およびマルチサーバーのM/GI/1およびM/M/cキューにおいて、2クラスルールをFCFS、FB（フォアグラウンド・バックグラウンド）、SJF（最短ジョブ優先）と比較する数値実験を実施する。

実験結果

リサーチクエスチョン

• RQ1 単一サーバーのキューにおいて、重交通下で単純な2クラス優先ルールが、最適なSRPTポリシーに近い性能をどのように達成できるか？
• RQ2 2クラスにジョブを分類する最適な閾値は何か？ また、その閾値はサービス時間分布の尾部挙動にどのように依存するか？
• RQ3 サービス時間分布の尾部減衰率は、サービス時間に基づくスケジューリングによる性能向上にどのように影響するか？
• RQ4 サービス時間予測の誤差や誤指定に対して、2クラス優先ルールはどの程度ロバストか？
• RQ5 2クラスルールはマルチサーバーシステムでも優れた性能を発揮できるか？ また、スケーラビリティと実用性の観点から、SJFやFCFSと比較してどうなるか？

主な発見

• 重交通下において、2クラス優先ルールは、低優先度クラスの平均サービス時間が $ \rho \to 1 $ に伴い発散する場合、SRPTと漸近的に同等のキュー長スケーリングを達成する。
• 重尾型サービス時間分布（例：形状母数2.5のパレート分布）では、M/GI/1において $ \rho = 0.95 $ 時にFCFS（17.20）と比較して、2クラスルールは著しく低い定常平均キュー長（7.29）を達成する。
• ノイズのあるサービス時間予測（正規分布ノイズ $ \epsilon \sim N(0, 0.3^2) $）がある場合でも、2クラスルールはFCFSやFBを上回り、特に失敗率が増加する分布（例：Weibull(1.5,1.5)）ではFBがFCFSより劣る傾向にあるが、2クラスルールは依然として優れた性能を発揮する。
• マルチサーバーシステム（例：$ c=100 $）では、$ \rho = 0.99 $ 時にFCFSの186.4から2クラスルールで124.5に平均キュー長が低下し、SJFの114.5に近づく一方で、実装ははるかに容易である。
• 性能向上は、重交通下かつサービス時間分布が重尾型である場合に顕著であり、これは閾値が次第に長いジョブを低優先度クラスに分離するように設定されるためである。
• 本ポリシーはサービス時間の誤指定に対してもロバストである：ノイズのある予測でも、FCFSを著しく上回る性能を維持しており、実世界の環境における実用的妥当性を示している。