Journal of the Korea Academia-Industrial cooperation Society (한국산학기술학회논문지)

The Korea Academia-Industrial cooperation Society (한국산학기술학회)
권호 표지
DOI QR코드

DOI QR Code

Leader Decision Protocol for Dynamic Changing Topology in Mobile Ad hoc Networks

모바일 ad hoc 네트워크에서 동적인 토폴로지 변화에 따른 리더 결정

  • Kim, Young-Lan (Dept. of Computer Science & Engineering, Hankuk University of Foreign Studies) ;
  • Han, Hyun-Goo (Dept. of Computer Science & Engineering, Hankuk University of Foreign Studies) ;
  • Park, Sung-Hoon (Dept. of Computer Engineering, Chungbuk National Univiversity)
  • 김영란 (한국외국어대학교 컴퓨터공학과) ;
  • 한현구 (한국외국어대학교 컴퓨터공학과) ;
  • 박성훈 (충북대학교 전기전자공학부)
  • Received : 2010.08.19
  • Accepted : 2010.11.19
  • Published : 2010.11.30
Download PDF
⟨ Previous Next ⟩

Abstract

A leader is a special process who roles as the coordinator within multiple processes of a group. In a distributed system, leader election is the procedure of electing a coordinator. This is a very important issue for building fault-tolerant distributed systems. When two normal mobile ad hoc networks are merged, there are two leaders. This violates the safety property, so a mechanism to detect and handle are required. In mobile ad hoc distributed computing system, we propose a leader competition protocol and to prove the temporal logic to it. This solution is based on the group membership detection algorithm.

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

Keywords

References

  1. Zygmunt J. Haas, et. al., Wireless Ad Hoc Networks, Perkins, Charlies Ed., AD HOC NETWORKING, pp. 221-225, Addison Wesley, 2001.
  2. David Powell, guest editor, "Special section on group communication," Communications of the ACM, Vol.39, No. 4, pp.50-97, April 1996. https://doi.org/10.1145/227210.227225
  3. Vijay K. Garg, Elements of Distributed Computing, Wiley Interscience, 2002.
  4. S. Vasudevan, et..al., "Design and Analysis of a Leader Election Algorithm for Mobile Ad hoc Networks," Proceeding of the IEEE 12th International Conference on Network Procotols, pp.350-360, 2004. https://doi.org/10.1109/ICNP.2004.1348124
  5. Zohar Manna and Amir Puneli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, 1995.
  6. Edward Chang, Zohar Manna, Amir Puneli, "The Safety-Progress Classification," In Logic, Algebra and Computation, NATO ASI Series, Subseries F: Computer and System Sciences, Springer-Verlag, 1992.
  7. Orhan Dagdeviren, Kayhan Erciyes, "A Hierarchical Leader Election Protocol for Mobile Ad hoc Networks," Proceeding of the 8th International Conference on Computational Science, 2008.
  8. 김영란, et al., "모바일 ad hoc 네트워크 시스템하에서 선출 알고리즘의 명세 및 증명," 멀티미디어학회논문지 제13권 제7호, pp.950-959, 2010.