Earticle

Raft는 하이퍼레저 패브릭 블록체인 프레임워크 내에서 클라이언트의 트랜잭션 요청을 기록하는 순서를 결정하고 복제 서버의 데이터 일치성을 보장하는 오더링 서비스를 제공하기 위한 것이다. 분산 합의 알고리즘인 Raft는 클러 스터로 구성된 여러 복제 서버에서 동작한다. 이 실용적인 합의 알고리즘의 성능과 안전성을 분석하기 위한 여러 연 구가 있었으나, 가용성의 측면에서는 아직 충분한 고려가 없었다. 본 연구는 주 서버 노드 역할을 하는 리더의 결함 에 의해 서비스가 중단되고 새로운 리더가 선출되어 서비스가 재개될 때까지의 복구 시간을 단축하는 것을 목표로 진행되었다. 본 논문에서 제시하는 개선안은 알고리즘의 상태 전이 단계에 리더와 팔로워 그리고 후보 상태 외에 페 이버릿이라는 새로운 상태를 추가한 것이다. 다섯 개의 복제 서버로 구성되는 시스템을 원래 Raft 알고리즘과 페이 버릿 Raft 알고리즘 두 가지로 구현하고, 실험을 통하여 두 알고리즘의 응답 시간을 측정하였다. 또한 결함 탐지와 복구 과정에서 중요한 역할을 담당하는 제한시간의 범위를 정하는 방안을 제시하였다. 제안한 알고리즘은 원래 Raft 알고리즘에 비하여 8% 정도의 복구 시간 개선 효과를 나타내었다. 실험에서 관측된 데이터를 면밀하게 분석 하여 제시된 알고리즘의 실효성을 입증하였다.

Raft is to provide the ordering service for Hyperledger Fabric blockchain framework, which determines the recording order of transaction requests from clients and supports the data consistency among replicated servers. As a distributed consensus algorithm, Raft runs on multiple replicated servers composing a cluster. Although some research works were presented to analyze the performance and safety of the practical consensus algorithm, its availability has not been fully considered yet. This research has been conducted with a goal of reducing the recovery time from the service interruption due to a faulty leader until the resumption of service by a newly elected leader. An improvement proposed in this paper introduces a new state called ‘Favorite’ into the state transition of the algorithm in addition to the leader, follower, and candidate states. Both original and ‘Favorite’ Raft algorithms were implemented with five replicated servers, and the response times were measured in the experiments. A guideline to determine the range of the timeout values which plays an important role in the procedure of fault detection and recovery was also suggested in the paper. Compared to the original Raft algorithm, the proposed algorithm showed about 8 percent of improvement in recovery time. We have demonstrated the effect of the proposed algorithm by a thorough analysis on the data observed in the experiments.

하이퍼레저 패브릭의 분산 합의 알고리즘인 Raft는 클러스터를 구성하는 여러 복제 노드에서 동작하며 블록체인 프 레임워크의 오더링 서비스를 제공하는 데 사용된다. 이 실용적인 합의 알고리즘의 성능과 안전성을 분석하기 위한 여러 연구가 있었으나, 가용성의 측면에서는 아직 충분한 고려가 없었다. 복제 노드 중 리더의 실패가 전체 시스템 을 사용할 수 없게 만들고 실패한 리더가 복구될 때까지 사용 불가 상태가 지속된다면, 복제를 두거나 이 알고리즘 자체를 사용하는 이유가 없을 것이다. 이 논문에서는 Raft 알고리즘이 제공하는 블록체인의 가용성을 분석하고 개 선안을 제시하고자 한다. 알고리즘의 상태 전이 단계에 Favorite이라는 새로운 상태를 추가하여, 추가적인 시간 비 용을 발생시키거나 구현을 복잡하게 하지 않으면서 가용성을 높일 수 있도록 하였다. Raft를 구동하는 다섯 개의 오더링 서비스 노드로 구성되는 테스트베드를 하이퍼레저 패브릭 플랫폼상에 구현하였다. 이 실험을 통하여 실질적 인 타이밍 매개변수를 적용한 시뮬레이션을 수행함으로써 제안한 방법의 이점을 검증하였다. 이 연구는 보다 높은 시스템 가용성을 갖도록 Raft 알고리즘의 설계와 구현을 개선하는 데 기여할 수 있을 것으로 기대된다.

Raft, as a distributed consensus algorithm for Hyperledger Fabric, runs on multiple replicated nodes composing a cluster to provide an ordering service for the blockchain framework. Although many research works have been conducted to analyze the performance and safety of the practical consensus algorithm, its availability has not been fully considered yet. If a crash of a leader among replicated nodes makes the whole system unavailable and the unavailability condition continues until the leader recovers from its crash, there is no use of replicas and algorithm itself. The availability of the blockchain supported by the Raft algorithm is analyzed and an improvement is proposed in the paper. By introducing a new state called ‘Favorite’ into the state transition of the algorithm, we believe that it can get rid of the undesirable situation while making the implementation simple without incurring any extra runtime cost. A testbed system was implemented with five orderering service nodes running Raft on a Hyperledger Fabric platform. Based on the experiment on the testbed, a simulation adopting practical timing parameters has been conducted to verify and demonstrate the benefit of the proposed method. This work is anticipated to contribute to the improvement of the design and implementation of the Raft algorithm with higher system availability.

English exhibits a peculiar agreement phenomenon in thereconstructions, where T agrees with the first conjunct of conjoined nominals rather than the entire conjoined phrase. Based on Lasnik’s (1995) proposal that the expletive there is an LF affix, Bošković (1997) suggested an account for this phenomenon. While attractive, Bošković’s analysis does not align with the latest syntactic theory. This paper proposes a solution for this phenomenon within Chomsky’s (2013, 2015) labeling algorithm framework, maintaining Bošković’s explanatory point. Specifically, it argues that the expletive there merges externally with the associate, forming {there, associate}, and undergoes obligatory movement due to the labeling algorithm. This reduces the issue to split phi-feature agreement of T. The analysis is further validated by explaining three challenging cases: lack of adjacency between there and its associate, unergatives and ergatives’ unsuitability for there-constructions, and a case difficult to explain without the Merge-over-Move Principle. This paper’s analysis offers a cohesive explanation for variations across different syntactic structures involving there-constructions. If this paper’s discussion is on the right track, it supports the validity of Chomsky’s labeling algorithm framework.