네트워크 코딩을 위한 ARQ: “보였을 때” 드롭 알고리즘의 혁신

이 논문은 패킷 소멸(broadcast erasure) 채널에서 실시간 선형 네트워크 코딩을 수행하면서, 전통적인 ARQ(Automatic Repeat reQuest)와 네트워크 코딩을 결합한 새로운 큐 관리 알고리즘을 제안한다. 기존의 네트워크 코딩 연구는 주로 블록‑기반(Generation) 접근을 사용했으며, 각 블록이 완전히 수신·디코딩될 때까지 송신자는 모든 원본 패킷을 보관해야 했다. 이는 스트리밍 서비스와 같이 연속적인 패킷 전송이 요구되는 환경에서 큰 지연과 큐 폭증을 초래한다. 본 논문은 이러한 문제를 해결하기 위해 “패킷을 본다(see)”라는 새로운 개념을 도입한다. 정의에 따르면, 수신자는 어떤 패킷 p에 대해, p와 이후에 도착한 패킷들의 선형 결합 q를 이용해 (p + q) 형태의 정보를 얻을 수 있으면 p를 ‘보았다’고 판단한다. 디코딩은 p를 직접 복원하는 경우이며, 이는 ‘보는’ 행위의 특수 사례에 해당한다. 이 정의는 자유도(degree of freedom) 관점에서 해석될 수 있다. 즉, 수신자가 p를 ‘보면’ 해당 자유도가 하나 증가하고, 이는 향후 다른 패킷과 결합해 p를 복원할 수 있는 잠재력을 의미한다. 알고리즘은 두 가지 버전으로 제시된다. 첫 번째는 기존 방식인 drop‑when‑decoded이다. 송신자는 각 수신자가 특정 패킷을 완전히 디코딩할 때까지 해당 패킷을 물리적 큐에 보관한다. 이 경우 물리적 큐 길이는 가상 큐(자유도 백로그)보다 크게 늘어나, 시스템 부하 ρ = λ/μ가 1에 접근할수록 기대 큐 길이가 Ω(1/(1‑ρ)²) 로 급격히 증가한다. 두 번째는 논문의 핵심인 drop‑when‑seen 알고리즘이다. 여기서는 수신자가 ‘보았다’는 ACK를 송신자에게 전송하면, 송신자는 즉시 해당 패킷을 큐에서 삭제한다. 송신자는 이후 전송할 선형 조합에 그 패킷을 포함하지 않아도 되며, 이는 물리적 큐가 자유도 백로그와 정확히 일치하도록 만든다. 수학적 모델링은 다음과 같다. - 시간은 슬롯 단위이며, 패킷 도착은 Bernoulli(λ) 과정, 각 슬롯에서 각 수신자는 성공 확률 μ 로 패킷을 받는다(Erasure 모델). - 각 수신자 j마다 가상 큐 Q_j(t)를 정의한다. Q_j(t)의 크기는 송신자와 수신자 j 사이의 지식 공간 차원, 즉 자유도 백로그이다. - 가상 큐는 M/M/1 형태의 마코프 체인으로, 전이 확률은 도착 λ와 서비스 μ에 의해 결정된다. 안정 상태(ρ < 1)에서 steady‑state 분포는 기하급수적(π_k = (1‑α)α^k)이며, 평균 가상 큐 길이는 (1‑μ)·ρ/(1‑ρ) 로 계산된다. 물리적 큐의 체류시간 T는 새로운 패킷이 도착한 뒤 모든 가상 큐가 최소 한 번 비워지는 시점까지의 최대값으로 정의된다. 첫 통과 시간 Γ_{u,0}=u/(μ‑λ) 를 이용해 각 가상 큐가 비워지는 기대 시간 E