Journal of Korea Multimedia Society (한국멀티미디어학회논문지)

Korea Multimedia Society (한국멀티미디어학회)
권호 표지

Specification and Proof of an Election Algorithm in Mobile Ad-hoc Network Systems

모바일 Ad-hoc 네트워크 시스템하에서 선출 알고리즘의 명세 및 증명

  • 김영란 (한국외국어대학교 대학원 컴퓨터공학) ;
  • 김윤 (한국재활복지대학 컴퓨터정보보안과) ;
  • 박성훈 (충북대학교 컴퓨터공학부) ;
  • 한현구 (한국외국어대학교 컴퓨터공학과)
  • Received : 2009.10.23
  • Accepted : 2010.04.21
  • Published : 2010.07.31
Download PDF
⟨ Previous Next ⟩

Abstract

The Election paradigm can be used as a building block in many practical problems such as group communication, atomic commit and replicated data management where a protocol coordinator might be useful. The problem has been widely studied in the research community since one reason for this wide interest is that many distributed protocols need an election protocol. However, mobile ad hoc systems are more prone to failures than conventional distributed systems. Solving election in such an environment requires from a set of mobile nodes to choose a unique node as a leader based on its priority despite failures or disconnections of mobile nodes. In this paper, we describe a solution to the election problem from mobile ad hoc computing systems and it was proved by temporal logic. This solution is based on the Group Membership Detection algorithm.

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

Keywords

References

  1. G. Le Lann, B. Gilchrist Ed., "Distributed Systems - towards a Formal Approach," Information Processing 77, North - Holland, 1977.
  2. H. Garcia-Molina, "Elections in a Distributed Computing System," IEEE Transactions on Computers, Vol. C-31, No. 1, pp. 49-59, 1982.
  3. H. Abu-Amara and J. Lokre, "Election in Asynchronous Complete Networks with Intermittent Link Failures," IEEE Transactions on Computers, Vol.43, No.7, pp.778-788, 1994. https://doi.org/10.1109/12.293257
  4. H.M. Sayeed, M. Abu-Amara, and H. Abu-Avara, "Optimal Asynchronous Agreement and Leader Election Algorithm for Complete Networks with Byzantine Faulty Links," Distributed Computing, Vol.9, No.3, pp. 147-156, 1995. https://doi.org/10.1007/s004460050016
  5. J. Brunekreef, J.-P. Katoen, R. Koyrnans, and S. Mauw, "Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks," Distributed Computing, Vol.9, No.4, pp. 157-171, 1996. https://doi.org/10.1007/s004460050017
  6. G. Singh, "Leader Election in the Presence of Link Failures," IEEE Transactions on Parallel and Distributed Systems, Vol.7, No.3, pp. 231-236, 1996. https://doi.org/10.1109/71.491576
  7. David Powell, guest editor, "Special Section on Group Communication," Communications of the ACM, Vol.39, No.4, pp. 50-97, 1996. https://doi.org/10.1145/227210.227225
  8. Pradhan D. K., Krichna P., and Vaidya N. H., "Recoverable Mobile Environments: Design and Tradeoff Analysis," FTCS-26, June 1996.
  9. N. Malpani, J. Welch, and N. Vaidya, "Leader Election Algorithms for Mobile Ad hoc Networks," In Fourth International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications, Boston, MA, August 2000.
  10. K. Hatzis, G. Pentaris, P. Spirakis, V. Tampakas, and R. Tan, "Fundamental Control Algorithms in Mobile Networks," In Proc. of 11th ACM SPAA, pp. 251-260, March 1999.
  11. C. Lin and M. Gerla, "Adaptive Clustering for Mobile Wireless Networks," IEEE Journal on Selected Areas in Communications, Vol.15, No.7, pp. 1265-75, 1997. https://doi.org/10.1109/49.622910
  12. P. Basu, N. Khan, and T. Little, "A Mobility Based Metric for Clustering in Mobile Ad hoc Networks," In International Workshop on Wireless Networks and Mobile Computing, April 2001.