Design of Fault-tolerant Mutual Exclusion Protocol in Asynchronous Distributed Systems

비동기적 분산 시스템에서 결함허용 상호 배제 프로토콜의 설계

This paper defines the quorum-based fault-tolerant mutual exclusion problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by $M^*$, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ◇P. The paper shows that at any environment, the problem is solvable with $M^*$.

본 논문에서는 비동기적 분산시스템에서 고장 추적 장치를 이용한 상호배제의 문제를 서술하고 이러한 문제를 해결하는 가장 약한 고장 추적 장치를 결정하고자 한다. 이를 위해서 $M^*$라고 정의한 modal failure detector star 고장 추적 장치를 정의하고 $M^*$를 이용해서 상호배제 문제는 비동기적 분산 시스템에서 해결 가능함을 보인다. $M^*$는 perfect failure detector P보다 확실히 약하며 eventually perfect failure detector ◇P보다는 강한 고장추적 장치이다. 본 논문에서는 어떤 환경 안에서 이러한 문제가 해결 가능함을 보인다.