[論文レビュー] Backlog and Delay Reasoning in HARQ Systems

Sami Akın, Markus Fidler|arXiv (Cornell University)|Jun 4, 2015

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状態マルコフ過程としてモデル化すること。
• サービス品質制約下でのHARQシステムにおけるバックログおよび遅延の非漸近的境界を導出すること。
• 統一的なフレームワーク内でType-I HARQ、HARQ-CC、HARQ-IRプロトコルの遅延性能を比較すること。
• サービス品質制約下で、最大の実現可能なデータ到着レートをサポートする有効容量を特定すること。

提案手法

• キュー状態と復元成功確率を組み合わせた離散時間M状態マルコフ連鎖としてHARQシステムをモデル化する。
• 遷移行列Pとモーメント母関数を用いて、状態依存のサービスレートおよび復元結果を表現する。
• 行列Υのスペクトル半径を計算するために、行列の最大固有値を用いる。
• スペクトル半径およびモーメント母関数技術を用いて、バックログおよび遅延の非漸近的境界を導出する。
• 伝送デッドライン制約を伴う二次元マルコフモデルを用いて、システムの性能を定式化する。
• コーシーの定理を用いて、特性方程式の正の固有解が一意に存在することを証明し、Υのスペクトル半径の存在と一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 物理層の復元性能とデータリンク層のキュー動態が、HARQシステムの遅延およびバックログにどのように共同で影響を与えるか？
• RQ2 サービス品質制約下でのHARQシステムの有効容量は何か？ また、これはチャネル状態遷移にどのように依存するか？
• RQ3 Type-I HARQ、HARQ-CC、HARQ-IRの3つのHARQプロトコルは、遅延耐性およびキュー安定性の観点でどのように比較できるか？
• RQ4 HARQシステムにおけるバックログおよび遅延の非漸近的境界は何か？ また、それらはシステムのマルコフ構造からどのように導出されるか？
• RQ5 HARQ-IRに理論的優位性があるにもかかわらず、どのような条件下でHARQ-CCとHARQ-IRの性能差がわずかになるか？

主な発見

• HARQ-IRは、評価されたすべてのチャネル状態において、Type-I HARQおよびHARQ-CCと比較して優れた遅延耐性を達成している。
• 特定の状況、特に低〜中程度のチャネル符号化レート下では、HARQ-CCとHARQ-IRの性能差がわずかである。
• システムの有効容量は、キューと復元ダイナミクスを捉えた行列Υのスペクトル半径によって決定される。
• モーメント母関数および遷移行列のスペクトル半径分析を用いて、バックログおよび遅延の非漸近的境界が導出された。
• 特性方程式f(y) = 0に対して、一意の正の根が存在し、これにより行列Υのスペクトル半径の存在と一意性が保証される。
• マルコフモデルは、物理層の復元効率とデータリンク層のキュー行動の相互作用を的確に捉えており、性能評価を高精度で可能にした。