[논문 리뷰] Convergence and Optimal Buffer Sizing for Window Based AIMD Congestion Control

Konstantin Avrachenkov, Urtzi Ayesta외 1명|ArXiv.org|2007. 03. 13.

Network Traffic and Congestion Control참고 문헌 16인용 수 3

한 줄 요약

이 논문은 결정론적 하이브리드 모델을 사용하여 창 기반 AIMD 혼잡 제어와 드롭 테일 밸류 라우터를 함께 분석하여 주기적 행동로의 수렴을 증명하고, 단일 패킷 손실 사이클을 위한 조건을 유도한다. 최적의 버퍼 크기 선정 문제를 양호도와 대기 지연을 균형 잡는 다기준 최적화 문제로 공식화하며, 트래픽 집합이 발생할 경우 버퍼 크기를 줄여야 한다는 것을 분석적으로 밝혀내며, Simulink 및 NS 시뮬레이션을 통해 결과를 확인한다.

ABSTRACT

We study the interaction between the AIMD (Additive Increase Multiplicative Decrease) congestion control and a bottleneck router with Drop Tail buffer. We consider the problem in the framework of deterministic hybrid models. First, we show that the hybrid model of the interaction between the AIMD congestion control and bottleneck router always converges to a cyclic behavior. We characterize the cycles. Necessary and sufficient conditions for the absence of multiple jumps of congestion window in the same cycle are obtained. Then, we propose an analytical framework for the optimal choice of the router buffer size. We formulate the problem of the optimal router buffer size as a multi-criteria optimization problem, in which the Lagrange function corresponds to a linear combination of the average goodput and the average delay in the queue. The solution to the optimization problem provides further evidence that the buffer size should be reduced in the presence of traffic aggregation. Our analytical results are confirmed by simulations performed with Simulink and the NS simulator.

연구 동기 및 목표

• 창 기반 AIMD 혼잡 제어와 밸류 라우터 간의 상호작용을 결정론적 하이브리드 모델을 사용하여 분석함으로써, 주기적 행동로의 수렴 행동을 분석한다.
• 시스템의 주기적 행동을 특성화하고, 한 사이클 내에서 다중 패킷 손실이 발생하지 않을 조건을 필수 및 충분 조건으로 유도한다.
• 최적의 버퍼 크기 선정 문제를 평균 양호도와 평균 대기 지연을 균형 잡는 다기준 최적화 문제로 공식화한다.
• 트래픽 집합이 존재할 경우 버퍼 크기를 줄여야 한다는 분석적 증거를 제공하며, 기존의 BDP 기반 규칙을 도전한다.

제안 방법

• AIMD 혼잡 제어와 드롭 테일 라우터 간의 상호작용을 연속적인 창 크기 증가와 손실 발생 시 이산적 창 크기 감소를 반영하는 결정론적 하이브리드 시스템으로 모델링한다.
• 암시적 미분과 점근적 분석을 사용하여 버퍼 크기와 창 동역학의 행동을 분석하며, 특히 작은 또는 큰 버퍼 크기의 극한에서의 행동을 다룬다.
• 혼잡 창과 버퍼 점유율의 진화를 분석하여, 한 사이클 내에서 다중 손실이 발생하지 않을 조건을 도출한다.
• 다기준 최적화 문제에 라그랑주 승수를 적용하여 목표 함수를 평균 양호도와 평균 대기 지연의 선형 조합으로 표현한다.
• 버퍼 크기가 0 또는 무한대에 수렴할 때의 시스템 행동에 대해 점근적 분석을 수행하며, 주요 성능 지표에 대한 극한 표현을 도출한다.
• Simulink 및 NS 시뮬레이터를 사용하여 분석 결과를 검증하며, 이론적 예측을 확인한다.

실험 결과

연구 질문

• RQ1 AIMD 혼잡 제어와 드롭 테일 라우터의 하이브리드 모델은 항상 주기적 행동으로 수렴하는가? 그리고 이러한 사이클의 특성은 무엇인가?
• RQ2 AIMD 창 크기 변화에서 한 사이클 내에서 다중 패킷 손실이 발생하지 않을 조건은 무엇인가? 이를 위한 필수 및 충분 조건은 무엇인가?
• RQ3 양호도와 대기 지연과 같은 경쟁 성능 지표를 균형 잡기 위해 최적의 버퍼 크기를 어떻게 선택할 수 있는가?
• RQ4 트래픽 집합이 최적의 버퍼 크기에 미치는 영향은 무엇이며, 이는 기존의 BDP 기반 규칙과 모순되는가?
• RQ5 Simulink 및 NS를 사용한 시뮬레이션 결과와 분석 예측 간의 일치 정도는 어느 정도인가?

주요 결과

• AIMD와 드롭 테일 라우터로 구성된 시스템는 항상 주기적 행동으로 수렴하며, 초기 조건에 따라 두 가지 다른 극한 영역이 존재할 수 있다.
• 한 사이클 내에서 다중 손실이 발생하지 않을 조건을 필수 및 충분 조건으로 도출하였으며, 이는 이전의 충분 조건만을 제시하던 것보다 향상된 결과이다.
• 최적의 버퍼 크기 문제를 라그랑주 승수를 사용한 다기준 최적화 문제로 공식화하였으며, 평균 양호도와 평균 대기 지연을 조합한 목표 함수를 포함한다.
• 최적화 문제의 해는 트래픽 집합이 존재할 경우 버퍼 크기를 줄여야 한다는 강력한 증거를 제공하며, 이는 BDP 규칙과 정면으로 배치된다.
• 버퍼 크기가 0에 수렴할 때, 버퍼 점유율의 창 크기 변화율은 아래에서 0으로 수렴하며, 이는 버퍼 확장의 수익 감소를 나타낸다.
• Simulink 및 NS를 사용한 시뮬레이션 결과는 분석 예측을 확인하였으며, 특히 수렴 행동과 최적의 버퍼 크기 트레이드오프에서 높은 일치도를 보였다.