[論文レビュー] Stability of parallel queueing systems with coupled service rates

Sem Borst, Matthieu Jonckheere+1 more|Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands|Jan 10, 2010

Advanced Queuing Theory Analysis被引用数 3

ひとこと要約

本稿は、各キューのサービスレートがすべてのキューにおける合計ワークロードに依存する、サービスレートが結合された並列キューイングシステムの安定性に関する必要十分条件を確立する。マルチクラス出生死滅過程の確率的単調性およびマージナルドリフト解析を用いて、特にサービスレートが減少し、一様極限を持つシステムについて、安定性の鋭い特徴付けがなされ、安定性領域が凸でない可能性があることが示されている。

ABSTRACT

This paper considers a parallel system of queues fed by independent arrival streams, where the service rate of each queue depends on the number of customers in all of the queues. Necessary and sufficient conditions for the stability of the system are derived, based on stochastic monotonicity and marginal drift properties of multiclass birth and death processes. These conditions yield a sharp characterization of stability for systems, where the service rate of each queue is decreasing in the number of customers in other queues, and has uniform limits as the queue lengths tend to infinity. The results are illustrated with applications where the stability region may be nonconvex.

研究の動機と目的

• 状態依存サービスレートを有する並列キューイングシステムにおける正再帰性の必要十分条件を導出すること。
• サービスレートがすべてのキューのキュー長の総和に依存するシステムに、フォスター＝ライアプノフおよびフラッドリミット技法を拡張すること。
• 各キューのサービスレートが他のキューの顧客数に応じて減少するシステムにおける安定性を特徴付けること。
• 一部のキューが安定したまま残る部分的安定性を分析すること。
• このようなシステムにおける安定性領域が非凸である可能性を示し、古典的直観に反することを明らかにすること。

提案手法

• 著者らは、状態依存遷移レートを有する連続時間マルチクラス出生死滅過程としてシステムをモデル化する。
• 安定性解析のため、元のシステムとより単純で取り扱いやすいシステムとの間で確率的カップリング技術を適用する。
• 個々のキュー長の平均ドリフトに基づいて、完全なリャプノフ関数の構築を必要としないマージナルドリフト基準を導出する。
• キュー長が無限大に近づく際のサービスレート関数の一様極限を分析し、特に減少関数に対して有効に活用する。
• フラッドリミット近似および時間変更ポアソン過程に対する強大数法則を用いて、漸近的安定性の議論を支援する。
• 理論的結果は、非凸安定性領域を有するシステムを含む2つの具体的な応用事例を通じて検証される。

実験結果

リサーチクエスチョン

• RQ1 サービスレートが結合された並列キューイングシステムが正再帰であるのはどのような条件下か？
• RQ2 状態依存サービスレート、特に他のキューの長さに応じて減少するレートがシステムの安定性にどのように影響するか？
• RQ3 このようなシステムの安定性領域が非凸である可能性はあるか？ もしあるならば、その特徴付けはどのように行えるか？
• RQ4 無限大におけるサービスレートの一様極限が、システムの安定性を決定づける役割を果たすか？
• RQ5 完全なリャプノフ関数の構築を伴わずに、マージナルドリフト解析をどのようにして安定性条件を導出するのに用いることができるか？

主な発見

• マルチクラス出生死滅過程におけるマージナルドリフト特性および確率的単調性を用いて、安定性の必要十分条件が導出された。
• 他のキューの長さに応じて減少し、無限大における一様極限を持つシステムでは、安定性条件が鋭く、完全に特徴付け可能である。
• 安定性領域が非凸である可能性があり、これは従来のキューイングモデルにおける凸性仮定に反する。
• 本手法は、サービスレートがキューが空であるか否かにのみ依存する、最大3つのキューを有するシステムに適用可能であり、変換法およびエルゴード理論による既知の結果を回復する。
• 部分的安定性—すなわち、一部のキューのみが安定したまま残る状況—は、提案されたドリフト基準を用いて分析可能である。
• 修正版において、命題6の証明が是正され、安定性特徴付けの妥当性が保証された。