[논문 리뷰] Age of Information for Discrete Time Queues

Vishrant Tripathi, Rajat Talak외 1명|arXiv (Cornell University)|2019. 01. 28.

Age of Information Optimization참고 문헌 24인용 수 51

한 줄 요약

이 논문은 Ber/G/1( Vacation 여부 포함), LCFS G/G/1 선점형, 및 G/G/∞ 등 여러 이산 시간 큐 모델에 대한 폐쇄 형식의 피크 및 평균 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에 미치는 영향을 비교하고 AGE 최소화를 위한 설계 통찰을 제공한다.

제안 방법

• 슬otted 시스템에서 도착 패킷이 시작에 도달하고 서비스가 한 시간 슬롯의 끝에 종료되는 경우 AoI A(t)를 모델링한다.
• AoI 재귀를 제공하고 생성 함수(GF)를 사용해 피크 및 평균 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/∞의 경우 비엄격한 조건을 반영하며 합의 최솟값 표현(minimum-of-sums)을 포함하는 A^ave를 도출한다.

실험 결과

연구 질문

• RQ1 이산 시간 Ber/G/1 큐(휴가 여부 포함)의 피크 및 평균 AoI 표현은 무엇인가?
• RQ2 이산 시간에서 선점 서비스가 있는 LCFS G/G/1 큐의 AoI 성능은 어떠한가?
• RQ3 독립적인 생성 간격 및 서비스 시간 하에서 이산 시간 G/G/∞ 큐의 AoI 거동은 어떠한가?
• RQ4 Ber/G/1 with vacations에서 deterministic한 휴가가 다른 휴가 분포에 비해 AoI에 어떤 차이를 보이는가?

주요 결과

• Ber/G/1의 피크 AoI: A^p = 1/λ + 1/μ + (λ E[S^2] − ρ) / (2(1−ρ)) + discretization으로 인한 추가 항.
• Ber/G/1의 평균 AoI: A^ave = 1 + 1/μ + [(1−λ)(1−ρ)] / [λ L_S(1−λ)] + (λ E[S^2] − ρ) / [2(1−ρ)].
• 고정 평균 휴가 기간을 갖는 Ber/G/1의 경우 평균 AoI를 최소화하며, A^ave ≤ A^p이다.
• Ber/G/1 with vacations의 경우: A^p = A^p (무휴가) + E[V^2]/(2 E[V]) − 1/2, 그리고 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.
• 이산 시간 결과는 연속 시간 대응과 비교해 피크에서 −1, 평균에서 −1/2의 이산화 보정을 보이며 이산 시간에서의 비엄격 부등식(non-strict inequalities)을 반영한다.