[논문 리뷰] Intermediate Value Linearizability: A Quantitative Correctness Criterion

Arik Rinberg, Idit Keidar|arXiv (Cornell University)|2020. 01. 01.

Distributed systems and fault tolerance인용 수 3

한 줄 요약

이 논문은 선형화 가능성을 완화한 중간값 선형화 가능성(IVL)을 소개한다. 이는 동시성 양적 객체에 대한 이완된 정확성 기준으로, 선형화 가능한 범위 사이의 반환 값을 허용하여 더 효율적인 구현을 가능하게 한다. IVL은 CountMin과 같은 동시 스케치에서 (ϵ, δ)-오차 한계를 유지하며, 배치된 카운터의 경우 O(1) 단계 복잡도를 제공한다. 또한 선형화 가능성을 위한 하한선 Ω(n)을 증명한다.

ABSTRACT

Big data processing systems often employ batched updates and data sketches to estimate certain properties of large data. For example, a CountMin sketch approximates the frequencies at which elements occur in a data stream, and a batched counter counts events in batches. This paper focuses on correctness criteria for concurrent implementations of such objects. Specifically, we consider quantitative objects, whose return values are from a totally ordered domain, with a particular emphasis on (ε,δ)-bounded objects that estimate a numerical quantity with an error of at most ε with probability at least 1 - δ. The de facto correctness criterion for concurrent objects is linearizability. Intuitively, under linearizability, when a read overlaps an update, it must return the object’s value either before the update or after it. Consider, for example, a single batched increment operation that counts three new events, bumping a batched counter’s value from 7 to 10. In a linearizable implementation of the counter, a read overlapping this update must return either 7 or 10. We observe, however, that in typical use cases, any intermediate value between 7 and 10 would also be acceptable. To capture this additional degree of freedom, we propose Intermediate Value Linearizability (IVL), a new correctness criterion that relaxes linearizability to allow returning intermediate values, for instance 8 in the example above. Roughly speaking, IVL allows reads to return any value that is bounded between two return values that are legal under linearizability. A key feature of IVL is that we can prove that concurrent IVL implementations of (ε,δ)-bounded objects are themselves (ε,δ)-bounded. To illustrate the power of this result, we give a straightforward and efficient concurrent implementation of an (ε, δ)-bounded CountMin sketch, which is IVL (albeit not linearizable). Finally, we show that IVL allows for inherently cheaper implementations than linearizable ones. In particular, we show a lower bound of Ω(n) on the step complexity of the update operation of any wait-free linearizable batched counter from single-writer objects, and propose a wait-free IVL implementation of the same object with an O(1) step complexity for update.

연구 동기 및 목표

• 고속 스트림 처리에서 사용되는 동시 데이터 스케치에서 선형화 가능성의 높은 비용을 해결하기 위해.
• 중첩된 연산 중에 중간 값 반환을 허용하는 정확성 기준을 제안하여 실세계 시스템에서의 실용적 관용성을 반영하기 위해.
• 기존 순차적 오차 분석을 재사용할 수 있도록 하되, 다시 오차 한계를 증명하지 않도록 하기 위해.
• 특히 배치된 카운터의 경우 선형화 가능성보다 훨씬 저렴한 구현이 가능하다는 것을 보여주기 위해.
• 특정 (ϵ, δ)-오차 한계를 가진 객체에 대해 IVL의 정식 정의와 정확성 및 오차 유지의 증명을 제공하기 위해.

제안 방법

• 선형화 가능성의 완화로 중간값 선형화 가능성(IVL)을 제안하며, 읽기 연산이 두 개의 선형화 가능한 반환 값 사이의 값을 반환할 수 있도록 허용한다.
• 순차적 및 랜덤화된 (ϵ, δ)-오차 한계가 있는 객체에 대해 IVL를 공식적으로 정의하여 국소적 조합 가능성을 보장한다.
• 모든 순차적 (ϵ, δ)-오차 한계가 있는 객체에 대한 IVL 구현이 여전히 (ϵ, δ)-오차 한계를 유지함을 증명하며, 기존 오차 분석의 재사용을 가능하게 한다.
• 원래 오차 보장을 그대로 이어받는 동시성 IVL 준수 CountMin 스케치의 구현을 제시한다.
• SWMR 레지스터를 사용하여 O(1) 업데이트 단계 복잡도를 갖는 wait-free IVL 배치 카운터를 설계한다.
• 모든 wait-free 선형화 가능 배치 카운터가 SWMR 레지스터에서 업데이트에 대해 Ω(n)의 단계 복잡도를 가져야 한다는 하한선을 설정한다.

실험 결과

연구 질문

• RQ1 선형화 가능성을 완화한 정확성 기준을 정의할 수 있을까? 이 기준은 동시 연산 중에 중간 반환 값을 허용하면서도 오차 한계를 유지해야 한다.
• RQ2 IVL을 사용하여 CountMin과 같은 동시 스케치를 구현할 수 있을까? 이 경우 원래의 (ϵ, δ)-오차 한계 보장을 유지할 수 있는가?
• RQ3 특정 동시 객체, 예를 들어 배치 카운터의 경우 IVL이 선형화 가능성보다 본질적으로 더 효율적인가?
• RQ4 IVL을 객체별 정의 없이도 모든 양적 객체에 일반적으로 적용할 수 있는가?
• RQ5 배치 카운터의 경우 IVL과 선형화 가능 구현 간의 이론적 성능 격차는 얼마인가?

주요 결과

• IVL는 (ϵ, δ)-오차 한계 보장을 유지한다: 순차적 (ϵ, δ)-오차 한계가 있는 객체에 대한 모든 IVL 구현은 여전히 (ϵ, δ)-오차 한계를 유지한다.
• 동시성 IVL 준수 CountMin 스케치의 구현은 원래 스케치의 오차 한계를 그대로 이어받으며, 재분석이 필요 없다.
• 제안된 IVL 배치 카운터는 wait-free 환경에서 업데이트 연산에 대해 O(1) 단계 복잡도를 달성한다.
• SWMR 레지스터를 사용한 모든 wait-free 선형화 가능 배치 카운터는 업데이트에 대해 Ω(n)의 단계 복잡도를 가져야 한다.
• IVL은 선형화 가능성보다 배치 카운터의 경우 증명 가능한 더 저렴한 구현을 가능하게 하며, 본질적인 효율성 우위를 보여준다.
• IVL 기준은 국소적이며 조합 가능하므로, 전역 분석 없이도 동시 시스템에 대한 모듈러한 추론이 가능하다.