[논문 리뷰] Backlog and Delay Reasoning in HARQ Systems

Sami Akın, Markus Fidler|arXiv (Cornell University)|2015. 06. 04.

Advanced Wireless Network Optimization참고 문헌 24인용 수 7

한 줄 요약

이 논문은 수신기 디코딩 효율성과 송신기 큐 상태의 연합 동역학을 마르코프 과정으로 모델링하여 HARQ 시스템의 크로스 레이어 분석을 제시한다. 이를 통해 비점점근적(비점점근적) 백로그 및 지연에 대한 경계를 도출할 수 있다. 연구 결과, HARQ-IR은 Type-I HARQ 및 HARQ-CC보다 우수한 지연 내성 성능을 보이며, 특정 조건 하에서는 HARQ-CC와 HARQ-IR 간의 성능 격차가 미미하다.

ABSTRACT

Recently, hybrid-automatic-repeat-request (HARQ) systems have been favored in particular state-of-the-art communications systems since they provide the practicality of error detections and corrections aligned with repeat-requests when needed at receivers. The queueing characteristics of these systems have taken considerable focus since the current technology demands data transmissions with a minimum delay provisioning. In this paper, we investigate the effects of physical layer characteristics on data link layer performance in a general class of HARQ systems. Constructing a state transition model that combines queue activity at a transmitter and decoding efficiency at a receiver, we identify the probability of clearing the queue at the transmitter and the packet-loss probability at the receiver. We determine the effective capacity that yields the maximum feasible data arrival rate at the queue under quality-of-service constraints. In addition, we put forward non-asymptotic backlog and delay bounds. Finally, regarding three different HARQ protocols, namely Type-I HARQ, HARQ-chase combining (HARQ-CC) and HARQ-incremental redundancy (HARQ-IR), we show the superiority of HARQ-IR in delay robustness over the others. However, we further observe that the performance gap between HARQ-CC and HARQ-IR is quite negligible in certain cases. The novelty of our paper is a general cross-layer analysis of these systems, considering encoding/decoding in the physical layer and delay aspects in the data-link layer.

연구 동기 및 목표

• HARQ 시스템에서 물리계층 채널 변동이 데이터링크 계층 성능에 미치는 영향을 분석하기 위해.
• 송신기 큐 활동과 수신기 디코딩 효율성의 연합 행동을 이산 M상태 마르코프 과정으로 모델링하기 위해.
• 서비스 품질(QoS) 제약 조건 하에서 HARQ 시스템의 비점점근적 백로그 및 지연 경계를 유도하기 위해.
• 통합 프레임워크 내에서 Type-I HARQ, HARQ-CC, HARQ-IR 프로토콜 간의 지연 성능을 비교하기 위해.
• QoS 제약 조건 하에서 지원 가능한 최대 실현 가능한 데이터 도착률을 보장하는 유효 용량을 결정하기 위해.

제안 방법

• 큐 상태와 디코딩 성공 확률을 조합한 이산 시간 M상태 마르코프 체인으로 HARQ 시스템을 모델링하기 위해.
• 전이 행렬 P와 모멘트 생성 함수를 사용하여 상태에 의존하는 서비스 속도와 디코딩 결과를 표현하기 위해.
• 행렬 Υ의 스펙트럼 반경 분석을 통해 행렬의 최대 고유값을 이용해 유효 용량을 계산하기 위해.
• 스펙트럼 반경과 모멘트 생성 함수 기법을 사용하여 비점점근적 백로그 및 지연 경계를 도출하기 위해.
• 전송 종료 시간 제약 조건이 있는 이차원 마르코프 모델을 사용하여 시스템 성능을 기술하기 위해.
• 카우치의 정리를 활용하여 특성 방정식의 유일한 양의 근이 존재함을 증명하여, Υ의 스펙트럼 반경 계산의 존재성과 유일성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 물리계층 디코딩 성능과 데이터링크 계층 큐 동역학이 함께 HARQ 시스템의 지연과 백로그에 어떤 영향을 미치는가?
• RQ2 서비스 품질 제약 조건 하에서 HARQ 시스템의 유효 용량은 무엇이며, 채널 상태 전이에 따라 어떻게 달라지는가?
• RQ3 Type-I, HARQ-CC, HARQ-IR의 세 가지 HARQ 프로토콜은 지연 내성 성능과 큐 안정성 측면에서 어떻게 비교되는가?
• RQ4 HARQ 시스템의 비점점근적 백로그 및 지연 경계는 무엇이며, 이는 시스템의 마르코프 구조에서 어떻게 도출되는가?
• RQ5 HARQ-IR의 이론적 우월성에도 불구하고, HARQ-CC와 HARQ-IR 간의 성능 격차가 미미한 조건은 무엇인가?

주요 결과

• 모든 평가된 채널 조건에서 HARQ-IR은 Type-I HARQ 및 HARQ-CC보다 뛰어난 지연 내성 성능을 달성한다.
• 특히 낮은에서 중간 수준의 채널 코딩 속도 조건에서, HARQ-CC와 HARQ-IR 간의 성능 격차는 미미하다.
• 시스템의 유효 용량은 큐와 디코딩 동역학을 모두 반영하는 행렬 Υ의 스펙트럼 반경에 의해 결정된다.
• 모멘트 생성 함수와 전이 행렬의 스펙트럼 반경 분석 기법을 사용하여 비점점근적 백로그 및 지연 경계가 도출된다.
• 특성 방정식 f(y) = 0에 대해 유일한 양의 근이 존재함을 보여주어, Υ의 스펙트럼 반경의 존재성과 유일성을 보장한다.
• 마르코프 모델은 물리계층 디코딩 효율성과 데이터링크 계층 큐 행동 간의 상호작용을 성공적으로 모형화하여 정밀한 성능 평가를 가능하게 한다.