• 제목/요약/키워드: Election Algorithm

검색결과 69건 처리시간 0.023초

분산 시스템에서 고장 추적 장치를 이용한 선출 알고리즘 (An Election Algorithm with Failure Detectors in Distributed Systems)

  • 박성훈
    • 한국콘텐츠학회논문지
    • /
    • 제8권2호
    • /
    • pp.9-17
    • /
    • 2008
  • 본 논문에서는 동기적인 분산시스템에서 불리 알고리즘에 기초하여 하나의 새로운 선출(election) 알고리즘을 설계하고 이를 분석하고자 한다. 동기적인 분산시스템에서 기존의 불리 알고리즘은 고장 추적 장치를 이용하여 더욱 효율적으로 설계되고 구현 될 수 있음을 보인다.

Estimation of Smart Election System data

  • Park, Hyun-Sook;Hong, You-Sik
    • International journal of advanced smart convergence
    • /
    • 제7권2호
    • /
    • pp.67-72
    • /
    • 2018
  • On the internal based search, the big data inference, which is failed in the president's election in the United States of America in 2016, is failed, because the prediction method is used on the base of the searching numerical value of a candidate for the presidency. Also the Flu Trend service is opened by the Google in 2008. But the Google was embarrassed for the fame's failure for the killing flu prediction system in 2011 and the prediction of presidential election in 2016. In this paper, using the virtual vote algorithm for virtual election and data mining method, the election prediction algorithm is proposed and unpacked. And also the WEKA DB is unpacked. Especially in this paper, using the K means algorithm and XEDOS tools, the prediction of election results is unpacked efficiently. Also using the analysis of the WEKA DB, the smart election prediction system is proposed in this paper.

모바일 애드 혹 분산 시스템에서 선출 알고리즘의 명세 및 설계 (Design and Specification of an Election Algorithm in Mobile Ad Hoc Distributed Systems)

  • 박성훈
    • 디지털콘텐츠학회 논문지
    • /
    • 제11권4호
    • /
    • pp.453-461
    • /
    • 2010
  • 모바일 애드혹 분산 시스템에서 선출 알고리즘을 명세하고 설계하는 것은 매우 어려운 작업이다. 왜냐하면 모바일 애드혹 분산 시스템은 기존의 분산시스템보다 시스템의 실패에 취약하기 때문이다. 본 논문의 목적은 모바일 애드혹 분산 컴퓨팅 환경에 적합한 선출 알고리즘을 명세하고 하나의 설계모형을 제시하는데 있다. 이러한 목적을 위하여 본 논문에서는 하나의 선출 알고리즘을 설계하고 알고리즘의 정확성을 정형적으로 검증 하였다. 이러한 해결방안은 기존의 분산시스템에서 고전적인 알고리즘인 노드 탐지 알고리즘에 기반으로 하고 있다.

On Relationship between Safety and Liveness of Election Problem in Asynchronous Distributed Systems

  • Park, Sung-Hoon
    • International Journal of Contents
    • /
    • 제7권4호
    • /
    • pp.30-34
    • /
    • 2011
  • A Leader is a Coordinator that supports a set of processes to cooperate a given task. This concept is used in several domains such as distributed systems, parallelism and cooperative support for cooperative work. In completely asynchronous systems, there is no solution for the election problem satisfying both of safety and liveness properties in asynchronous distributed systems. Therefore, to solve the election problem in those systems, one property should be weaker than the other property. If an election algorithm strengthens the safety property in sacrifice of liveness property, it would not nearly progress. But on the contrary, an election algorithm strengthening the liveness property in sacrifice of the safety property would have the high probability of violating the safety property. In this paper, we presents a safety strengthened Leader Election protocol with an unreliable failure detector and analyses it in terms of safety and liveness properties in asynchronous distributed systems.

동기적 분산 시스템에서 효율적인 조정자 선출 알고리즘 (An Efficient Coordinator Election Algorithm in Synchronous Distributed Systems)

  • 박성훈
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제31권10호
    • /
    • pp.553-561
    • /
    • 2004
  • 결함 허용(fault-tolerant) 분산 시스템 구축 시 리더 선출(leader election)은 중요한 문제이다. 전통적인 방법으로 타임아웃에 기초한 동기적 분산 시스템을 위한 불리(Bully) 알고리즘이 있다. 본 논문에서는 타임아웃보다는 Failure Detector를 이용한 수정된 불리 알고리즘을 제시하고, 또한 전통적인 불리 알고리즘과 비교하여 수정된 불리 알고리즘의 수행 속도가 빠름을 보여주고 있다. 그 이유는 수정된 불리 알고리즘 수행 시 각 프로세스의 정상적인 작동 여부를 FD를 이용하여 빠르게 처리함으로써 처리 속도의 효율성이 높다는 점이다. 특히 다수의 프로세스들이 시스템으로 연결되어 있고, 각 프로세스에서 작동하는 프로세스들의 고장과 회복이 빈번히 발생하는 분산 시스템에서 FD를 이용하는 불리 알고리즘의 수행 속도는 전통적인 불리 알고리즘에 비해 훨씬 빠름을 보여 준다.

