[論文レビュー] Steady-State Analysis of Load Balancing with Coxian-$2$ Distributed Service Times

Xin Liu, Kang Gong+1 more|arXiv (Cornell University)|May 20, 2020

Advanced Queuing Theory Analysis参考文献 23被引用数 9

ひとこと要約

本稿は、重交通下におけるコーシャン-2分布に従うサービス時間を持つ大規模な多数サーバーシステムにおける負荷分散を分析し、反復的状態空間縮小（SSC）とシュタインの方法を用いて、JSQ、JIQ、I1F、およびパワー・オブ・dといった古典的ポリシーが漸近的にゼロの待機時間を達成することを証明する。主な貢献は、非指数型サービス時間分布における単調性の欠如に起因する課題を克服するための、新規の反復的SSCアプローチであり、これにより非単調な分布に対しても正確な定常状態近似が可能となる。

ABSTRACT

This paper studies load balancing for many-server ($N$ servers) systems. Each server has a buffer of size $b-1,$ and can have at most one job in service and $b-1$ jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is $λ= 1 - N^{-α}$ for $0

研究の動機と目的

• コーシャン-2サービス時間を持つ大規模な多数サーバーシステムにおける負荷分散ポリシーの定常状態性能を調査すること。
• コーシャン-2分布が減少するハザードレート（DHR）を欠如するため、単調性の欠如に起因する分析の課題に対処すること。
• 定常状態において負荷分散ポリシーが漸近的にゼロの待機時間を達成するための条件を確立すること。
• 非単調なシステムを対象とする新しい解析フレームワーク（反復的状態空間縮小とシュタインの方法）を構築すること。
• 指数型サービス時間分布に関する先行研究を、コーシャン-2のようなより一般かつ現実的なサービス時間分布へと拡張すること。

提案手法

• システム状態のフロイド近似からの期待偏差を制限するためのシュタインの方法を適用し、定常状態解析を可能にする。
• システムのダイナミクスに基づいて段階的に状態空間を縮小する反復的状態空間縮小（SSC）技術を導入する。
• 1つの状態次元ずつに焦点を当てて解析を簡素化するため、類似リャプノフ関数を用いて反復的縮小を誘導する。
• S₁,₁およびS₁,₂などの主要な状態変数が定常状態でより小さな部分空間へと縮小されることを確立し、フロイド近似が有効であることを示す。
• コーシャン-2分布の構造的性質（第1段階のサービス遷移、第1段階の開始ルールなど）を活用して、状態の進化を制限する。
• 生成子近似と確率的バウンドを組み合わせ、フロイド近似の誤差を定量的に評価し、期待待機時間に対するタイトな上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的負荷分散ポリシーは、コーシャン-2サービス時間分布のもとで漸近的にゼロの待機時間を達成できるか？
• RQ2 DHRでないサービス時間分布を有するような単調性の欠如するシステムでは、定常状態性能をどのように分析できるか？
• RQ3 多数サーバーシステムにおける定常状態待機時間のタイトなバウンドを導出可能にする解析フレームワークは何か？
• RQ4 反復的状態空間縮小は、フェーズ型サービス時間を持つ複雑なキューイングシステムの解析を簡略化するために利用可能か？
• RQ5 パワー・オブ・dにおけるサンプリングサーバー数dにどのような条件を課すことで、重交通下でゼロ待機が達成できるか？

主な発見

• JSQ、JIQ、I1F、およびd = O(N^α log N)のパワー・オブ・dポリシーは、λ = 1 - N^(-α)（0 < α < 0.5）の重交通下で漸近的にゼロの待機時間を達成する。
• しきい値ηを超える1サーバーあたりのジョブ数の期待最大値はO(1/(√N log N))で有界であり、これはNが大きくなるにつれて待機時間が無視可能になることを示唆する。
• 反復的状態空間縮小アプローチにより、システム状態がフロイド近似が有効となる低次元部分空間に成功して縮小された。
• 本手法により、非単調なシステムにおいてシュタインの方法を厳密に適用可能とし、DHR特性に依存する従来の手法の制限を克服した。
• 期待待機時間のバウンドはE[max{∑Sᵢ - η, 0}] ≤ 7μ_max / (√N log N)として導出され、Nが増加するにつれて0に収束する。
• 解析により、コーシャン-2分布のフェーズ構造が効果的な状態縮小を可能にし、より複雑なフェーズ型分布とは異なり、このような縮小が確立されやすいことが明らかになった。