[논문 리뷰] Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

Gregory Chockler, Dan Dobre외 2명|arXiv (Cornell University)|2015. 08. 15.

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

한 줄 요약

이 논문은 기본 읽기/쓰기 레지스터로부터 신뢰할 수 있는 다중 쓰기 원자 레지스터를 에뮬레이션할 경우, k명의 클라이언트와 f건의 장애를 견딜 수 있도록 하기 위해 최소 kf개의 레지스터가 필요하며, 이는 선형 공간 팽창을 초래하며, 이 공간 비용은 순차적 실행 동안에도 줄일 수 없다고 규명한다. 반면, Compare-and-Swap (CAS) 원자 연산을 사용할 경우, 상수 공간, 웨이트리스, 콘텐션 적응형 구현이 가능하며, 저콘텐션 상황에서는 최적의 시간 복잡도를 달성할 수 있다.

ABSTRACT

Reliable storage emulations from fault-prone components have established themselves as an algorithmic foundation of modern storage services and applications. Most existing reliable storage emulations are built from storage services supporting arbitrary read-modify-write primitives. Since such primitives are not typically exposed by pre-existing or off-the-shelf components (such as cloud storage services or network-attached disks) it is natural to ask if they are indeed essential for efficient storage emulations. In this paper, we answer this question in the affirmative. We show that relaxing the underlying storage to only support read/write operations leads to a linear blow-up in the emulation space requirements. We also show that the space complexity is not adaptive to concurrency, which implies that the storage cannot be reliably reclaimed even in sequential runs. On a positive side, we show that Compare-and-Swap primitives, which are commonly available with many off-the-shelf storage services, can be used to emulate a reliable multi-writer atomic register with constant storage and adaptive time complexity.

연구 동기 및 목표

• 읽기/쓰기 원자 연산만으로도 장애가 발생할 수 있는 환경에서 공간 효율적인 신뢰할 수 있는 스토리지 에뮬레이션을 구현할 수 있는지 여부를 규명하는 것.
• 이러한 에뮬레이션의 공간 비용이 순차적 실행 동안에도 동시성 수준에 따라 적응적으로 조정될 수 있는지 조사하는 것.
• Compare-and-Swap (CAS)와 같이 최소한의, 널리 사용 가능한 하드웨어 원자 연산을 식별하여, 효율적이고 상수 공간의 신뢰할 수 있는 스토리지 구현을 가능하게 하는 것.
• 약한 정확성 보장 조건 하에서도 고장 내성 다중 쓰기 레지스터 에뮬레이션의 저장소 및 시간 복잡도에 대한 날것의 경계를 설정하는 것.
• 정확성 조건을 약화시키거나 다른 원자 연산을 사용함으로써, 읽기/쓰기 기반 에뮬레이션의 공간 복잡도를 줄일 수 있는지 탐색하는 것.

제안 방법

• 읽기/쓰기 원자 연산만을 사용하는 고장 내성 MWMR 레지스터의 모든 구현에 대해 필요한 레지스터 수의 하한을 증명하며, k명의 클라이언트와 f건의 장애를 견딜 수 있도록 하기 위해 최소 kf개의 레지스터가 필요하다고 보여준다.
• 순차적 실행에서 각 클라이언트의 쓰기 연산이 f개의 새로운 레지스터를 커버할 수 있음을 보여주는 커버링 추론을 사용하여 선형 공간 증가를 입증한다.
• 서버당 하나의 CAS 객체를 사용하여 ABD 업데이트 원자 연산을 에뮬레이트하는 모듈러 구조를 도입하고, 이를 통해 전체 다중 쓰기 ABD 에뮬레이션을 구성한다.
• 시간순서 기반 조율을 통해 웨이트리스성과 정확성을 보장하는 CAS 기반 알고리즘을 설계하며, 타임스탬프가 비감소성과 유일성을 보장함으로써 정지와 진행 보장을 확보한다.
• 타임스탬프가 목표값보다 작은 고유한 타임스탬프 수에 기반해 각 클라이언트의 실패한 CAS 호출 수를 제한함으로써 시간 복잡도를 분석하며, 이로 인해 최악의 경우 O(c²)의 복잡도를 유도한다. 여기서 c는 동시에 실행 중인 클라이언트 수이다.
• 서버당 하나의 CAS 객체를 할당함으로써 상수 공간 구현을 도출하며, 이는 서버 장애의 소수에 이르기까지 고장 내성을 보장할 수 있다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 다중 쓰기 레지스터를 구현하기 위해 읽기/쓰기 원자 연산을 반드시 사용해야 하는가, 아니면 더 단순한 원자 연산으로도 충분한가?
• RQ2 신뢰할 수 있는 스토리지 에뮬레이션의 공간 비용이 순차적 실행 동안에도 동시성 수준에 따라 적응적으로 조정될 수 있는가?
• RQ3 상수 공간, 고장 내성, 웨이트리스성을 보장하는 다중 쓰기 원자 레지스터의 구현을 가능하게 하는 최소한의 하드웨어 원자 연산(예: CAS)은 무엇인가?
• RQ4 읽기/쓰기 기반 에뮬레이션의 선형 공간 하한이 단일 쓰기 안전성과 솔로 종료 보장과 같은 약한 정확성 조건 하에서도 유지되는가?
• RQ5 고도의 콘텐션 상황에서 CAS 기반 에뮬레이션의 최악의 경우 시간 복잡도를 O(c²)를 초월해 향상시킬 수 있는가?

주요 결과

• 읽기/쓰기 원자 연산만을 사용하는 고장 내성 다중 쓰기 원자 레지스터의 모든 구현은 k명의 클라이언트와 f건의 고장을 견딜 수 있도록 하기 위해 최소 kf개의 레지스터가 필요하다.
• 이러한 구현의 공간 비용은 순차적 실행 동안에도 적응적으로 줄일 수 없으며, 각 쓰기 연산당 f개의 새로운 레지스터가 커버되기 때문이다.
• 서버당 레지스터 수가 상수 m으로 제한되어 있을 경우, ℓm명의 클라이언트를 지원하기 위해 저장소 하한이 암시하는 ℓf개의 서버 외에 f+1개의 추가 서버가 더 필요하다.
• 서버당 하나의 CAS 객체를 사용함으로써, 상수 공간, 웨이트리스, 콘텐션 적응형 다중 쓰기 원자 레지스터의 에뮬레이션을 달성할 수 있다.
• CAS 기반 에뮬레이션의 최악의 경우 시간 복잡도는 c명의 동시에 실행 중인 클라이언트 수를 기준으로 O(c²)이며, 콘텐션 없는 실행에서는 ABD의 2라운드 복잡도와 일치한다.
• CAS 기반 알고리즘은 타임스탬프 기반 조율을 통해 정확성을 보장하며, 비감소성과 유일성을 보장하는 타임스탬프가 정지와 진행 보장을 보장한다.