비동기적 분산 시스템하에서 선출 문제와 합의 문제의 관련성 연구

Study on Relationship between Election and Consensus in Asynchronous Distributed Systems

본 논문에서는 신뢰 할 수 없는 고장추적 장치로 구성 된 비동기적 분산 시스템 하에서 선출(election) 문제와 합의(consensus) 문제의 관련성에 관하여 연구하고자 한다. 먼저 선출 문제는 합의 문제보다 더욱 어려운 문제임을 보인다. 합의 문제와는 대조적으로 선출 문제는 시스템 상에서 단 한 개의 노드가 죽은 경우에도 신뢰 할 수 없는 고장 추적 장치를 이용하여 선출 문제를 해결 할 수 없다. 보다 엄밀하게 표현하자면, 선출 문제를 해결하는데 필요한 가장 약한 고장 추적 장치는 완전한 고장 추적 장치이어야 하는 것으로, 이는 합의 문제를 해결하는데 필요한 가장 약한 고장 추적 장치보다 확실히 강한 것이다. 선출 문제가 합의 문제보다 어렵다는 것을 보이기 위해 본 논문에서는 축소(reduction) 프로토클을 이용 한다.