• 한국멀티미디어학회논문지
• /
• 제13권7호
• /
• pp.950-959
• /
• 2010

리더선출(leader election)은 분산컴퓨팅 환경에서 원자적 실행완료(atomic commit) 및 복제 데이터(replicated data)관리 등을 지원하는데 반드시 요구되는 문제이다. 그룹 내의 프로세서들 중에서 선출된 리더는 프로세서들 간에 다양한 목표를 수행하기 위한 조정자(coordinator) 역할을 수행하게 된다. 지금까지 기존의 정적(static) 통신환경에서 그룹 내 네트워크 장애 및 프로세서 장애 등을 고려하여 통신시스템의 신뢰성을 확보하기 위한 다양한 결함허용(fault-tolerant) 프로토콜이 제안되었다. 그러나 이러한 기존의 시스템과는 달리 모바일 ad hoc 시스템은 환경적 특성상 다양한 형태의 장애가 발생할 수 있는 소지가 훨씬 많아지게 된다. 따라서 이러한 환경에서 선출문제를 해결하기 위해서는 프로세서 장애 또는 네트워크 장애가 빈번히 발생할 수 있음을 충분히 고려하여 리더선출문제를 제시하여야 할 것이다. 본 논문에서는 모바일 ad hoc 분산컴퓨팅 시스템에서 그룹 멤버십 탐지(Group Membership Detection) 알고리즘을 기반으로 한 리더선출 프로토콜을 제안하고 이를 시제논리(temporal logic)로 검증하고자 한다.

• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4543-4552
• /
• 2010

리더는 그룹 내의 여러 프로세스 중에서 조정자 역할을 하는 특별한 프로세스이다. 분산 시스템에서 하나의 조정자를 선출하는 과정을 리더선출이라 하며 이는 결함허용 분산시스템을 구축하기 위한 매우 중요한 문제이다. 현재 정상 작동하고 있는 두 개의 모바일 ad hoc 네트워크 그룹들이 병합되면 두 개의 리더가 존재하게 된다. 이것은 안전성 속성에 위배되므로 이를 감지하고 처리할 수 있는 메커니즘이 필요하다. 본 논문에서는 모바일 ad hoc 분산 컴퓨팅 시스템에서 그룹 멤버십 탐지 기반의 리더 경쟁 프로토콜을 제안하고 이를 시제논리로 검증하고자 한다.