기지국 기반 무선 통신망에서 리더 선택 알고리즘의 설계 및 분석 (Design and Analysis of Leader Election Algorithm in Wireless Network based on Fixed Stations)

  • 박성훈
    • 한국산학기술학회논문지
    • /
    • 제15권7호
    • /
    • pp.4554-4561
    • /
    • 2014
  • 최근에 기존의 컴퓨터 시스템에서 결함허용 분산 어플리케이션을 설계하는데 필요한 요소를 몇 개의 중요한 패러다임으로 구분하여 단순화 되어 왔다. 리더 선택 프로토콜은 그 중에서도 가장 눈에 띄고 비중 있는 프로토콜로 알려져 있다. 선택 프로토콜은 그룹통신이나, 데이터의 원자적인(atomic) 커밋(commit), 복제 데이터의 관리와 같은 프로토콜 코디네이터가 필요한 분야에서 기초적인 설계 초석으로 유용하게 이용 될 수 있기 때문이다. 그러나 이러한 유성성에도 불구하고 기지국 기반 무선 통신 환경에서 아직까지 리더 선택의 문제를 다룬 연구는 많지 않았다. 본 논문에서는 기지국 기반 무선 통신 환경에서 리더 선택 프로토콜을 위한 선택 알고리즘을 제시하고 설계하고자 한다. 또한 설계된 선택 알고리즘은 다른 알고리즘에 비해 결함허용 측면에서 매우 효율적임을 보인다.

모바일 Ad-hoc 네트워크 시스템하에서 선출 알고리즘의 명세 및 증명 (Specification and Proof of an Election Algorithm in Mobile Ad-hoc Network Systems)

  • 김영란;김윤;박성훈;한현구
    • 한국멀티미디어학회논문지
    • /
    • 제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)로 검증하고자 한다.

분산 클러스터 환경에서 오픈데이라이트 컨트롤러 성능 분석 및 최적화 (Performance Analysis and Optimization of OpenDaylight Controller in Distributed Cluster Environment)

  • 이솔이;김태홍;김태준
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제6권11호
    • /
    • pp.453-462
    • /
    • 2017
  • 본 논문에서는 SDN (Software Defined Networking) 오픈소스 프레임워크인 오픈데이라이트(ODL, OpenDaylight) 컨트롤러 클러스터 환경에서 클러스터의 구조를 분석하며 고가용성(High availability)을 지원하는 컨트롤러 클러스터의 동작 방식을 다룬다. 또한 Raft 알고리즘의 리더 선정(Leader Election) 과정을 분석하고 효율적인 시스템 운용을 위한 Leader Election 과정의 개선 방안을 제안한다. 이와 함께 샤드(Shard) 리더와 샤드 팔로어의 성능차이를 제시하고, 기존과 제안 방식의 컨트롤러 클러스터의 성능을 비교 분석한다. 실험의 결과에 따르면 리더의 성능은 팔로어의 성능보다 좋으며 하나의 컨트롤러로 요청이 집중되어 전달될 때보다 분산된 컨트롤러로 요청이 전달될 때의 성능이 더 좋다. 따라서 제안 기법을 통하여 컨트롤러로의 요청을 분산함으로써 성능을 높일 수 있다.

CSP/FDR을 이용한 리더 선출 알고리즘의 검증 (Verification of Leader Election Algorithm with CSP/FDR)

  • 전철욱;김일곤;안영아;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
    • /
    • pp.25-27
    • /
    • 2004
  • 시스템이 대형화가 되어가고 네트워크 환경이 발전함에 따라 분산 환경이 점점 더 증대되어 가고 있다. 이러한 분산 환경에서 사용되는 리더 선출 알고리즘(Leader Election Algorithm)은 다양하게 제시되었고 본 논문에서는 Garcia-Molina가 제시한 Bully 알고리즘을 프로세스 알제브라 언어인 CSP로 명세하고 FDR 모델체킹 도구를 이용해 해당 요구사항을 만족하는지 검증하였다.

  • PDF

분산 이동 시스템에서 선출 프로토콜의 설계 (Design of an Leader Election Protocol in Mobile Ad Hoc Distributed Systems)

  • 박성훈
    • 한국콘텐츠학회논문지
    • /
    • 제8권12호
    • /
    • pp.53-62
    • /
    • 2008
  • 선출 프로토콜은 프로세스들의 그룹 통신, 데이터베이스의 원자성 완료와 복제된 데이터의 관리 등의 조정자(coordinator)가 이용 될 수 있는 많은 실질적인 문제를 해결하는데 하나의 기본적인 구성 요소로 이용 될 수 있다. 이 문제는 여러 연구단체에서 포괄적으로 연구 되어왔던 바, 이렇게 주된 연구 관심 영역이 된 하나의 이유는 많은 분산 프로토콜들이 하나의 선출 프로토콜을 필요로 하기 때문이다. 그러나 이러한 유용성에도 불구하고, 우리가 알기에는 이동 분산 컴퓨팅 환경에서 이러한 문제를 다룬 연구는 아직 없었다. 이동 분산 시스템은 기존의 분산 시스템 보다 훨씬 더 실패(failure)의 가능성이 높다. 그러한 환경에서 다수의 움직이는 노드들(nodes)로부터 선출의 문제를 해결하는 것은 움직이는 노드의 많은 실패(failure)에도 불구하고 하나의 모바일 노드가 우선순위에 의하여 리더로 선출 될 수 있도록 하는 것이다. 본 논문에서는 이동 분산 컴퓨팅 시스템에서 선출 문제에 대한 하나의 해결 방안을 제시 한다. 이 해결 방안은 Group Membership Detection 알고리즘에 바탕을 두고 있다.