[論文レビュー] Exact Solutions for M/M/c/Setup Queues

Tuan Phung-Duc|arXiv (Cornell University)|Jun 12, 2014

Advanced Queuing Theory Analysis参考文献 24被引用数 4

ひとこと要約

本稿では、生成関数法と行列解析的手法の2つのアプローチを用いて、ON-OFFサーバー活性化方針を採用する M/M/c/Setup キューの連合定常キュー長分布に対する正確な解析的解を提示する。生成関数、階乗モーメント、条件付き分解の閉形式表現を導出するとともに、O(c²)の複雑度を持つ効率的な再帰的アルゴリズムを提供し、データセンタにおけるパワーパフォーマンスのトレードオフに関する深い洞察をもたらす。

ABSTRACT

Recently multiserver queues with setup times have been extensively studied because they have applications in power-saving data centers. The most challenging model is the M/M/$c$/Setup queue where a server is turned off when it is idle and is turned on if there are some waiting jobs. Recently, Gandhi et al.~(SIGMETRICS 2013, QUESTA 2014) present the recursive renewal reward approach as a new mathematical tool to analyze the model. In this paper, we derive exact solutions for the same model using two alternative methodologies: generating function approach and matrix analytic method. The former yields several theoretical insights into the systems while the latter provides an exact recursive algorithm to calculate the joint stationary distribution and then some performance measures so as to give new application insights.

研究の動機と目的

• ON-OFF方針を採用する M/M/c/Setup キューにおける連合定常キュー長分布の正確な閉形式解を導出すること。
• モデルを解くために生成関数法と行列解析的手法の2つの解析的手法を比較・対比すること。
• トラフィックおよびセットアップパラメータの変動下における、消費電力、スイッチングレート、システム動作に関するパフォーマンスの洞察を提供すること。
• 従来の再帰的報酬還元法と比較して、両手法の同等性および計算上の利点を確立すること。

提案手法

• 連合定常分布、生成関数、任意の順序の階乗モーメントの正確な表現を導出する生成関数法を採用する。
• レート行列（R）および最初の通過確率行列（G）に基づく明示的な再帰的アルゴリズムを構築する行列解析的手法を用い、効率的な計算を可能にする。
• 関連するマコフ連鎖の非一様部分の特別な構造を活用し、生成関数法では計算複雑度を O(c²)、行列解析的手法では O(c³) に低減する。
• 条件付き分解を適用して、キュー長分布の構造的性質を明らかにする。
• 解析的および数値的比較を通じて、両手法の同等性を検証する。
• スイッチングしきい値ベースのポリシーおよび固定オンサーバー構成などの変種モデルに対しても、フレームワークを適応可能にする。

実験結果

リサーチクエスチョン

• RQ1 生成関数を用いて、ON-OFF方針を採用する M/M/c/Setup キューにおける連合定常キュー長分布を正確に解く方法は何か？
• RQ2 行列解析的手法は、従来の再帰的報酬還元法と比較して、計算複雑度および数値的効率性においてどの程度優れているか？
• RQ3 ON-OFF方針下で、トラフィック強度 ρ およびセットアップレート α が消費電力とスイッチングレート E[Sr] に与える影響は何か？
• RQ4 総コストの観点で、ON-OFF方針が ON-IDLE 方針を上回るパrameter領域はどのようなものか？
• RQ5 提案された手法は、しきい値ベースや固定オンサーバーポリシーなどの他の変種に拡張可能か？

主な発見

• 生成関数法により、連合定常キュー長分布、生成関数、任意の順序の階乗モーメントの正確な閉形式表現が得られた。
• 行列解析的手法により、O(c³)の複雑度を持つ効率的な再帰的アルゴリズムが提供され、パフォーマンス指標の正確な計算が可能となった。
• セットアップコスト比 rs = Cs/Ca が臨界閾値 rρ よりも低い場合、ON-OFF方針は総コストの観点で ON-IDLE 方針を上回る。この臨界閾値 rρ はトラフィック強度 ρ が増加するにつれて減少する。
• スイッチングレート E[Sr] は、軽負荷時において ρ が増加すると増加するが、重負荷時では減少する。これは極端なトラフィック状態で最適なパフォーマンスを示すことを示している。
• 高セットアップレート（α = 10, 100）の場合、総消費電力は最初は ρ が増加するにつれて増加するが、重負荷時にはサーバー活性化頻度の低下により減少する。
• モデルは特別な QBD クラスに属し、レート行列 R および境界構造のおかげで、一般的手法と比較して顕著な計算複雑度の低減が可能となった。