[論文レビュー] Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas, Diogo Serra+6 more|arXiv (Cornell University)|Mar 31, 2015

Distributed systems and fault tolerance参考文献 18被引用数 11

ひとこと要約

本論文は、地理的に分散されたクラウドデータベースにおける最終的整合性を実現しつつ、予算制限や在庫数などのグローバル数値不変条件を、低レイテンシーを損なわずに強制する分散型で耐故障性を持つレプリケートデータ型「Bounded Counter」を提案する。エスコウ取引の原則を応用し、Riak などの既存の最終的整合性を持つストレージに重ねることで、大多数の操作をローカルで実行可能にし、調整処理をクリティカルパスから外す。その結果、弱い整合性と同等のパフォーマンスを維持しつつ、強い不変条件の強制が可能となる。

ABSTRACT

Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, some have adopted commutative data types to provide seamless reconciliation for special purpose data types, such as counters. Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage. We present a new replicated data type, called bounded counter, which adds support for numeric invariants to eventually consistent geo-replicated databases. We describe how this can be implemented on top of existing cloud stores without modifying them, using Riak as an example. Our approach adapts ideas from escrow transactions to devise a solution that is decentralized, fault-tolerant and fast. Our evaluation shows much lower latency and better scalability than the traditional approach of using strong consistency to enforce numeric invariants, thus alleviating the tension between consistency and availability.

研究の動機と目的

• 地理的に分散されたデータベースにおける最終的整合性の限界、特にグローバル数値不変条件の強制の観点から課題を解決すること。
• すべての操作に対して調整を要しないことで、低レイテンシーと高可用性を維持しつつ、強い不変条件の強制を可能にすること。
• 中央集権的管理者やマスターレプリカを排除する分散型で耐故障性を持つソリューションの設計。
• 下位のインfra構成についての仮定を最小限に抑え、既存のクラウドストレージシステムに容易に統合可能な汎用的で移植可能な拡張機能の提供。
• Bounded Counter のクライアントサイドおよびサーバーサイドのミドルウェアアーキテクチャのパフォーマンスとスケーラビリティを評価すること。

提案手法

• カウンタの現在値と上限値の差をレプリカ間で分割することで、エスコウ取引モデルを拡張し、不変条件のローカル強制を可能にする。
• 分散型で非同期なプロトコルを採用し、レプリカがローカルで（たとえ陳腐化している可能性がある）ビューに依存し、ピアツーピアの相互作用によって操作を調整する。
• 軽量な統合を実現するクライアントサイドライブラリ、または分散ハッシュテーブルにおけるサーバーサイドコンポonent を導入し、下位ストレージ操作を最小限に抑える。
• 書き込みバッチ処理とキャッシュ機構を活用してスループットを向上させ、調整のオーバーヘッドを低減する。
• Riak などの既存の最終的整合性ストレージにおけるレconciliation 機構を活用し、同時に発生する更新の収束を保証する。
• CRDT に類似したオブジェクトとして Bounded Counter を設計し、ローカル操作、自動マージ、不変条件の強制をサポートする。

実験結果

リサーチクエスチョン

• RQ1 地理的に分散された最終的整合性を持つデータベースで、低レイテンシーを損なわずに数値不変条件を強制することは可能か？
• RQ2 不変条件の強制に必要な調整処理を、操作実行のクリティカルパスから分離することは可能か？
• RQ3 中央集権的管理者が存在しない環境において、分散型で耐故障性を持つ不変条件の強制を実現するアーキテクチャパターンは何か？
• RQ4 実世界のワークロードにおいて、提案手法のパフォーマンスは強い整合性および弱い整合性と比べてどうか？
• RQ5 既存のクラウドストレージシステムを変更せずに、汎用的に実装可能か？

主な発見

• クライアントサイドミドルウェア設計は、弱い整合性と比較してわずかにレイテンシーが増加するものの、高いスループットを達成し、不変条件の強制を保証する。
• キャッシュと書き込みバッチ処理を備えたサーバーサイドミドルウェアは、高競合状態下でも Riak のネイティブな弱い整合性メカニズムを上回るスループットを達成する。
• 従来の強い整合性モデルに比べ、レイテンシーを低減し、スケーラビリティを向上させる。強い整合性モデルでは、すべての更新に対して調整が必要である。
• 同時に発生する更新の状況下でも、不変条件が正しく強制され、更新の紛失や不正な操作が防止される。
• 本手法は移植性が高く、Riak などの既存の最終的整合性を持つクラウドデータベースに、下位システムの詳細を最小限に仮定して重ねて実装可能である。
• 評価により、高競合状態下でも正しさが維持され、ネイティブな弱い整合性と同等に高いパフォーマンスを達成することが確認された。