[논문 리뷰] Stability Region of a Slotted Aloha Network with K-Exponential Backoff

Farzaneh Farhadi, Farid Ashtiani|arXiv (Cornell University)|2014. 06. 17.

Wireless Networks and Protocols참고 문헌 11인용 수 4

한 줄 요약

이 논문은 K-지수 분배 백오프를 갖는 슬롯형 알로하 네트워크의 안정성 영역을 근사하기 위해 상호 연관된 준생애(Quasi-Birth-Death, QBD) 과정을 사용하는 새로운 행렬 해석 모델링 방법을 제안한다. 각 노드의 마코프 체인에 다른 노드의 상태와 백오프 단계를 통합함으로써, 대기열 간 상호작용과 백오프에 기인한 기억 효과를 포착하여, 안정성 영역을 근사한다. 그 결과, 두 노드 네트워크에서는 지수 백오프가 안정성 영역을 40퍼센트 이상 증가시키며, 대칭적인 네 노드 네트워크에서는 중심화된 스케줄링 성능에 가까운 성능을 달성한다.

ABSTRACT

Stability region of random access wireless networks is known for only simple network scenarios. The main problem in this respect is due to interaction among queues. When transmission probabilities during successive transmissions change, e.g., when exponential backoff mechanism is exploited, the interactions in the network are stimulated. In this paper, we derive the stability region of a buffered slotted Aloha network with K-exponential backoff mechanism, approximately, when a finite number of nodes exist. To this end, we propose a new approach in modeling the interaction among wireless nodes. In this approach, we model the network with inter-related quasi-birth-death (QBD) processes such that at each QBD corresponding to each node, a finite number of phases consider the status of the other nodes. Then, by exploiting the available theorems on stability of QBDs, we find the stability region. We show that exponential backoff mechanism is able to increase the area of the stability region of a simple slotted Aloha network with two nodes, more than 40\%. We also show that a slotted Aloha network with exponential backoff may perform very near to ideal scheduling. The accuracy of our modeling approach is verified by simulation in different conditions.

연구 동기 및 목표

• 슬롯형 알로하 네트워크에서 K-지수 분배 백오프를 갖는 경우의 안정성 영역에 대한 분석적 특성화가 부족한 문제를 다루기 위해, 특히 복잡한 대기열 간 상호작용과 기억 효과로 인해 어려움이 존재함을 고려한다.
• 지수 백오프에 의해 유도되는 동적 전송 확률과 상태 의존성 등을 포착할 수 있는 분석적으로 다룰 수 있는 모델을 개발한다.
• 베르누이 및 D-MAP를 포함한 일반적인 도착 과정을 갖는 유한 노드 수 네트워크의 근사적이지만 정확한 안정성 영역을 제공한다.
• 백오프 유무를 비교함으로써 지수 백오프의 성능 향상 정도를 평가한다.
• 다양한 네트워크 크기와 구성에서 광범위한 시뮬레이션을 통해 모델의 정확성을 검증한다.

제안 방법

• 각 노드의 상태를 QBD 과정으로 모델링하며, 단계 공간은 백오프 단계와 모든 다른 노드의 공동 대기열 상태를 포함한다.
• 전이 비율 행렬을 개별 노드 행렬과 백오프 상태 전이 행렬의 크로네cker 곱 분해를 통해 전체 시스템의 전이 비율 행렬을 표현한다.
• 기존의 QBD 과정 안정성 이론을 적용하여 네트워크 대기열이 양의 재시행성(positive recurrent)을 유지할 조건을 유도한다.
• 포화된 노드의 영향을 분리하기 위해 등가 전송률 네트워크 모델을 도입하여 안정성 분석을 단순화한다.
• D-MAP(마르코프 모드 도착 과정)를 다룰 수 있도록 모델을 일반화하며, 안정성 영역 결정에 도착 과정의 통계적 정보가 필요로 하지 않음을 보여준다.
• 어휘적 상태 순서와 상태 매핑을 사용하여 원래 시스템과 등가 전송률 모델을 연결함으로써 분석적 취급 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 복잡한 대기열 간 상호작용과 기억 효과가 존재하는 유한 노드 수의 슬롯형 알로하 네트워크에서 K-지수 분배 백오프를 갖는 경우의 안정성 영역를 어떻게 분석적으로 근사할 수 있는가?
• RQ2 기본적인 슬롯형 알로하(백오프 없음)에 비해 K-지수 분배 백오프는 안정성 영역를 얼마나 향상시키는가?
• RQ3 제안된 QBD 기반 모델은 대칭적 및 비대칭적 네트워크에서 지수 백오프의 성능을 정확하게 예측할 수 있는가?
• RQ4 포화된 전송 처리량 측면에서 분산 무선 액세스 프로토콜이 중심화된 스케줄링 성능에 얼마나 가까이 다가갈 수 있는가?
• RQ5 D-MAP와 같은 비-베르누이 도착 과정으로 일반화되었을 때 모델은 여전히 정확한가?

주요 결과

• 두 노드 슬롯형 알로하 네트워크에서 지수 백오프는 고전적 슬롯형 알로하에 비해 안정성 영역을 40퍼센트 이상 증가시킨다.
• 대칭적인 네 노드 네트워크에서 K=2인 K-지수 분배 백오프는 최대 합산 포화 전송 처리량을 약 100퍼센트 향상시키며, 중심화된 스케줄링의 최적 성능에 가까워진다.
• 다양한 네트워크 크기와 백오프 파라미터에서 시뮬레이션 결과와의 검증을 통해 제안된 QBD 기반 모델은 높은 정확도를 보인다.
• 기존 모델이 다루지 못했던 지수 백오프에 의해 유도되는 기억 효과와 상태 의존적 전송 확률을 성공적으로 포착한다.
• D-MAP 도착 과정으로 일반화되었을 때도 안정성 영역 근사가 유효하고 정확하며, 도착 과정의 통계적 파라미터를 명시적으로 알 필요가 없다.
• 이 모델은 다중 노드 환경에서 이전의 확률적 지배 및 주도 시스템 접근법의 한계를 극복하기 위해 안정성 영역에 대한 날카운 내부 경계를 도출할 수 있다.