[논문 리뷰] A Basic Result on the Superposition of Arrival Processes in Deterministic Networks

Yuming Jiang|arXiv (Cornell University)|2018. 04. 29.

Network Time Synchronization Technologies참고 문헌 10인용 수 3

한 줄 요약

이 논문은 도착 시간 함수 기반의 최대-덧셈 네트워크 계산법(NC) 트래픽 모델을 제안하며, 이는 직접적으로 시간 민감성 네트워킹(TSN) 및 결정성 네트워킹(DetNet) 트래픽 사양에 매핑된다. 기존 간접 방법과는 달리 패킷 길이 정보가 필요하지 않은 직접적 접근을 통해 이 모델에 대해 새로운 초월성(superposition) 성질을 증명함으로써, 이전의 간접적 방법보다 더 날카롭고 더 널리 적용 가능한 특성화를 제공한다.

ABSTRACT

Time-Sensitive Networking (TSN) and Deterministic Networking (DetNet) are emerging standards to enable deterministic, delay-critical communication in such networks. This naturally (re-)calls attention to the network calculus theory (NC), since a rich set of results for delay guarantee analysis have already been developed there. One could anticipate an immediate adoption of those existing network calculus results to TSN and DetNet. However, the fundamental difference between the traffic specification adopted in TSN and DetNet and those traffic models in NC makes this difficult, let alone that there is a long-standing open challenge in NC. To address them, this paper considers an arrival time function based max-plus NC traffic model. In particular, for the former, the mapping between the TSN / DetNet and the NC traffic model is proved. For the latter, the superposition property of the arrival time function based NC traffic model is found and proved. Appealingly, the proved superposition property shows a clear analogy with that of a well-known counterpart traffic model in NC. These results help make an important step towards the development of a system theory for delay guarantee analysis of TSN / DetNet networks.

연구 동기 및 목표

• 트래픽 사양 모델의 근본적인 차이로 인해 기존 네트워크 계산법(NC) 결과를 TSN 및 DetNet에 적용하는 데 어려움이 있음에 대비하여 이를 해결한다.
• TSN/DetNet 트래픽 사양(구간 τ, 최대 패킷 수 k)과 도착 시간 함수 기반 최대-덧셈 NC 트래픽 모델 간의 직접적 매핑을 수립한다.
• 최대-덧셈 NC에서 오랫동안 미해결된 문제이던 도착 시간 함수 기반 모델에 대한 초월성 성질을 증명한다.
• 기존 간접 방법과 달리 패킷 길이 정보에 의존하지 않는 직접적 접근을 통해 초월성 문제를 해결한다.
• 결정성 네트워크에서의 집합 트래픽 프로세스를 더 날카롭고 일반적인 방식으로 특성화한다.

제안 방법

• ¯A(n)을 n번째 패킷의 도착 시간으로 정의하는 도착 시간 함수 모델을 도입하고, 도착 간격을 ¯A(n, m) = ¯A(n) - ¯A(m)로 정의한다.
• (λ, ν)-제약 모델을 정의하며, n > m일 때 도착 간격 ¯A(n, m) ≥ λ(n - m - ν)를 만족한다.
• TSN/DetNet TSpec(구간 τ, 최대 k개 패킷)와 λ = τ/k, ν = 0일 때 (λ, ν)-제약 모델 간의 일대일 매핑을 증명한다.
• 누적 트래픽 함수나 패킷 길이 정보에 의존하지 않고, 집합 도착 시간 함수를 분석함으로써 초월성 성질에 대한 직접적 증명을 개발한다.
• 직접적 접근을 통해 I개의 유입 프로세스의 초월성을 (λ_dir, ν_dir)-제약 형태로 유도하며, 주기 τ를 가진 정기적 유입 유형에 대해 λ_dir = τ/I, ν_dir = 0임을 도출한다.
• 직접적 접근과 문헌에서 제시된 간접 방법을 비교하며, 간접 방법은 최소 및 최대 패킷 길이 정보가 필요하여 (λ_ind, ν_ind)를 유도한다.

실험 결과

연구 질문

• RQ1 도착 시간 함수만을 사용하여 최대-덧셈 네트워크 계산법(NC) 트래픽 모델을 TSN/DetNet 트래픽 사양에 직접 매핑할 수 있는가?
• RQ2 도착 시간 함수 기반 (λ, ν)-제약 모델이 패킷 길이 정보 없이도 초월성 성질을 만족하는가?
• RQ3 패킷 길이 데이터가 필요한 간접 방법에 비해 직접적 접근을 통한 초월성 결과가 정량적으로 어떻게 다른가?
• RQ4 직접적 접근이 결정성 네트워크에서 집합 트래픽의 더 날카롭거나 더 일반적인 특성화를 가능하게 하는가?
• RQ5 이 모델의 초월성 성질과 최소-덧셈 NC에서 잘 알려진 (σ, ρ) 모델의 초월성 성질 사이에 근본적인 구조적 유사성이 존재하는가?

주요 결과

• TSN/DetNet TSpec(구간 τ, 최대 k개 패킷)와 λ = τ/k, ν = 0인 (λ, ν)-제약 최대-덧셈 모델 간에 직접적이고 역으로도 가능한 매핑이 확립되었다.
• 패킷 길이 정보가 필요하지 않은 새로운 직접적 접근을 통해 도착 시간 함수 기반 최대-덧셈 모델에 대한 초월성 성질이 증명되었다.
• 주기 τ를 가진 I개의 정기적 유입 프로세스에 대해 집합 프로세스는 λ_dir = τ/I, ν_dir = 0인 (λ_dir, ν_dir)-제약 형태를 띠며, 이는 간접 방법의 결과보다 더 날카롭다.
• 직접적 접근은 간접 방법보다 더 날카로운 특성화를 제공한다: λ_dir ≤ λ_ind 이고 ν_dir < ν_ind 이며, 이는 더 유리한 지연 한계를 초래한다.
• 사례 1(I=2, 동일한 주기 τ)에서 직접 방법은 τ/2(n−1)+를 도출하지만, 간접 방법은 패킷 길이 데이터 부족으로 적용 불가능하다.
• 사례 4(동일한 평균 속도, l2=2l)에서 직접 방법은 2τ/3(n−1)+를 도출하지만, 간접 방법은 τ/2(n−3)+를 도출하여 유의미한 개선이 있음을 보여준다.