[논문 리뷰] Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks

Abdolhamid Ghodselahi, Fabian Kühn|arXiv (Cornell University)|2017. 05. 20.

Distributed systems and fault tolerance참고 문헌 26인용 수 5

한 줄 요약

이 논문은 확률적 트리 임bedding, 특히 Fakcharoenphol-Rao-Talwar 임bedding를 활용하여 일반 네트워크에서 분산 큐잉에 대해 Arrow 분산 디렉터리 프로토콜이 O(log n) 경쟁 비율을 달성함을 보여준다. 이 프로토콜의 이면에서의 이성성과 동적 요청 주입에 대한 내성적 내성성과 결합될 경우, 이는 일반적으로 근사 최적 성능 보장을 갖는 간단하면서도 매우 효율적인 솔루션이며, 대규모 분산 시스템에서 공유 객체에 대한 액세스를 조율하는 데에 유용하다.

ABSTRACT

The Arrow protocol is a simple and elegant protocol to coordinate exclusive access to a shared object in a network. The protocol solves the underlying distributed queueing problem by using path reversal on a pre-computed spanning tree (or any other tree topology simulated on top of the given network). It is known that the Arrow protocol solves the problem with a competitive ratio of O(log D) on trees of diameter D. This implies a distributed queueing algorithm with competitive ratio O(s*log D) for general networks with a spanning tree of diameter D and stretch s. In this work we show that when running the Arrow protocol on top of the well-known probabilistic tree embedding of Fakcharoenphol, Rao, and Talwar [STOC 03], we obtain a randomized distributed queueing algorithm with a competitive ratio of O(log n) even on general network topologies. The result holds even if the queueing requests occur in an arbitrarily dynamic and concurrent fashion and even if communication is asynchronous. From a technical point of view, the main of the paper shows that the competitive ratio of the Arrow protocol is constant on a special family of tree topologies, known as hierarchically well separated trees.

연구 동기 및 목표

• 동적이고 동시적인 요청 패턴 하에서 일반 네트워크 구조에서 낮은 경쟁 비율을 달성하는 데 도전하는 것.
• 이전 연구에서 O(log²n · log D) 경쟁 비율을 달성한 바가 있었지만, 트리 임bedding와 결합할 경우 Arrow가 O(log n) 경쟁성을 달성할 수 있음을 보여주는 것.
• Arrow가 확률적 임bedding에서 사용되는 핵심적인 트리 구조인 계층적으로 잘 분리된 트리(HSTs)에서 O(1)-경쟁성을 보임을 증명하는 것.
• 비동기 시스템으로의 경쟁 분석 확장을 통해, 임의의 메시지 지연과 요청 주입 타이밍에 대해 강건함을 보여주는 것.

제안 방법

• 프로토콜은 스패닝 트리에서 경로 뒤집기를 사용하는 Arrow 메커니즘을 통해 분산적이고 비동기적으로 큐잉 요청을 순서 정렬한다.
• 일반 그래프를 균형 잡힌 스트레치와 기대 왜곡 O(log n)를 갖는 HST의 분포로 매핑하기 위해 Fakcharoenphol-Rao-Talwar 확률적 트리 임bedding를 적용한다.
• 분석 결과, 환경 매개변수 2를 갖는 HST에서 Arrow는 O(1)-경쟁성을 보인다. 여기서 간선 길이는 수준마다 일정 요인으로 지수적으로 감소한다.
• 비동기 시스템에 대한 경쟁 분석의 새로운 적응 기법을 개발하여, 메시지 지연이 성능을 일정 요인 이내로 떨어뜨리지 않음을 증명한다.
• 요청 집합을 압축된 형태로 변환하여 Arrow 비용과 최적의 오프라인 비용을 모두 유지함으로써 악조건 하에서도 비교 가능하게 한다.
• 핵심 레마들은 고정된 델타로 요청 시간을 이동해도 비동기 조건 하에서도 Arrow 실행 순서와 비용이 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 Arrow 프로토콜은 단순함에도 불구하고 일반 네트워크 구조에서 다항로그 경쟁 비율을 달성할 수 있는가?
• RQ2 확률적 임bedding에서 사용되는 트리의 일종인 계층적으로 잘 분리된 트리(HSTs)에서 Arrow의 경쟁 비율은 얼마인가?
• RQ3 메시지 전달의 비동기성은 동적 요청 환경에서 Arrow의 경쟁 비율에 어떤 영향을 미치는가?
• RQ4 임의의 그래프에 대해 트리 구조를 시뮬레이션하기 위해 확률적 트리 임bedding를 사용할 경우, Arrow의 경쟁 비율을 유지할 수 있는가?

주요 결과

• 계층적으로 잘 분리된 트리(HSTs)에서 매개변수 2로 실행될 경우, Arrow 프로토콜은 비동기 통신 조건 하에서도 O(1)-경쟁성을 보인다.
• Arrow를 Fakcharoenphol-Rao-Talwar 확률적 트리 임bedding와 결합함으로써, 일반 네트워크에서의 분산 큐잉에 대해 O(log n) 경쟁 비율을 달성한다.
• 임의로 동적이고 동시적인 요청 주입이 이루어지거나, 임의의 메시지 지연이 존재하더라도 경쟁 비율이 유지된다.
• 분석 결과, HST에서 Arrow의 최악의 비용은 요청 타이밍이나 메시지 지연 패턴과 관계없이 최적의 오프라인 비용의 일정 요인 이내에 머무른다.
• 이전 연구에서 유사한 환경에서 O(log²n · log D) 경쟁 비율을 달성한 바가 있었지만, 본 논문은 Arrow가 더 복잡한 프로토콜보다도 성능이 뛰어남을 입증한다.
• 비동기 조건 하에서도 비용과 순서를 유지하는 요청 집합 변환 기법이 가능함을 입증하여, 깔끔한 경쟁 분석 프레임워크를 구축한다.