분산시스템 환경에서, 흩어져 있는 다양한 형태의 자원들을 통제하고 관리하기 위해서는 분산된 여러 프로세스들 가운데 조정자(coordinator)로서의 역할을 담당할 특별한 프로세스를 필요로 한다. 이러한 조정자 프로세스를 통상 리더(leader)라고 부르며 리더를 선출하기 위한 알고리즘은 신뢰성있는 분산시스템을 구축하는 데 필수적인 중요한 요소가 된다. 이 논문에서는 특별히 failure detector(FD)를 구현한 비동기 분산시스템 환경에서 선출 문제 및 컨센서스 문제 간의 상관관계를 통해 제기되는 문제를 다루고자 한다. 먼저, 시스템 모델을 정의하고 그 다음으로 리더 선출을 설명한 후 마지막으로 축소 프로토콜을 이용하여 선출 문제가 컨센서스 문제에 비해 상대적으로 어려움을 증명하도록 할 것이다.
In this paper, I raise an issue regarding the relationships between the Election problem and the Consensus problem in asynchronous systems with unreliable failure detectors. First, I describe our system model, and then define Leader Election. After then, I show that the Election problem is harder to resolve than the Consensus problem. Each correct process eventually gets into the state in which it considers only one process to be a leader. Therefore a Perfect Failure Detector is the weakest failure detector which is sufficient to solve the Election. In order to show that the Election problem is harder to resolve than the Consensus problem, I utilize the Reduction protocol in this paper.
