[논문 리뷰] Age of Information in G/G/1/1 Systems: Age Expressions, Bounds, Special Cases, and Optimization

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

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에 대한 단순한 계산 가능한 상한을 개발하기 위해.
• 두 서비스 정책 하에서 평균 AoI를 최소화하는 최적의 도착 간격 분포를 규명하기 위해.
• M/G/1/1 및 G/M/1/1 시스템과 같은 특수 케이스를 분석하여, G/M/1/1에서 도착 간격과 서비스 시간 영향의 분리 구조를 드러내는 구조적 통찰을 제공하기 위해.
• 연령 성능과 확률적 순서(예: 로그-볼록, 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 시스템에서 평균 연령는 두 항으로 분해되며, 하나는 도착 간격의 1차 및 2차 모멘트에만 의존하고, 다른 하나는 서비스 속도에만 의존한다. 이는 도착 간격과 서비스 시간 영향이 분리되어 있음을 시사한다.
• G/M/1/1 시스템에서 결정론적 도착 간격이 최적임을 확인하였으며, 비지수 분포의 서비스 시간에 대해서는 최적의 도착 간격 분포가 평균 도착 간격과 평균 서비스 시간의 비율에 따라 달라진다.