[논문 리뷰] Distributed Random Access Algorithm: Scheduling and Congesion Control

Libin Jiang, Devavrat Shah외 2명|ArXiv.org|2009. 07. 07.

Advanced Wireless Network Optimization참고 문헌 34인용 수 7

한 줄 요약

이 논문은 대기열 백로그에 기반한 국소적 백오프 파rameter를 사용하여 전송을 공동 스케줄링하고 혼잡도를 제어하는 분산 랜덤 액세스 알고리즘을 제안한다. 엄격하게 가능성이 있는 도착률 하에서 스케줄링에 대한 비율 안정성과 유틸리티 최적화 혼잡도 제어에 대한 ε-최적성을 증명하며, 시간에 따라 변하는 액세스 확률과 확률적 근사 기법을 사용하는 CSMA 기반 접근 방식을 사용한다.

ABSTRACT

This paper provides proofs of the rate stability, Harris recurrence, and epsilon-optimality of CSMA algorithms where the backoff parameter of each node is based on its backlog. These algorithms require only local information and are easy to implement. The setup is a network of wireless nodes with a fixed conflict graph that identifies pairs of nodes whose simultaneous transmissions conflict. The paper studies two algorithms. The first algorithm schedules transmissions to keep up with given arrival rates of packets. The second algorithm controls the arrivals in addition to the scheduling and attempts to maximize the sum of the utilities of the flows of packets at the different nodes. For the first algorithm, the paper proves rate stability for strictly feasible arrival rates and also Harris recurrence of the queues. For the second algorithm, the paper proves the epsilon-optimality. Both algorithms operate with strictly local information in the case of decreasing step sizes, and operate with the additional information of the number of nodes in the network in the case of constant step size.

연구 동기 및 목표

• 무선 네트워크를 위한 완전히 분산된 알고리즘을 설계하여 스케줄링에서 스루풋 최적성과 혼잡도 제어 하에서 근사 최적 유틸리티 할당을 달성한다.
• 대규모 네트워크에서 최대 무게 스케줄링을 구현하는 데 도전하는 문제를 해결하기 위해 중앙집중식 계산을 국소적이고 적응형 액세스 확률로 대체한다.
• 대기열에 의존하는 백오프 파rameter를 갖는 CSMA 기반 알고리즘이 지역 정보와 확률적 근사 기법을 유일한 자료로 사용하여 비율 안정성과 ε-최적성을 보장함을 증명한다.
• 고정된 충돌 그래프를 갖는 네트워크에서 분산 랜덤 액세스 프로토콜에 대해 이론적 보장을 — 비율 안정성과 해리스 재귀성 — 수립한다.
• 노드가 오목 유틸리티 함수를 갖는 경우, 네트워크 전반의 정보가 제한되어 있어도 근사 최적 유틸리티 할당을 달성할 수 있음을 보여준다.

제안 방법

• 각 노드가 자신의 대기열 백로그에 따라 백오프 파aram터를 조정하는 CSMA 기반 랜덤 액세스 프로토콜을 사용하여 분산 운영을 가능하게 한다.
• 수렴성과 안정성을 보장하기 위해 확률적 근사 프레임워크에서 시간에 따라 변하는 스텝 크기를 사용하며, 리아푸노프 함수 분석을 통해 수렴성을 증명한다.
• 가중 대기열 길이를 반영하는 스케줄링 결정을 생성하기 위해 메트로폴리스-하스팅스 샘플링에 영향을 받은 역전이 가능한 마르코프 체인 모델을 적용한다.
• 두 단계 알고리즘을 도입한다: 외부 도착에 대한 비율 안정성 스케줄링을 위한 단계와 내재된 도착률 제어를 위한 유틸리티 최적화 혼잡도 제어를 위한 단계.
• 실제 서비스 속도 추정치(bsi(j))를 기대 서비스 속도(si(r(j)))와 비교하여 추정 오차를 제한하고 수렴성을 보장한다.
• 혼합 시간 분석과 엔트로피 기반 경계를 활용하여 실측 서비스 속도와 기대 서비스 속도 간의 편차를 통제하여, 유한한 대기열 상태 하에서도 안정성을 확보한다.

실험 결과

연구 질문

• RQ1 국소적 정보만을 사용하여 엄격하게 가능성이 있는 도착률 하에서 비율 안정성 스케줄링을 달성할 수 있는가?
• RQ2 대기열에 의존하는 백오프 파aram터를 갖는 CSMA 기반 알고리즘이 흐름 제어에서 유틸리티 최적화에 대해 ε-최적성을 달성할 수 있는가?
• RQ3 전체 협력이나 중앙집중식 계산 없이 최대 무게 스케줄링 정책을 어떻게 근사할 수 있는가?
• RQ4 서비스 속도 추정 오차가 알고리즘의 수렴성과 안정성에 어떤 영향을 미치는가?
• RQ5 시간에 따라 변하는 스텝 크기를 갖는 국소적이고 적응형 알고리즘이 확률적 네트워크 환경에서 안정성과 근사 최적성을 동시에 달성할 수 있는가?

주요 결과

• 모든 엄격하게 가능성이 있는 도착률 하에서 알고리즘은 비율 안정성을 달성하여 대기열 길이가 시간이 지남에 따라 무한히 증가하지 않음을 보장한다.
• 시스템은 해리스 재귀성을 나타내며, 모든 대기열이 확률 1로 유한한 상태로 무한히 돌아오는 것으로 나타난다.
• 혼잡도 제어 변형의 경우, 알고리즘은 유틸리티 최적화에서 ε-최적성을 달성하며, 평균 흐름 속도가 최적값으로부터 ε 이내로 수렴한다.
• 시간에 따라 변하는 스텝 크기를 갖는 확률적 근사 프레임워크를 사용하여 ε-최적성 수렴이 증명되었으며, 이 경우 평균 흐름 속도는 거의 확실하게 수렴한다.
• 혼합 시간과 엔트로피 논증을 사용하여 실측 서비스 속도와 기대 서비스 속도 간의 추정 오차를 제한하여 알고리즘이 안정적이고 정확하게 유지됨을 보장한다.
• 스텝 크기가 시간이 지남에 따라 감소할 경우 알고리즘은 오직 국소 정보만을 사용하며, 스텝 크기가 일정할 경우에만 전체 노드 수를 안다는 지식이 필요하다.