[논문 리뷰] Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants

Pierre Sens, Luciana Arantes외 3명|arXiv (Cornell University)|2007. 01. 03.

Distributed systems and fault tolerance참고 문헌 8인용 수 9

한 줄 요약

이 논문은 크기와 연결성에 대해 알 수 없고 부분적으로 연결된 참가자를 가진 동적이고 이동 가능한 애드혹 네트워크(MANET)를 위한 타이머 없는 이방향 장애 감지기(장애 감지기)를 제안한다. 이는 국소화된 플러드 기반의 질의-응답 메커니즘을 사용하여 장애에 대한 의심과 수정 사항을 전파하며, 특정 행동 및 연결성 조건 하에서 $◄ S$ 장애 감지기를 실제로 작동시킬 수 있음을 증명한다. 이는 시스템 크기나 네트워크 구조에 대한 사전 지식 없이 이방향 시스템에서 결정론적 합의를 가능하게 한다.

ABSTRACT

We consider the problem of failure detection in dynamic networks such as MANETs. Unreliable failure detectors are classical mechanisms which provide information about process failures. However, most of current implementations consider that the network is fully connected and that the initial number of nodes of the system is known. This assumption is not applicable to dynamic environments. Furthermore, such implementations are usually timer-based while in dynamic networks there is no upper bound for communication delays since nodes can move. This paper presents an asynchronous implementation of a failure detector for unknown and mobile networks. Our approach does not rely on timers and neither the composition nor the number of nodes in the system are known. We prove that our algorithm can implement failure detectors of class <>S when behavioral properties and connectivity conditions are satisfied by the underlying system.

연구 동기 및 목표

• 노드 수와 연결성이 알 수 없고 변동성이 큰 동적 이동 네트워크, 예를 들어 MANET와 같은 환경에서 신뢰할 수 있는 장애 감지 메커니즘이 부족한 문제를 해결한다.
• 고정된, 완전히 연결된 네트워크와 알려진 멤버십을 가정하는 기존 타이머 기반 장애 감지기의 한계를 극복한다.
• 타이머 없이 국소적 네트워크 인식과 메시지 전파에만 의존하는 확장 가능한 이방향 장애 감지 메커니즘을 설계한다.
• 실제적인 동적 네트워크 조건 하에서 최종 강력 완전성과 최종 강력 정확성을 확보할 수 있도록 장애 감지기가 $◄ S$ 클래스 성질을 달성할 수 있도록 보장한다.
• 프로세스가 고장나거나 이동할 수 있는 이방향 시스템에서 결정론적 합의를 지원하기 위해 이동성과 자율성 네트워크에 적합한 강력한 분산 장애 감지 서비스를 제공한다.

제안 방법

• 각 노드가 현재 이웃과 주기적으로 메시지를 교환하는 국소화된 질의-응답 메커니즘을 사용하며, 수신한 메시지에 기반한다.
• 각 질의 메시지는 의심되는 프로세스와 이전에 감지된 오류(예: 잘못된 의심) 정보를 함께 실어 보낸다.
• 타이머에 의존하지 않고, 이웃에서 예상되는 응답이 장기간 없을 경우 국소적으로 장애에 대한 의심이 발생한다.
• 의심과 수정 사항은 메시지 플러드를 통해 전파되어 네트워크 전역에서 장애 상태가 수렴하게 된다.
• 알고리즘은 f커버링 성질을 가정하며, 노드 고장이 발생하더라도 연결성이 유지됨을 보장한다.
• 반응성($\mathcal{RP}$, $\mathcal{M}obi\mathcal{RP}$), 멤버십($\mathcal{MP}$), 이동성($\mathcal{M}obi\mathcal{P}$) 성질 등의 행동 가정 하에서 정확성이 증명된다.

실험 결과

연구 질문

• RQ1 타이머나 시스템 크기, 네트워크 구조에 대한 사전 지식 없이 이방향 동적 네트워크에서 장애 감지기를 작동시킬 수 있는가?
• RQ2 부분적으로 연결된, 이동 가능한 네트워크에서 참가자가 알 수 없을 때, 장애 감지기가 $◄ S$ 클래스 성질을 달성할 수 있는 조건은 무엇인가?
• RQ3 전체 제어나 중심 집중식 제어 없이 국소적 인식과 메시지 전파만으로 장애 감지 기능을 달성할 수 있는가?
• RQ4 이동성과 알 수 없는 네트워크에서 최종 강력 완전성과 최종 강력 정확성을 보장하기 위해 필요한 필수 조건은 무엇인가?
• RQ5 이러한 장애 감지기가 프로세스가 고장나거나 이동할 수 있는 이방향 시스템에서 합의를 지원할 수 있는가?

주요 결과

• 제안된 장애 감지기는 동적이고 부분적으로 연결되며 알 수 없는 네트워크에서 $◄ S$ 클래스 장애 감지기를 정확하게 작동시킨다.
• 알려지지 않은 통신 지연이 흔한 이동 네트워크에서 잘 작동하도록 타이머 없이 작동하여 내구성이 뛰어나다.
• 의심과 수정 사항은 메시지 플러드를 통해 전파되어 모든 노드가 최종적으로 올바른 장애 상태에 합의하게 된다.
• f커버링 성질과 행동 성질($\mathcal{RP}$, $\mathcal{MP}$, $\mathcal{M}obi\mathcal{RP}$, $\mathcal{M}obi\mathcal{P}$)이 충족되면 최종 강력 완전성과 최종 강력 정확성을 달성한다.
• 알고리즘은 노드 이동성에 대응하며 총 노드 수나 완전히 연결된 네트워크에 대한 지식이 필요하지 않다.
• 시뮬레이션 결과에 따르면 노드가 이동한 후 일시적으로 잘못된 의심이 증가하지만, 모든 노드가 359.5초 이내에 잘못된 의심을 철회하며 전역적으로 수정됨을 확인했다.