[논문 리뷰] Analysis of Stochastic Service Guarantees in Communication Networks: A Basic Calculus

Yuming Jiang|ArXiv.org|2005. 11. 02.

Network Traffic and Congestion Control참고 문헌 36인용 수 5

한 줄 요약

이 논문은 최대(가상)백로그 중심(stochastic arrival curves) 및 스토케스틱 서비스 곡선을 기반으로 하는 확률적 네트워크 계산 프레임워크를 제안하며, (min, +) 대수 기반의 분석을 통해 확률적 보장을 갖는 네트워크 성능을 분석할 수 있도록 한다. 이는 종속 및 비종속 과정 가정 하에 초점성능, 연결성, 출력 특성화, 흐름별 서비스, 백로그/지연 한계라는 다섯 가지 핵심 성질을 수립하며, 독립 케이스 분석과 향상된 한계를 가능하게 하는 새로운 스토케스틱 스트릭트 서버 모델을 도입한다.

ABSTRACT

A basic calculus is presented for stochastic service guarantee analysis in communication networks. Central to the calculus are two definitions, maximum-(virtual)-backlog-centric (m.b.c) stochastic arrival curve and stochastic service curve, which respectively generalize arrival curve and service curve in the deterministic network calculus framework. With m.b.c stochastic arrival curve and stochastic service curve, various basic results are derived under the (min, +) algebra for the general case analysis, which are crucial to the development of stochastic network calculus. These results include (i) superposition of flows, (ii) concatenation of servers, (iii) output characterization, (iv) per-flow service under aggregation, and (v) stochastic backlog and delay guarantees. In addition, to perform independent case analysis, stochastic strict server is defined, which uses an ideal service process and an impairment process to characterize a server. The concept of stochastic strict server not only allows us to improve the basic results (i) -- (v) under the independent case, but also provides a convenient way to find the stochastic service curve of a serve. Moreover, an approach is introduced to find the m.b.c stochastic arrival curve of a flow and the stochastic service curve of a server.

연구 동기 및 목표

• 초기의 통합된 스토케스틱 네트워크 계산이 존재하지 않아, 초점성능, 연결성, 출력 특성화, 흐름별 서비스, 스토케스틱 백로그/지연 보장이라는 다섯 가지 기본 성질을 모두 지원하는 체계를 마련하고자 한다.
• 무선 및 다중접속 네트워크와 같이 무작위 용량을 갖는 네트워크에서의 스토케스틱 서비스 보장 분석에 어려움이 존재하는 문제를 해결하고자 한다. 이는 결정론적 모델이 부족한 영역이다.
• 스토케스틱 스트릭트 서버 모델을 도입함으로써 독립 케이스 분석을 가능하게 하여, 이상적 서비스와 손상 과정을 분리함으로써 성능 한계를 향상시킨다.
• 기존 과정 특성(예: (σ(θ), ρ(θ)) 제약 조건)으로부터 m.b.c 스토케스틱 도착 곡선 및 스토케스틱 서비스 곡선을 유도할 수 있는 실용적인 방법을 제공하고자 한다.
• 스토케스틱 서비스 보장 분석을 위한 기초 계산 프레임워크를 수립하며, 결정론적 네트워크 계산을 일반화하면서도 확률적 모델링 하에서 그 구조적 성질을 유지한다.

제안 방법

• 모멘트 생성 함수를 기반으로 최대 가상 백로그를 제한함으로써 결정론적 도착 곡선의 일반화로 m.b.c 스토케스틱 도착 곡선을 정의한다.
• 결정론적 서비스 곡선의 확률적 일반화로서 스토케스틱 서비스 곡선을 도입함으로써, 무작위 서버 행동 하에서의 성능 분석을 가능하게 한다.
• 스토케스틱 스트릭트 서버 모델을 제안하며, 서버의 서비스 과정을 이상적 서비스 과정과 스토케스틱 손상 과정으로 분해함으로써 독립 케이스 분석을 가능하게 한다.
• (min, +) 대수를 적용하여 일반 케이스 및 최초로 독립 케이스 가정 하에서 다섯 가지 핵심 성질(P.1–P.5)을 유도하고 증명한다.
• 체르노프의 부등식과 모멘트 생성 함수 기법을 사용하여, i.i.d. 또는 마코프-모듈레이티드 과정과 같은 (σ(θ), ρ(θ))-상한 제약 조건을 갖는 과정으로부터 m.b.c 스토케스틱 도착 곡선을 유도한다.
• 스토케스틱 스트릭트 서버 모델을 활용하여, 손상 과정이 (σ(θ), ρ(θ))로 알려진 특성화된 경우 서버의 스토케스틱 서비스 곡선을 유도한다.

실험 결과

연구 질문

• RQ1 추가 제약 조건 없이 다섯 가지 기본 성질(P.1–P.5)을 모두 지원하는 스토케스틱 네트워크 계산을 어떻게 구성할 수 있는가?
• RQ2 (min, +) 대수 프레임워크 하에서 스토케스틱 과정에 대해 초점성능, 연결성, 출력 특성화, 흐름별 서비스, 스토케스틱 백로그/지연 보장이 증명될 수 있는가?
• RQ3 독립 케이스 분석이 스토케스틱 네트워크 계산에 어떻게 공식적으로 통합될 수 있으며, 특히 이전에 다루지 못했던 P.2–P.5 성질에 대해 어떻게 적용할 수 있는가?
• RQ4 과정의 (σ(θ), ρ(θ))-상한 제약 조건과 그 m.b.c 스토케스틱 도착 곡선 간의 관계는 무엇인가?
• RQ5 스토케스틱 스트릭트 서버 모델을 사용하여, 손상 과정의 m.b.c 스토케스틱 도착 곡선으로부터 서버의 스토케스틱 서비스 곡선을 유도할 수 있는가?

주요 결과

• 모든 i.i.d. 과정이 (σ(θ), ρ(θ))-상한 제약 조건을 갖는 경우, m.b.c 스토케스틱 도착 곡선이 존재함을 증명하였으며, 이는 임의의 r > ρ(θ)에 대해 f(x) = e^{θσ(θ)} / (1 - e^{θ(ρ(θ) - r)}) × e^{-θx} 로 표현된다.
• 스토케스틱 스트릭트 서버 모델을 통해 다섯 가지 핵심 성질(P.1–P.5)에 대해 최초로 독립 케이스 분석이 가능해졌으며, 종속 케이스 분석 대비 향상된 성능 한계를 달성하였다.
• 손상 과정이 (σ(θ), ρ(θ))-상한 제약 조건을 갖는 경우, 서버의 스토케스틱 서비스 곡선은 그 손상 과정의 m.b.c 스토케스틱 도착 곡선으로부터 도출될 수 있다.
• 초점성능, 연결성, 출력 특성화, 흐름별 서비스, 스토케스틱 백로그/지연 보장이라는 다섯 가지 기본 성질은 (min, +) 대수를 사용하여 종속 및 비종속 케이스 모두에서 공식적으로 증명되었다.
• 제안된 계산 프레임워크는 결정론적 네트워크 계산을 일반화한다. 스토케스틱 매개변수가 결정론적 한계로 축소될 경우, 모든 핵심 성질이 특수 케이스로 복원된다.
• 프레임워크는 i.i.d. 또는 마코프-모듈레이티드 과정과 같이 널리 사용되는 (σ(θ), ρ(θ))-특성화된 과정으로부터 m.b.c 스토케스틱 도착 곡선 및 스토케스틱 서비스 곡선을 유도할 수 있는 실용적인 방법을 제공한다.