[論文レビュー] Highly Available Transactions: Virtues and Limitations (Extended Version)

Peter Bailis, Aaron Davidson+4 more|arXiv (Cornell University)|Feb 1, 2013

Distributed systems and fault tolerance参考文献 52被引用数 10

ひとこと要約

この論文は、ネットワークのパーティション発生時にもシステムの可用性を維持し、遅延を低減するトランザクションの意味論の分類体系である Highly Available Transactions (HATs) を導入する。本稿では、可串実行性やスナップショット隔離といった特定の隔離レベルが、競合検出の要件により HAT に準拠できないのに対し、読みコミット隔離やフェイント防止を備えた因果的整合性といったモデルは、マルチバージョニングとクライアント側キャッシュを用いることで実現可能であり、従来のプロトコルと比較して最大3桁の遅延低減が達成可能であることを示している。

ABSTRACT

To minimize network latency and remain online during server failures and network partitions, many modern distributed data storage systems eschew transactional functionality, which provides strong semantic guarantees for groups of multiple operations over multiple data items. In this work, we consider the problem of providing Highly Available Transactions (HATs): transactional guarantees that do not suffer unavailability during system partitions or incur high network latency. We introduce a taxonomy of highly available systems and analyze existing ACID isolation and distributed data consistency guarantees to identify which can and cannot be achieved in HAT systems. This unifies the literature on weak transactional isolation, replica consistency, and highly available systems. We analytically and experimentally quantify the availability and performance benefits of HATs--often two to three orders of magnitude over wide-area networks--and discuss their necessary semantic compromises.

研究の動機と目的

• 分散システムにおける長年の課題である高可用性とトランザクショナル整合性の両立を解決すること。
• ネットワークのパーティション発生時においても高可用性に適合する ACID の隔離レベルおよび整合性モデルを特定すること。
• 高可用性を達成するための意味論的妥当性の妥協を、実用的価値を損なわずに行うために必要な条件を同定すること。
• 読みコミット隔離のような広く使われている隔離レベルが HAT として実現可能であり、強力な性能向上効果をもたらすことを示すこと。
• HAT準拠システムのための形式的な分類体系と概念実証アルゴリズムを提供し、完全可用性モデルとスティッキー可用性モデルの違いを明確にすること。

提案手法

• 高可用性に適合するシステムの分類体系を提案し、隔離および整合性モデルを高可用性適合性に基づいて分類する。
• 既存の ACID の隔離レベルおよび分散整合性モデルを分析し、高可用性で実装可能なものを同定する。
• 不可能性の結果を用いて、可串実行性、スナップショット隔離、繰り返し読み込みが、競合検出の要件により HAT に準拠できないことを証明する。
• マルチバージョニングと限定的なクライアント側キャッシュを用いた構成的で概念実証用のアルゴリズムを開発し、HAT 準拠の意味論を実現する。
• クライアントが単一のサーバーにアフィニティを持つ「スティッキー可用性」の概念を導入し、完全なパーティション耐性よりも強い保証を可能にする。
• 現代のクラウドインfraストラクチャ上での HAT システムを実験的に評価し、従来の分散可串実行性プロトコルと遅延および可用性の面で比較する。

実験結果

リサーチクエスチョン

• RQ1 ネットワークのパーティションが発生する状況下で、どの ACID の隔離レベルが高可用性に適合可能か？
• RQ2 なぜスナップショット隔離や繰り返し読み込みのような特定の隔離レベルが高可用性と互換性を持たないのか？
• RQ3 広域ネットワーク上でも、高可用性と低遅延を実現しつつ、実用的で有用なトランザクショナル意味論を達成できるか？
• RQ4 強い整合性保証を犠牲にしても、可用性と低遅延を優先する場合に必要な意味論的妥当性のトレードオフは何か？
• RQ5 クライアント側のアフィニティ（スティッキー可用性）は、完全なパーティション耐性よりも強い HAT 準拠保証をどのように可能にするか？

主な発見

• HAT 準拠システムは、広域ネットワーク上での従来の分散可串実行性プロトコルと比較して、1〜3桁の遅延低減を達成する。
• 可串実行性、スナップショット隔離、繰り返し読み込みは、競合検出の要件により HAT に準拠できない。
• 読みコミット隔離、トランザクショナル原子性、フェイント防止を備えた因果的整合性は HAT 準拠であり、マルチバージョニングとクライアント側キャッシュを用いて実装可能である。
• 現代のデータベースで一般的にデフォルトとして採用されている隔離レベル（例：読みコミット隔離）は、すでに HAT 準拠であるため、可用性と実用的なトランザクショナル意味論が排他的ではないことが示唆される。
• 「スティッキー可用性」の概念は、完全な高可用性よりも強い保証を可能にし、実際のシステムでも広く使われているが、従来の高可用性よりも制限が少ない。
• HAT は分散システムにおける広大で実用的な設計空間を提供し、低遅延で「常に稼働」を実現しつつ、多くのアプリケーションにとって有用な意味論的保証を維持できる。