[논문 리뷰] Byzantine-Tolerant Register in a System with Continuous Churn

Saptaparni Kumar, Jennifer L. Welch|arXiv (Cornell University)|2019. 10. 13.

Distributed systems and fault tolerance참고 문헌 32인용 수 4

한 줄 요약

이 논문은 시스템 크기에 상한이 없고 서버 및 클라이언트가 지속적으로 참가하고 이탈하는 동적 시스템에서 연속적인 채굴(chn)이 발생하는 상황에서, 처음으로 바이진틴에 강건한 원자 레지스터 에뮬레이션을 제안한다. 알고리즘은 채굴이 임의의 시간 간격 동안 시스템 크기의 일정 비율 α 이내로 제한되고, 최대 f대의 바이진틴 서버가 존재할 조건 하에서 원자성과 안전성을 보장하며, f가 알려져 있지 않을 경우의 불가능성을 입증한다.

ABSTRACT

A shared read/write register emulation provides the illusion of shared-memory on top of message-passing models. The main hurdle with such emulations is dealing with server faults in the system. Several crash-tolerant register emulations in static systems require algorithms to replicate the value of the shared register onto a majority of servers. Majority correctness is necessary for such emulations. Byzantine faults are considered to be the worst kind of faults that can happen in any distributed system. Emulating a Byzantine-tolerant register requires replicating the register value on to more than two-thirds of the servers. Emulating a register in a dynamic system where servers and clients can enter and leave the system and be faulty is harder than in static systems. There are several crash-tolerant register emulations for dynamic systems. This paper presents the first emulation of a multi-reader multi-writer atomic register in a system that can withstand nodes continually entering and leaving, imposes no upper bound on the system size and can tolerate Byzantine servers. The algorithm works as long as the number of servers entering and leaving during a fixed time interval is at most a constant fraction of the system size at the beginning of the interval, and as long as the number of Byzantine servers in the system is at most f. Although our algorithm requires that there be a constant known upper bound on the number of Byzantine servers, this restriction is unavoidable, as we show that it is impossible to emulate an atomic register if the system size and maximum number of servers that can be Byzantine in the system is unknown to the nodes.

연구 동기 및 목표

• 지속적인 채굴이 발생하고, 시스템 크기에 상한이 없으며, 채굴이 끝나야 하는 요구 사항이 없는 동적 시스템에서 바이진틴에 강건한 원자 레지스터를 설계하는 것.
• 서버 및 클라이언트가 지속적으로 참가하고 이탈하는 환경에서 바이진틴 장애가 발생할 수 있는 상황에서 일관성과 안전성을 유지하는 도전 과제를 다루는 것.
• 이러한 레지스터가 안전하게 에뮬레이션될 수 있는 조건을 설정하는 것. 특히 채굴 속도와 바이진틴 서버 수에 대한 제약 조건을 포함한다.
• 이 모델에서 균일한 알고리즘을 구현할 수 없는 이유를 입증하여, 동적 바이진틴 시스템의 근본적인 한계를 부각하는 것.
• 기존의 바이진틴 서버 수에 대한 상한이 알려져 있어야만 하는지, 또는 알려지지 않은 수의 바이진틴 서버를 견딜 수 있는지에 대한 문제를 다루는 것.

제안 방법

• 원자성을 보장하기 위해 시간표기 기반의 전체 순서화 메커니즘을 사용하며, 모든 작업에 대해 시작 시간과 쿼orum 집합과의 조율에 기반해 고유한 타임스탬프를 할당한다.
• 읽기 및 쓰기 작업이 일관성을 유지하기 위해 겹치는 서버 집합에 접근해야 하는 바이진틴 쿼럼 시스템(BQS)을 활용한다. 이는 바이진틴 장애가 발생하더라도 일관성을 유지한다.
• 모든 고정된 시간 간격 동안 참가하거나 이탈하는 서버 수가 간격 시작 시점의 시스템 크기의 최대 α 배 이내로 제한된다고 가정하여, 유한한 채굴을 보장한다.
• 클라이언트와 서버는 리더 기반 메커니즘을 통해 협력하여 쿼럼의 무결성을 유지하고, 시스템 전반에서 모든 작업이 일관되게 순서가 지정되도록 보장한다.
• 쓰기 작업을 위한 이중 단계 프로토콜을 사용한다. 첫 번째 단계에서 쓰기 요청이 쿼럼 서버 집합에 전송되고, 두 번째 단계에서 다수의 서버가 확인하면 쓰기가 확정된다.
• 모든 작업에 대한 전체 순서를 타임스탬프 기반으로 정렬하고, 읽기 작업은 읽은 쓰기 작업 이후에 위치시켜 원자성과 실시간 순서를 보장한다.

실험 결과

연구 질문

• RQ1 지속적인 채굴이 발생하고, 시스템 크기에 상한이 없으며, 바이진틴 서버 장애를 견딜 수 있는 동적 시스템에서 원자 레지스터를 에뮬레이션할 수 있는가?
• RQ2 채굴이 결국 멈추거나 시스템 크기를 제한하지 않아도 원자성과 안전성을 달성할 수 있는가?
• RQ3 정확하고 안전한 에뮬레이션을 위해 필요한 채굴 속도(α)와 바이진틴 서버 수(f)의 조건은 무엇인가?
• RQ4 이 모델에서 바이진틴에 강건한 레지스터 에뮬레이션을 위한 균일한 알고리즘을 구현할 수 있는가, 아니면 근본적인 불가능성 결과가 존재하는가?
• RQ5 f에 대한 알려진 상한이 반드시 필요한가, 아니면 알려지지 않은 수의 바이진틴 서버를 견딜 수 있는가?

주요 결과

• 논문은 시스템 크기에 상한이 없고, 채굴이 끝나야 하는 요구 사항이 없으며, 지속적인 채굴이 발생하는 동적 시스템에서 바이진틴에 강건한 원자 레지스터를 에뮬레이션하는 데 있어 첫 번째 알고리즘을 제시한다.
• 알고리즘은 타임스탬프 기반의 작업 순서화와 쿼럼 조율을 통해 전체 순서를 구성함으로써 원자성을 보장하며, 모든 읽기 작업이 이전의 최신 쓰기 작업의 값을 반환하도록 보장한다.
• 시스템은 채굴 속도가 고정된 간격 동안 시스템 크기의 일정 비율 α 이내로 제한되고, 바이진틴 서버 수가 알려진 상수 f 이내일 경우에 정확하다.
• 논문은 바이진틴 서버 수가 알려져 있지 않을 경우 이 레지스터를 구현하는 것이 불가능하다는 것을 입증하여, 시스템 가정에 대한 근본적인 하한을 설정한다.
• 저자는 f에 대한 알려진 상한이 반드시 필요하며, 이를 완화하면 문제를 해결할 수 없다는 것을 보여준다.
• 제시된 제약 조건 하에서 알고리즘이 정확하다는 것이 입증되었으며, 이는 실시간 실행 순서를 존중하고 일관성을 보장하는 작업 순서 구성에 의존한다.