[논문 리뷰] Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms

Bernadette Charron-Bost, Matthias Függer외 1명|Max Planck Digital Library|2014. 08. 04.

Distributed systems and fault tolerance참고 문헌 28인용 수 6

한 줄 요약

이 논문은 근사 공감대가 매우 동적인 네트워크에서 근사 공감대가 가능함을 보여주며, 각 라운드의 통신 그래프가 루트를 가진 스패닝 트리를 포함하는 경우에만 가능하다. 이는 루트(협의자)가 임의로 변화하더라도 성립한다. 메모리리스 평균화 알고리즘—식별자가 필요 없음—이 solvability를 완전히 캡처하며, $\varepsilon$-정밀도를 $O(n^{n+1}\log\frac{1}{\varepsilon})$의 동기 라운드 또는 메시지 지연 $\Delta$가 있을 경우 $O(\Delta n^{n\Delta+1}\log\frac{1}{\varepsilon})$ 라운드 내에 달성한다. 이는 구조적 모델에서 다항식 경계를 가진다.

ABSTRACT

In this paper, we investigate the approximate consensus problem in highly dynamic networks in which topology may change continually and unpredictably. We prove that in both synchronous and partially synchronous systems, approximate consensus is solvable if and only if the communication graph in each round has a rooted spanning tree, i.e., there is a coordinator at each time. The striking point in this result is that the coordinator is not required to be unique and can change arbitrarily from round to round. Interestingly, the class of averaging algorithms, which are memoryless and require no process identifiers, entirely captures the solvability issue of approximate consensus in that the problem is solvable if and only if it can be solved using any averaging algorithm. Concerning the time complexity of averaging algorithms, we show that approximate consensus can be achieved with precision of $\varepsilon$ in a coordinated network model in $O(n^{n+1} \log\frac{1}{\varepsilon})$ synchronous rounds, and in $O(Δn^{nΔ+1} \log\frac{1}{\varepsilon})$ rounds when the maximum round delay for a message to be delivered is $Δ$. While in general, an upper bound on the time complexity of averaging algorithms has to be exponential, we investigate various network models in which this exponential bound in the number of nodes reduces to a polynomial bound. We apply our results to networked systems with a fixed topology and classical benign fault models, and deduce both known and new results for approximate consensus in these systems. In particular, we show that for solving approximate consensus, a complete network can tolerate up to 2n-3 arbitrarily located link faults at every round, in contrast with the impossibility result established by Santoro and Widmayer (STACS '89) showing that exact consensus is not solvable with n-1 link faults per round originating from the same node.

연구 동기 및 목표

• 예측할 수 없는 위상 변화가 있는 매우 동적인 네트워크에서 근사 공감대가 계산 가능한 최소 네트워크 조건을 규명하는 것.
• 익명이고 메모리리스인 평균화 알고리즘이 이러한 환경에서 근사 공감대의 solvability를 완전히 특성화할 수 있는지 조사하는 것.
• 제한된 메시지 지연이 있는 동기 및 부분적으로 동기 모델에서 평균화 알고리즘의 시간 복잡도 경계를 설정하는 것.
• 지수 시간 복잡도가 다항식 시간으로 감소하는 구조적 네트워크 모델을 탐색하는 것.
• 정적 네트워크에서 일시적인 링크 장애가 발생할 경우의 고장 내성에 대해 새로운 결과를 도출하는 것. 특히 완전 그래프에 초점한다.

제안 방법

• 근사 공감대가 동기 및 부분적으로 동기 시스템에서 각 라운드의 통신 그래프가 루트를 가진 스패닝 트리를 포함하는 경우에만 가능함을 증명한다. 이는 루트의 신원이나 시간에 따른 변화와 무관하다.
• 메시지 지연을 모델링하고 루트의 가용성을 분석하기 위해 $\Delta$ 라운드 동안 통신 그래프를 계층적 그래프 $\tilde{G}$로 변환하는 새로운 방법을 사용한다.
• 시간 창 내에서 루트에 도달할 수 있는 노드 집합을 추적하기 위해 집합 $T_a(k)$와 $T_b(k)$를 정의하며, 단조성 및 닫힘 성질을 활용한다.
• 귀납적 추론과 모순을 이용하여 $n\Delta$ 라운드 이후 $T_a(k+n\Delta-1)$와 $T_b(k+n\Delta-1)$ 집합이 반드시 교차함을 보여, 이는 공감대를 의미한다.
• 평균화 알고리즘이 메모리리스이며 프로세스 식별자가 필요 없음을 활용하여, 익명의 동적 네트워크에 적합함을 강조한다.
• 가능한 상태 전이의 수와 루트가 있는 그래프의 구조에 기반한 조합적 추론을 통해 수렴 시간의 상한을 유도한다.

실험 결과

연구 질문

• RQ1 매우 동적인 네트워크에서 근사 공감대를 가능하게 하는 통신 그래프에 대한 최소 구조적 조건은 무엇인가?
• RQ2 메모리리스이고 식별자 없이 작동하는 평균화 알고리즘이 동적 네트워크에서 근사 공감대의 solvability를 완전히 특성화할 수 있는가?
• RQ3 제한된 메시지 지연이 있는 동적 네트워크에서 평균화 알고리즘이 $\varepsilon$-정밀도를 달성하는 데 걸리는 시간 복잡도는 무엇인가?
• RQ4 어떤 구조적 네트워크 모델에서 평균화 알고리즘의 지수 시간 복잡도가 다항식 시간으로 감소하는가?
• RQ5 완전한 네트워크는 얼마나 많은 일시적인 링크 고장에 견딜 수 있으며, 이는 정확한 공감대에 대한 알려진 불가능성 결과와 비교해 어떻게 되는가?

주요 결과

• 근사 공감대는 매우 동적인 네트워크에서 각 라운드의 통신 그래프가 루트를 가진 스패닝 트리를 포함하는 경우에만 가능하며, 이는 루트가 임의로 변화하더라도 성립한다.
• 메모리리스이고 익명인 평균화 알고리즘의 클래스는 근사 공감대의 solvability를 완전히 캡처한다. 즉, 문제의 solvability는 어떤 그러한 알고리즘으로도 해결 가능한지 여부에 의해 결정된다.
• 동기 네트워크에서는 $\varepsilon$-정밀도를 달성하기 위해 $O(n^{n+1}\log\frac{1}{\varepsilon})$ 라운드 내에 근사 공감대가 달성된다.
• 메시지 지연 $\Delta$가 있을 경우 시간 복잡도는 $O(\Delta n^{n\Delta+1}\log\frac{1}{\varepsilon})$ 라운드로 증가한다.
• 완전 그래프와 같은 구조적 네트워크 모델에서는 지수 경계가 다항식 시간으로 감소하여, 동적 변화가 있더라도 효율적인 공감대를 달성할 수 있다.
• 완전한 네트워크는 라운드당 최대 $2n-3$개의 임의로 위치한 링크 고장을 견딜 수 있으며, 이는 정확한 공감대를 파기하는 데 $n-1$ 고장 한계보다 상당히 향상된 것이다 (Santoro와 Widmayer, 1989 참조).