비동기적인 분산시스템에서 선출문제의 안전성대 활동성

국문 초록 (Abstract)

지금까지 완전한 비동기적 분산시스템에서 안정성과 활동성을 동시에 만족시키는 선출문제의 해결방법은 없는 것으로 알려져 있다. 따라서 그러한 시스템에서 선출문제를 해결하기 위해서는 하나의 속성이 다른 속성에 비해 약화되어야 한다. 만일 안정성을 강조하고 활동성을 희생한 선출 알고리즘이라면, 해당 알고리즘은 거의 수행을 못할 수 도 있다. 반면에 활동성을 강화한 선출 알고리즘은 안정성을 위반할 가능성이 높다. 본 논문에서는 안정성 기반의 선출 프로토콜을 제시하고 안정성과 활동성의 견지에서 해당 프로토콜을 분석한다.

다국어 초록 (Multilingual Abstract)

In completely asynchronous systems, there is no solution for the election problem satisfying both of safety and liveness properties in asynchronous distributed systems. Therefore, to solve the election problem in those systems, one property should be weaker than the other property. If an election algorithm strengthens the safety property in sacrifice of liveness property, it would not nearly progress. But on the contrary, an election algorithm strengthening the liveness property in sacrifice of the safety property would have the high probability of violating the safety property. In this paper, we presents a safety strengthened Leader Election protocol with an unreliable failure detector and analyses it in terms of safety and liveness properties in asynchronous distributed systems.