[論文レビュー] Intermediate Value Linearizability: A Quantitative Correctness Criterion

Arik Rinberg, Idit Keidar|arXiv (Cornell University)|Jan 1, 2020

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）を提案し、読み取り操作が2つの線形可能性の戻り値の間の値を返すことを許容する。
• 逐次的および確率的（ϵ, δ）-有界オブジェクトに対してIVLを形式的に定義し、局所的合成性を保証する。
• 任意の逐次的（ϵ, δ）-有界オブジェクトのIVL実装が（ϵ, δ）-有界のままであることを証明し、既存の誤差解析の再利用を可能にする。
• 元の誤差保証を継承する、並行的かつIVL準拠のCountMinスケッチ実装を提示する。
• SWMRレジスタを用いたウェイトフリーなIVLバッチカウンタを設計し、更新操作のステップ複雑度をO(1)に抑える。
• 任意のウェイトフリーな線形可能性バッチカウンタがSWMRレジスタから構築される場合、更新のステップ複雑度にΩ(n)の下界が存在することを示し、IVLの効率的優位性を証明する。

実験結果

リサーチクエスチョン

• RQ1 並行操作中に中間戻り値を許容しつつ、誤差境界を維持できる正当性基準を定義できるか？
• RQ2 IVLを用いることで、CountMinのような並行スケッチを実装できるか？ また、その（ϵ, δ）-有界誤差保証は維持されるか？
• RQ3 バッチカウンタのような特定の並行オブジェクトにおいて、IVLは線形可能性よりも本質的に効率的か？
• RQ4 IVLをオブジェクト固有の定義なしに、すべての定量的オブジェクトに一般化して適用できるか？
• RQ5 バッチカウンタにおいて、IVLと線形可能性実装との間の理論的性能差は何か？

主な発見

• IVLは（ϵ, δ）-有界誤差保証を維持する：逐次的（ϵ, δ）-有界オブジェクトのIVL実装は、（ϵ, δ）-有界のまま保たれる。
• 提示されたIVL準拠の並行的CountMinスケッチ実装は、元のスケッチの誤差境界を継承し、再分析を必要としない。
• 提案されたIVLバッチカウンタは、ウェイトフリー環境下で更新操作のステップ複雑度をO(1)に達成する。
• SWMRレジスタから構築される任意のウェイトフリーな線形可能性バッチカウンタは、更新にΩ(n)のステップ複雑度を要する。
• IVLは線形可能性よりも明確に安価な実装を可能にし、バッチカウンタにおいて根本的な効率的優位性を示している。
• IVL基準は局所的かつ合成可能であり、グローバル解析を伴わずに並行システムのモジュラーな推論が可能である。