[논문 리뷰] Lattice Agreement in Message Passing Systems.

Xiong Zheng, Changyong Hu외 1명|arXiv (Cornell University)|2018. 01. 01.

Distributed systems and fault tolerance인용 수 9

한 줄 요약

이 논문은 장애 발생 시에도 안정적으로 작동하는 분산 메시지 전달 시스템에서 격자 합의 및 일반화된 격자 합의를 위한 효율적인 알고리즘을 제안한다. 동기 및 이성적 환경 모두에서 라운드 수와 메시지 지연 복잡도를 향상시켰으며, 동기 시스템에서는 $\min \{O(\log^2 h(L)), O(\log^2 f)\}$ 라운드로 시간 복잡도를 감소시키고, 이성적 시스템에서는 $2 \cdot \min \{h(L), f + 1\}$ 메시지 지연을 달성하여 이전 연구를 능가한다.

ABSTRACT

This paper studies the lattice agreement problem and the generalized lattice agreement problem in distributed message passing systems. In the lattice agreement problem, given input values from a lattice, processes have to non-trivially decide output values that lie on a chain. We consider the lattice agreement problem in both synchronous and asynchronous systems. For synchronous lattice agreement, we present two algorithms which run in $\log f$ and $\min \{O(\log^2 h(L)), O(\log^2 f)\}$ rounds, respectively, where $h(L)$ denotes the height of the {\em input sublattice} $L$, $f < n$ is the number of crash failures the system can tolerate, and $n$ is the number of processes in the system. These algorithms have significant better round complexity than previously known algorithms. The algorithm by Attiya et al. \cite{attiya1995atomic} takes $\log n$ synchronous rounds, and the algorithm by Mavronicolasa \cite{mavronicolasabound} takes $\min \{O(h(L)), O(\sqrt{f})\}$ rounds. For asynchronous lattice agreement, we propose an algorithm which has time complexity of $2 \cdot \min \{h(L), f + 1\}$ message delays which improves on the previously known time complexity of $O(n)$ message delays. The generalized lattice agreement problem defined by Faleiro et al in \cite{faleiro2012generalized} is a generalization of the lattice agreement problem where it is applied for the replicated state machine. We propose an algorithm which guarantees liveness when a majority of the processes are correct in asynchronous systems. Our algorithm requires $\min \{O(h(L)), O(f)\}$ units of time in the worst case which is better than $O(n)$ units of time required by the algorithm of Faleiro et al. \cite{faleiro2012generalized}.

연구 동기 및 목표

• 크래시 장애가 발생하는 분산 메시지 전달 시스템에서 격자 합의 문제를 해결하기 위해.
• 기존 솔루션에 비해 동기 시스템에서 격자 합의의 라운드 복잡도를 감소시키기 위해.
• 이성적 시스템에서 격자 합의의 메시지 지연 복잡도를 향상시키기 위해.
• 복제된 상태 기계를 위한 일반화된 격자 합의 문제로 확장하기 위해.
• 이성적 시스템에서 다수의 프로세스가 정상 작동할 경우에도 생존성을 보장하기 위해.

제안 방법

• 입력 부분 격자 높이와 장애 내성 수준을 활용하여, 각각 $\log f$ 및 $\min \{O(\log^2 h(L)), O(\log^2 f)\}$ 라운드 복잡도를 가지는 두 가지 동기 격자 합의 알고리즘을 설계하였다.
• 기존의 $O(n)$ 기준에 비해 향상된 $2 \cdot \min \{h(L), f + 1\}$ 메시지 지연 시간을 가지는 이성적 격자 합의 알고리즘을 제안하였다.
• 이성적 시스템에서 다수의 프로세스가 정상 작동할 경우 생존성을 보장하는 일반화된 격자 합의 알고리즘을 도입하였다.
• 입력 부분 격자 $L$의 구조와 그 높이 $h(L)$를 활용하여 알고리즘 성능을 최적화하였다.
• 결론 및 합의 문제에서 유래한 기법을 활용하여 고장 발생 환경에서도 정확성과 효율성을 유지하였다.
• 격자의 부분 순서와 고장 내성 특성을 활용하여 시간 복잡도를 최적화하였다.

실험 결과

연구 질문

• RQ1 기존 알고리즘보다 동기 메시지 전달 시스템에서 격자 합의의 라운드 복잡도를 낮출 수 있는가?
• RQ2 이성적 격자 합의의 최적 메시지 지연 복잡도는 무엇이며, 기존의 $O(n)$ 기준을 초월해 향상시킬 수 있는가?
• RQ3 이성적 시스템에서 다수의 프로세스가 정상 작동할 조건 하에 생존성을 보장하는 일반화된 격자 합의는 어떻게 설계할 수 있는가?
• RQ4 일반화된 격자 합의의 시간 복잡도를 $O(n)$에서 $h(L)$와 $f$의 함수로 감소시킬 수 있는가?
• RQ5 입력 부분 격자의 높이 $h(L)$는 합의 알고리즘 성능 최적화에 어떤 역할을 하는가?

주요 결과

• 제안된 동기 격자 합의 알고리즘은 $\log f$ 라운드를 달성하여, Attiya 등이 제시한 $\log n$ 라운드와 Mavronicolas의 $\min \{O(h(L)), O(\sqrt{f})\}$ 라운드에 비해 크게 향상되었다.
• 두 번째 동기 알고리즘은 $\min \{O(\log^2 h(L)), O(\log^2 f)\}$ 라운드 복잡도를 달성하여, $h(L)$ 또는 $f$ 가 작을 경우 더 나은 성능을 보였다.
• 이성적 격자 합의 알고리즘은 $2 \cdot \min \{h(L), f + 1\}$ 메시지 지연을 달성하여, 이전의 $O(n)$ 지연 기준을 초월하였다.
• 일반화된 격자 합의 알고리즘은 다수의 프로세스가 정상 작동할 경우 이성적 시스템에서도 생존성을 보장하여 실용적 복제에 필수적인 조건을 충족시켰다.
• 일반화된 격자 합의 알고리즘의 최악의 경우 시간 복잡도는 $\min \{O(h(L)), O(f)\}$이며, Faleiro 등이 제시한 $O(n)$ 복잡도보다 향상되었다.
• 결과적으로, 입력 부분 격자의 구조와 장애 내성 파라미터를 활용함으로써 격자 합의 알고리즘의 성능을 크게 향상시킬 수 있음을 입증하였다.