[논문 리뷰] RADON: Repairable Atomic Data Object in Networks

Kishori M. Konwar, N. Prakash외 2명|arXiv (Cornell University)|2016. 05. 18.

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

한 줄 요약

이 논문은 실제 네트워크 안정성 조건 하에서 라이브니스와 원자성을 보장하면서 고장 난 노드의 백그라운드 복구를 가능하게 하는 에러 복구 기반 분산 스토리지 시스템인 RADON을 제안한다. 두 가지 알고리즘—RADON_C(에러 복구 기반)와 RADON_R^(S)(복제 기반으로 복구 효율성 향상)—를 도입하여 각각 조건 N1과 N2 하에서 원자성을 보장하며, 특히 동시 쓰기 작업이 제한될 경우 복제 방식 대비 뚜렷한 스토리지 및 통신 비용 절감을 실현한다.

ABSTRACT

Erasure codes offer an efficient way to decrease storage and communication costs while implementing atomic memory service in asynchronous distributed storage systems. In this paper, we provide erasure-code-based algorithms having the additional ability to perform background repair of crashed nodes. A repair operation of a node in the crashed state is triggered externally, and is carried out by the concerned node via message exchanges with other active nodes in the system. Upon completion of repair, the node re-enters active state, and resumes participation in ongoing and future read, write, and repair operations. To guarantee liveness and atomicity simultaneously, existing works assume either the presence of nodes with stable storage, or presence of nodes that never crash during the execution. We demand neither of these; instead we consider a natural, yet practical network stability condition $N1$ that only restricts the number of nodes in the crashed/repair state during broadcast of any message. We present an erasure-code based algorithm $RADON_C$ that is always live, and guarantees atomicity as long as condition $N1$ holds. In situations when the number of concurrent writes is limited, $RADON_C$ has significantly improved storage and communication cost over a replication-based algorithm $RADON_R$, which also works under $N1$. We further show how a slightly stronger network stability condition $N2$ can be used to construct algorithms that never violate atomicity. The guarantee of atomicity comes at the expense of having an additional phase during the read and write operations.

연구 동기 및 목표

• 고장 난 노드의 백그라운드 복구를 가능하게 하되, 클라이언트 운영에 영향을 주지 않는 분산 스토리지 시스템을 설계하는 것.
• 안정된 스토리지나 고장 나지 않는 노드에 의존하지 않고도 이방향 비동기 네트워크에서 라이브니스와 원자성을 보장하는 것.
• 특히 동시 쓰기 작업이 제한될 경우 복제 기반 접근 방식에 비해 스토리지 및 통신 비용을 줄이는 것.
• 수행 가능한 네트워크 안정성 조건(N1 및 N2)을 정식화하여 복구 가능하고 원자성 보장이 가능한 스토리지의 증명 가능한 정확성과 효율성 확보.
• 실제 장애 모델을 고려할 때 복제보다 더 높은 비용 효율성을 확보하면서도 강력한 일致성 보장을 유지할 수 있음을 입증하는 것.

제안 방법

• 메시지 브로드캐스트 동안 고장 나 있거나 복구 중인 노드 수를 제한하는 네트워크 안정성 조건 N1을 제안하여 라이브니스와 원자성 보장을 가능하게 한다.
• n台의 서버에 데이터를 MDS 코드를 사용해 분산 저장하는 에러 복구 기반 알고리즘 RADON_C를 도입하며, 각 서버는 크기가 1/k인 δ+1개의 인코딩된 요소를 보유하여 스토리지 비용을 (δ+1)n/k로 감소시킨다.
• 세 단계 쓰기 프로토콜(put-data, confirm-data, write-back)을 사용하여 그룹 전송과 확인 응답 수집을 통해 원자성과 라이브니스를 보장한다.
• RADON_R와 유사한 태그 기반 순서 정렬을 통해 순차적 의미를 강제하며, 복구 작업이 태그 값을 유지하거나 증가시킨다는 핵심 레이마를 제시한다.
• 더 강력한 조건 N2(α > 3/4)를 도입하여 RADON_R^(S)를 설계하며, 이는 N2 조건 하에서 원자성을 조건 없이 보장하는 복제 기반 변형이다.
• 각 단계 간 활성 서버 집합의 교차를 활용하여 핵심 운영을 위한 다수의 서버가 항상 가용 상태를 유지하도록 하여 일관된 상태 추적 및 복구를 가능하게 한다.

실험 결과

연구 질문

• RQ1 백그라운드 복구가 가능한 이방향 비동기 분산 스토리지 시스템에서 안정된 스토리지나 고장 나지 않는 노드를 가정하지 않고도 라이브니스와 원자성을 동시에 확보할 수 있는가?
• RQ2 복구 가능한 에러 복구 기반 스토리지 시스템에서 라이브니스와 원자성을 보장하기 위해 필요한 네트워크 안정성 조건는 무엇인가?
• RQ3 한정된 동시 쓰기 작업이 존재하는 현실적인 워크로드 하에서, 에러 복구 기반 알고리즘의 스토리지 및 통신 비용은 복제 기반 대비 어떻게 비교되는가?
• RQ4 복구 작업은 고장 난 노드를 일관된 상태로 복구하여 전역적인 작업 순서를 유지함으로써 원자성을 보장할 수 있는가?
• RQ5 네트워크 안정성 가정을 N1에서 N2로 완화할 경우 원자성 보장과 시스템 효율성 간의 상호 교환 관계는 어떻게 되는가?

주요 결과

• 불가능성 결과를 입증: 네트워크 안정성 제약 조건이 없이 임의의 백그라운드 복구를 허용하는 이방향 시스템에서는 라이브니스와 원자성을 동시에 보장할 수 없다.
• 네트워크 안정성 조건 N1 하에서, 에러 복구 기반 알고리즘 RADON_C는 스토리지 비용 (δ+1)n/k와 쓰기 비용 n/k를 기록하며, k > 1일 경우 복제 방식의 n보다 뚜렷하게 낮은 비용을 기록한다.
• 읽기 작업의 경우 RADON_C는 데이터 확보 및 쓰기 백 단계의 총 비용을 (δ+2)n/k로 기록하며, 동시 쓰기 작업이 제한될 경우에도 효율성을 유지한다.
• 더 강력한 N2 조건(α > 3/4) 하에서 작동하는 복제 기반 변형 RADON_R^(S)는 원자성을 조건 없이 보장하며, 라이브니스를 확보하며 스토리지 비용은 n, 읽기/쓰기 비용은 2n을 기록한다.
• 각 단계 간 활성 서버 집합의 교차(S_α ∩ S'_α)가 다수임을 입증하여 일관된 상태 추적 및 태그 전파를 통한 원자성 증명을 지원한다.
• 논문은 MDS 코드가 배경 복구가 가능한 이방향 비동기 고장 지속 시스템에서 효과적으로 활용될 수 있음을 입증하며, 네트워크 안정성 조건을 충족할 경우 일致성 손실 없이 비용 절감을 달성할 수 있음을 보여준다.