[논문 리뷰] PALE: Partially Asynchronous Agile Leader Election

Bronislav Sidik, Rami Puzis외 2명|arXiv (Cornell University)|2018. 01. 11.

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

한 줄 요약

PALE는 네트워크 안정성 또는 글로벌 동기화를 요구하지 않는 최소한의 가정(유한한 메시지 지연 및 시계 오차) 하에서 동적이고 부분적으로 비동기 분산 시스템을 위한 리더 선거 알고리즘을 제안한다. 지속적인 노드 참가, 장애 및 고순위 노드의 지터링 상황에서도 유한 시간 종료, 유일성, 합의를 보장하기 위해 활성 노드의 순위를 증가시킴으로써 안정된 조건에서 O(n) 라운드와 O(1) 평균 메시지 복잡도를 달성한다.

ABSTRACT

Many tasks executed in dynamic distributed systems, such as sensor networks or enterprise environments with bring-your-own-device policy, require central coordination by a leader node. In the past it has been proven that distributed leader election in dynamic environments with constant changes and asynchronous communication is not possible. Thus, state-of-the-art leader election algorithms are not applicable in asynchronous environments with constant network changes. Some algorithms converge only after the network stabilizes (an unrealistic requirement in many dynamic environments). Other algorithms reach consensus in the presence of network changes but require a global clock or some level of communication synchronization. Determining the weakest assumptions, under which leader election is possible, remains an unresolved problem. In this study we present a leader election algorithm that operates in the presence of changes and under weak (realistic) assumptions regarding message delays and regarding the clock drifts of the distributed nodes. The proposed algorithm is self-sufficient, easy to implement and can be extended to support multiple regions, self-stabilization, and wireless ad-hoc networks. We prove the algorithm's correctness and provide a complexity analysis of the time, space, and number of messages required to elect a leader.

연구 동기 및 목표

• 높은 동적 성격을 띤 부분적으로 비동기 분산 시스템에서 최소한의 가정 하에 리더 선거 문제를 해결하는 것.
• 네트워크 안정성, 글로벌 시계, 동기화된 통신 라운드에 의존하지 않도록 하는 것.
• 자주 노드가 참가하고, 장애가 발생하며, 지터링하는 고순위 노드가 존재하는 환경에서 리더 선거를 가능하게 하는 것.
• 약한 동기화 및 안정성 가정 하에서도 정확성(합의, 유일성, 유한한 종료)을 달성하는 것.
• 다중 영역 병합, 자기안정성, 무선 애드혹 네트워크와 같은 실용적 확장 기능을 지원하는 것.

제안 방법

• 노드 순위를 물리적 성능(프로세서 속도, 메모리)에 기반으로 하되, 고유 ID를 티어 브레이커로 사용하는 수정된 블리프 알고리즘을 사용한다.
• 유한한 메시지 지연과 임의의 메시지 순서를 갖는 신뢰성 있는 브로드캐스트를 사용하지만, 글로벌 동기화는 필요로 하지 않는다.
• 로컬 타이머에 기반한 비동기 라운드를 정의하며, 시계 오차에 대한 알려진 상한선은 존재하지만 오프셋에 대한 가정은 없다.
• 자신이 브로드캐스트 도메인에서 가장 강력하다고 간주하는 노들만 'BeepMsg' 메시지를 전송하여 통신 오버헤드를 줄인다.
• 리더 장애를 감지할 경우 지터링하지 않는 노드의 순위를 증가시켜 경쟁하는 고순위 노드로 인한 순환을 깨는 메커니즘을 도입한다.
• 지속적 스토리지 없이도 메모리에 일시적으로 저장하는 우선순위 큐를 사용하여 들어오는 노드 식별자와 순위를 저장한다.

실험 결과

연구 질문

• RQ1 무한한 노드 창과 네트워크 안정성이 없는 부분적으로 비동기적이고 고도로 동적 네트워크에서 리더 선거를 달성할 수 있는가?
• RQ2 유한한 시간 내에 리더 선거를 보장할 수 있는 메시지 지연과 시계 오차에 대한 가장 약한 가정 조합은 무엇인가?
• RQ3 두 개의 고순위 노드가 계속해서 장애 및 복구를 반복하며 상호 교체하는 상황에서 리더 선거가 어떻게 정확하게 종료될 수 있는가?
• RQ4 최소한의 동기화와 지속적 메모리 없이도 알고리즘이 정확성과 효율성을 유지할 수 있는가?
• RQ5 다중 영역 병합, 자기안정성, 무선 애드혹 네트워크에 대한 확장 기능은 어떤 것이 가능한가?

주요 결과

• PALE는 최소한 한 개의 노드가 충분히 오래 생존하여 선출될 수 있는 조건 하에서, 지속적인 노드 창과 지터링하는 고순위 노드가 존재하는 상황에서도 유한한 시간 내에 종료됨을 보장한다.
• 알고리즘은 유한한 메시지 지연과 순위 증가 메커니즘을 통해 합의 및 유일한 리더 선출을 보장한다.
• 가장 약한 노드의 시계 기준으로 worst-case 상황에서 PALE는 O(n) 라운드 내에 종료되며, 여기서 n은 노드 수이다.
• 안정된 조건에서 총 메시지 복잡도는 O(n)이며, 이는 라운드당 평균 O(1) 메시지 비용을 의미한다.
• 가장 강력한 노드들이 안정되어 있을 경우, 참가자 목록이 유지되고 선택적 브로드캐스트가 이루어지므로 리더 교체에 총 O(1) 메시지만 소요된다.
• 알고리즘은 다중 영역 병합, 자기안정성, 다중 홉 무선 애드혹 네트워크에 대한 적응을 지원하며, 조정된 지연 상한선을 적용할 수 있다.