• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.523-532
• /
• 2001

원자성 완료규약 분산트랜잭션을 규약에 참여하는 사이트에 일관되게 종료할 수 있게 한다. 사이트 나 통신의 고장에도 불구하고 참여자들이 트랜잭션을 정확하게 종료할 수 있다면 이것은 봉쇄문제를 제거한 규약이라 한다. 2PC 규약은 봉쇄 규약으로 유명하고, 반면에 3PC 규약은 봉쇄문제를 해결한 규약으로 알려졌다. 본 논문에서 제안된 봉쇄 해결 규약보다 봉쇄문제를 축소한 NB-2PC 규약을 제안한다. NB-2-PC 규약은 2PC 규약과 3PC규약을 변형한 규약이다. NB-2PC 규약은 선출단계에서 참여자들이 조정자에게 Prepare 메세지를 받으면, 조정자와 여러 참여자들에게 응답 메세지를 보낸다. 참여자들은 결정 메세지를 기다리다 조정자의 고장으로 인해 봉쇄 문제가 발생하면 Prepare 메세지를 보낸 참여자들 중에서 새로운 조정자를 선출한다. 참여자는 종료규약을 수행하여 봉쇄문제를 줄인다. 본 논문에서는 NB-2PC 규약의 기본적인 구조와 종료규약, 새로운 조정자 선출 방법을 제안한다. 또한 실험을 통하여 NB-2PC 규약이 3PC 규약보다 완료규약 수행시간이 우수하다는 것을 보인다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.261-266
• /
• 2005

Web services provide an effective means to carry out coordinated transactions between multiple, independent business parties. While there are several specific protocols currently being discussed to address the coordination of web services-enabled business transactions, we consider the tentative hold protocol (THP) that allows the placement of tentative holds on business resources prior to actual transactions in order to provide increased flexibility in coordination. In this paper, we present a formal coordination framework for applying THP in conjunction with 2PC to the problem in which service providers independently manage resources and clients seek to acquire the resources from multiple providers as a single atomic transaction. The proposed framework facilitates the performance optimization of THP through effective parameterization with the notion of overhold size and hold duration. The simulation results show that the proposed adaptive approach yields a significant improvement over other non-adaptive policies.

• 한국멀티미디어학회논문지
• /
• 제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)로 검증하고자 한다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.289-296
• /
• 2001

선출 프로토콜은 프로세스들의 그룹 통신, 데이터베이스의 원자성 완료와 복제된 데이터의 관리 등의 조정자(coordinator)가 이용 될 수 있는 많은 실질적인 문제를 해결하는데 하나의 기본적인 구성 요소로 이용 될 수 있다. 이 문제는 여러 연구 단체에서 포괄적으로 연구되어 왔던 바, 이렇게 주된 연구 관심 영역이 된 하나의 이유는 많은 분산 프로토콜들이 하나의 선출 프로토콜을 필요로 하기 때문이다. 그러나 이러한 유용성에도 불구하고, 우리가 알기에는 이동 컴퓨팅 환경에서 이러한 문제를 다룬 연구는 아직 없었다. 이동 시스템은 기존의 분산 시스템 보다 훨씬 더 실패(failure)의 가능성이 높다. 그러한 환경에서 다수의 모빌 호스트들(hosts)로부터 선출의 문제를 해결하는 것은 모빌 호스트나 고정된 호스트들의 많은 실패(failure)에도 불구하고 하나의 모빌 호스트나 또는 고정된 호스트가 우선 순위에 의하여 리더로 선출 될 수 있도록 하는 것이다. 본 논문에서는 이동 컴퓨팅 시스템에서 선출 문제에 대한 하나의 해결 방안을 제시한다. 이 해결 방법은 Garcia Molina의 Bully 알고리즘에 바탕을 두고 있다.

• 한국콘텐츠학회논문지
• /
• 제8권12호
• /
• pp.53-62
• /
• 2008

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

• 한국산학기술학회논문지
• /
• 제15권7호
• /
• pp.4554-4561
• /
• 2014

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