[論文レビュー] Age of Information for Discrete Time Queues

Vishrant Tripathi, Rajat Talak+1 more|arXiv (Cornell University)|Jan 28, 2019

Age of Information Optimization参考文献 24被引用数 51

ひとこと要約

本論文は、Ber/G/1（休暇あり・なしを含む）、事前割り込みを伴う LCFS G/G/1、および G/G/∞ を含むいくつかの離散時間待ち行列モデルに対して、ピークAoIと平均AoIの閉形式表現を導出し、離散時間AoI分析の新しい手法について議論する。

ABSTRACT

Age of information (AoI) is a time-evolving measure of information freshness, that tracks the time since the last received fresh update was generated. Analyzing peak and average AoI, two time average metrics of AoI, for various continuous time queueing systems has received considerable attention. We analyze peak and average age for various discrete time queueing systems. We first consider first come first serve (FCFS) Ber/G/1 and Ber/G/1 queue with vacations, and derive explicit expressions for peak and average age. We also obtain age expressions for the last come first serve (LCFS) queue and the $G/G/\infty$ queue. We build upon proof techniques from earlier results, and also present new techniques that might be of independent interest in analyzing age in discrete time queuing systems.

研究の動機と目的

• スロットネットワークにおける離散時間待ち行列システムでのAoI分析を動機づけ、AoIを情報の新鮮さの指標として確立する。
• 選択された離散時間待ち行列（Ber/G/1、Ber/G/1 with vacations、LCFS G/G/1 with preemption、G/G/∞）に対する明示的なピークAoIと平均 AoI の表現を導出する。
• 証明技術を強調し、離散時間AoI分析に適用可能な新しい手法を紹介する。
• 休暇とスケジューリング方針がAoIに与える影響を比較し、年齢最小化の設計洞察を提供する。

提案手法

• パケットが時間スロットの先頭で到着し、サービスがスロットの末尾で完了するスロット式システムにおけるAoI A(t)をモデル化する。
• AoIの再帰式を提供し、生成関数を用いてピークAoIと平均AoIの閉形式表現を得る。
• Ber/G/1の場合：到着率 λ、平均サービス μ、サービス時間のモーメント、生成関数 L_S(x) を用いて A^p および A^ave を導出する。
• Ber/G/1 with vacations の場合：残差休暇解析を取り入れて A^p を得、A^ave ≤ A^p を示す。
• LCFS/G/G/1の場合：生成間隔 X とサービス S の分布、および事前割り込みのダイナミクスを用いて A^p と A^ave を導出する。
• G/G/∞の場合：サービスの順序外れを反映する sum の最小値表現を含む A^ave を導出する。

実験結果

リサーチクエスチョン

• RQ1 離散時間 Ber/G/1 キュー（休暇あり/なし）に対するピークAoIと平均AoIの表現は何か？
• RQ2 離散時間の事前割り込みサービスを持つ LCFS G/G/1 キューの AoI 性能はどのようか？
• RQ3 独立した生成間隔とサービス時間を仮定した離散時間の G/G/∞ キューの AoI 振る舞いはどうなるか？
• RQ4 Ber/G/1 with vacations における決定論的休暇と他の休暇分布を AoI の観点で比較するとどうか？

主な発見

• Ber/G/1のピークAoI: A^p = 1/λ + 1/μ + (λ E[S^2] − ρ) / (2(1−ρ)) + 離散化に起因する追加項。
• Ber/G/1の平均AoI: A^ave = 1 + 1/μ + [(1−λ)(1−ρ)] / [λ L_S(1−λ)] + (λ E[S^2] − ρ) / [2(1−ρ)].
• 固定平均休暇持続時間の場合、Deterministic vacations は Ber/G/1 の平均AoIを最小化する；A^ave ≤ A^p。
• Ber/G/1 with vacations: A^p = A^p (no vacations) + E[V^2]/(2 E[V]) − 1/2, and A^ave ≤ A^p.
• LCFS/G/G/1 AoI: A^p_G/G/1 = E[X] / P[S ≤ X] + E[S I{S ≤ X}] / P[S ≤ X] − 1; A^ave_G/G/1 = (1/2) E[X^2]/E[X] + E[min(X,S)] / P[S ≤ X] − 1/2.
• G/G/∞ AoI: A^ave_G/G/∞ = (1/2) E[X^2]/E[X] + E[min_l {sum_{k=1}^l X_k + S_{l+1}]} − 1/2.
• The discrete-time results exhibit a discretization offset (−1 for peak, −1/2 for average) compared to continuous-time counterparts and account for non-strict inequalities in discrete time.