동적 재구성을 지원하는 erasure 코드 기반 원자 저장소 ARES

초록

본 논문은 erasure 코드를 이용해 저장 비용과 통신량을 최소화하면서, 서버 집합을 실시간으로 재구성할 수 있는 원자적(read/write) 저장소 프레임워크 ARES와, 두 라운드로 동작하는 erasure 코드 기반 MWMR 알고리즘 TREAS를 제안한다. 시스템은 크래시 장애와 제한된 서버 실패를 견디며, 재구성 중에도 서비스 중단 없이 연속적인 읽·쓰기 연산을 보장한다.

상세 분석

ARES는 기존 복제 기반 재구성 알고리즘이 갖는 높은 저장·통신 비용을 극복하고, erasure 코드 기반 시스템에서도 동적 구성 전환을 가능하게 하는 최초의 프레임워크이다. 핵심 설계는 ‘데이터 접근 프리미티브(Data‑Access Primitives, DAP)’라는 추상화 계층을 도입한 점이다. DAP는 각 구성(configuration)마다 서로 다른 erasure 코드 파라미터( n , k ), 퀄럼 구조, 그리고 동시성 제한(δ) 등을 독립적으로 정의할 수 있게 하여, 재구성 시 기존 구성에서 새로운 구성으로 상태를 안전하게 이전한다. 이때 재구성 클라이언트는 기존 구성의 DAP를 호출해 최신 버전의 코딩 조각을 수집하고, 새로운 구성의 DAP에 전달함으로써 값이 중간에 노출되지 않도록 한다.

TREAS는 ARES 위에서 동작하는 두 라운드(MWMR) erasure 코드 알고리즘으로, 읽기와 쓰기 모두 두 단계(쿼리·응답)만으로 완료된다. 쓰기 시, 클라이언트는 현재 가장 큰 타임스탬프를 가진 코딩 조각을 조회하고, 이를 기반으로 새로운 타임스탬프와 함께 전체 n 개의 코딩 조각을 생성해 quorum에 전파한다. 읽기 시, 클라이언트는 quorum에서 k 개 이상의 조각을 수집해 디코딩하고, 필요 시 최신 값을 재전파한다. 이 과정에서 δ(동시 쓰기 수)의 상한을 가정해 liveness를 보장한다.

안전성(atomicity) 증명은 기존 ABD와 유사하게 ‘읽기‑쓰기 순서’를 타임스탬프 기반으로 정렬하고, DAP가 제공하는 ‘읽기 전용’과 ‘쓰기 전용’ 원자성을 조합해 구성 전환 시에도 선형화 순서를 유지한다. 복구·재구성 시에는 consensus 인스턴스(c.Cons)를 이용해 다음 구성의 식별자를 결정하고, 새로운 구성에 대한 quorum이 기존 구성과 교차하도록 설계해 데이터 손실 없이 전환한다.

성능 분석에서는 저장 비용이 n/k 배(예: n=6, k=4이면 1.5배)로 복제 대비 크게 감소하고, 읽기·쓰기 통신량도 (δ+1)·n/k 로 제한된다. 표 1에 제시된 비교에서 ARES는 유일하게 ‘EC + 재구성’ 조합을 제공하면서, 라운드 수와 비용 면에서 기존 복제 기반 재구성 알고리즘(RAMBO, DynaStore 등)보다 우수함을 확인한다. 실험 결과는 다양한 워크로드와 서버 실패 시나리오에서 지연이 낮고, 재구성 중에도 서비스 가용성이 유지됨을 보여준다.

요약하면, ARES는 모듈식 DAP 설계, 두 라운드 erasure 코드 프로토콜(TREAS), 그리고 합의 기반 구성 전환 메커니즘을 결합해, 저장 효율성, 통신 효율성, 그리고 동적 확장성을 동시에 만족하는 원자적 분산 저장소를 구현한다. 이는 클라우드·엣지 환경에서 데이터 규모와 가용성 요구가 급변하는 현대 시스템에 실용적인 해결책을 제공한다.