[论文解读] 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.

研究动机与目标

• 推导在两种服务机制（阻塞与抢占）下，具有广义到达时间与服务时间分布的G/G/1/1系统的精确平均年龄表达式。
• 提出简单、可计算的平均AoI上界，其在记忆性情况（memoryless）下紧致，并适用于系统设计与优化。
• 识别在两种服务机制下使平均AoI最小化的最优到达时间分布。
• 分析特殊情形如M/G/1/1与G/M/1/1系统，揭示如G/M/1/1中到达时间与服务时间影响的解耦等结构性洞见。
• 建立年龄性能与随机序（stochastic orderings）之间的理论联系，包括对数凹性、DMRL、NBUE以及凸/hmrl序。

提出的方法

• 利用到达时间与服务时间的联合概率密度函数，推导出G/G/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系统，平均年龄可分解为两项：一项仅依赖于到达时间的一阶与二阶矩，另一项仅依赖于服务速率，表明到达时间与服务时间影响的解耦。
• 在G/M/1/1系统中，确定性到达时间间隔为最优；而对于非指数服务时间，最优到达时间分布取决于平均到达时间与平均服务时间的比值。