[論文レビュー] Age of Information in G/G/1/1 Systems: Age Expressions, Bounds, Special Cases, and Optimization

Alkan Soysal, Şennur Ulukuş|arXiv (Cornell University)|May 31, 2019

Age of Information Optimization被引用数 14

ひとこと要約

本稿は、ブロッキングおよびプリエンプションサービス規則の下でG/G/1/1システムにおける正確な情報年齢（AoI）の式と取り扱いやすい上界を導出する。両モデルにおいて、周期的到着時間が平均AoIを最小化することを確立し、G/M/1/1システムでは情報年齢が到着間隔とサービス時間のモーメントに独立して作用することを示し、一般分布下での最適化が可能であることを明らかにする。

ABSTRACT

We consider the age of information in G/G/1/1 systems under two service discipline models. In the first model, if a new update arrives when the service is busy, it is blocked; in the second model, a new update preempts the current update in service. For the blocking model, we first derive an exact age expression, then we propose two simple to calculate upper bounds for the average age. The first upper bound assumes the interarrival times to have log-concave distribution. The second upper bound assumes both the interarrivals and service times to have log-concave distribution. Both upper bounds are tight in the case of M/M/1/1 systems. We show that deterministic interarrivals and service times are optimum for the blocking service model. In addition, using the age expression for G/G/1/1 systems, we calculate average age expressions for special cases, i.e., M/G/1/1 and G/M/1/1 systems. Next, for the preemption in service model, we first derive an exact average age expression for G/G/1/1 systems. Then, we propose a simple to calculate upper bound for the average age. In addition, similar to blocking discipline, using the age expression for G/G/1/1 systems, we calculate average age expressions for special cases, i.e., M/G/1/1 and G/M/1/1 systems. Average age for G/M/1/1 can be written as a summation of two terms, the first of which depends only on the first and second moments of interarrival times and the second of which depends only on the service rate. In other words, interarrival and service times are decoupled. We show that deterministic interarrivals are optimum for G/M/1/1 systems. On the other hand, we observe for non-exponential service times that the optimal distribution of interarrival times depends on the relative values of the mean interarrival time and the mean service time.

研究の動機と目的

• ブロッキングおよびプリエンプションの2つのサービス規則の下で、一般の到着間隔およびサービス時間分布を有するG/G/1/1システムの正確な平均情報年齢式を導出すること。
• メモリレスな場合においてタイトで、システム設計および最適化に適用可能な、計算可能な平均AoIの上界を提供すること。
• 両方のサービス規則下で平均AoIを最小化する最適な到着間隔分布を同定すること。
• M/G/1/1およびG/M/1/1システムなどの特殊ケースを分析し、G/M/1/1における到着間隔とサービス時間の影響の分離（decoupling）といった構造的洞察を明らかにすること。
• 情報年齢性能と確率的順序（対数凹型、DMRL、NBUE、凸/hmrl順序など）との理論的関係を確立すること。

提案手法

• 到着間隔とサービス時間の同時確率密度関数を用いて、G/G/1/1システムの正確な平均情報年齢式を導出する。
• 2つの上界を提案する：1つは対数凹型の到着間隔を仮定し、もう1つは到着間隔およびサービス時間の両方が対数凹型であると仮定する。両者とも確率的順序を活用する。
• 特に凸およびhmrl順序を用いて、指数分布を基準とする情報年齢性能の比較と上界の導出を行う。
• 残留寿命および平均残留寿命の枠組みを用いて、一般分布下での情報年齢行動を特徴付ける。
• 年齢分析において、対数凹型、PF₂、TP₂の間の同等性を確立し、既知の分布的性質を活用してよりタイトな上界を得る。
• 一般式を用いて特殊ケース（M/G/1/1、G/M/1/1）を分析し、G/M/1/1の情報年齢が、到着間隔のモーメントにのみ依存する項と、サービスレートにのみ依存する項に分解されることを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ブロッキングの下で、一般の到着間隔およびサービス時間分布を有するG/G/1/1システムの正確な平均情報年齢式は何か？
• RQ2 一般分布下で、特に到着間隔または両方の到着間隔およびサービス時間が対数凹型である場合に、タイトで計算可能な平均AoIの上界を導出できるか？
• RQ3 ブロッキングおよびプリエンプションの下で、G/G/1/1システムの平均AoIを最小化するための最適な到着間隔分布は周期的到着時間か？
• RQ4 G/M/1/1システムにおける情報年齢式はどのように分解されるのか？これは到着間隔とサービス時間の影響の独立性に何を示唆するか？
• RQ5 指数分布を基準とする情報年齢性能の比較と上界の導出に用いることのできる確率的順序（例：凸、hmrl、NBUE）は何か？

主な発見

• G/G/1/1システムの正確な平均情報年齢は、到着間隔とサービス時間の同時密度関数を用いて導出され、任意の分布下での分析が可能になる。
• 対数凹型の到着間隔を仮定したもとで、平均AoIの上界が提案され、M/M/1/1システムではタイトであることが示される。
• 到着間隔およびサービス時間の両方が対数凹型であると仮定したよりタイトな上界が導出され、再びM/M/1/1ケースでタイト性を達成する。
• 一般のサービス時間分布下で、ブロッキングサービスモデルにおいて周期的到着時間が平均AoIを最小化する最適ポリシーであることが示される。
• G/M/1/1システムでは、平均情報年齢が2つの項に分解される：1つは到着間隔の1次および2次モーメントにのみ依存し、もう1つはサービスレートにのみ依存する。これは、到着間隔とサービス時間の影響が独立していることを示唆する。
• G/M/1/1システムでは、周期的到着時間が最適であるが、非指数型サービス時間の場合は最適な到着分布が平均到着間隔と平均サービス時間の比に依存する。