[論文レビュー] Principles for Inconsistency

Shel Finkelstein, Dean Jacobs+1 more|ArXiv.org|Sep 9, 2009

Distributed systems and fault tolerance参考文献 5被引用数 12

ひとこと要約

この CIDR 2009 の論文は、スケーラブルなデータベースシステムにおける意図的なデータ不整合性を管理する原則的な枠組みを提案している。強力な一貫性が現実的でないか、コストが高すぎる場合に、制御された不整合性がパフォーマンスと可用性のためには不可欠であると主張している。一貫性のある不整合の取り扱いのための設計原則、例えば境界付きの不整合性やユーザーが理解可能な意味論を含み、データの乖離があっても使いやすさを保つための実装戦略を提示している。

ABSTRACT

Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why consistency may have to be weakened to achieve other business goals. In this CIDR 2009 Perspectives paper, we present real-world reasons inconsistency may be necessary, offer principles for managing inconsistency coherently, and describe implementation approaches we are investigating for sustainably scalable systems that offer comprehensible user experiences despite inconsistency.

研究の動機と目的

• 強い一貫性が現実的でないか、コストが高すぎるため、スケーラブルで高可用性なシステムの増加に応える必要性に対処すること。
• リスクがあるにもかかわらず、意図的な不整合が実際に必要となる実世界のビジネス的・システムレベルの理由を特定すること。
• システムの使いやすさと正しさを保つために、不整合性を一貫した枠組みで管理するための原則の体系を確立すること。
• エンドユーザーに対して理解可能な振る舞いを保証しつつ、不整合性を持続可能に扱えるデータベースシステムの設計を導くこと。
• 本番環境規模のシステムでこれらの原則を実装するためのアプローチを検討すること。

提案手法

• 境界付きの不整合性や一貫性に配慮したユーザーインターフェースを含む、不整合性を管理するための設計原則のセットを提案すること。
• スケーラビリティと可用性のためのトレードオフとしての「意図的な不整合性」の概念を導入し、障害状態とは見なさないこと。
• 予測可能性を確保するため、不整合の継続時間と範囲に関するシステムレベルの保証の必要性を強調すること。
• 静かにデータ破損を引き起こさないよう、不整合性を可視化し、理解可能にするユーザー向けの意味論を提唱すること。
• 最終的一貫性に境界付き遅延を組み合わせたアーキテクチャパターンや、衝突解決戦略を提示すること。
• 管理者やユーザーに不整合レベルを追跡・公開できる監視およびインストルメンテーション技術を提案すること。

実験結果

リサーチクエスチョン

• RQ1 生産環境のシステムでデータ一貫性を弱める正当なビジネス的・システムレベルの理由は何であるか？
• RQ2 不整合性を一貫して管理することで、それがユーザーにとって予測可能で理解可能なものとなるにはどうすればよいか？
• RQ3 不整合性がアプリケーションの正しさやユーザーの信頼を損なわないように保証するためのシステムレベルの原則は何か？
• RQ4 データベースシステムは、アプリケーションレベルの正しさとデバッグを支援するために、不整合性をどのように露わにすることができるか？
• RQ5 意図的に制御された不整合性を許容するが、設計段階から一貫性を保つスケーラブルなシステムを実現するためのアーキテクチャパターンは何か？

主な発見

• 大規模システムでは、高可用性とパフォーマンスを達成するために、意図的な不整合性は不可欠なトレードオフである。
• 不整合性を境界付きに保ち、可視化し、意味的に明確にすることで、システムはユーザーの信頼を維持できる。
• 本稿は、弱体化したとしても、一貫性の保証が明示的かつ合成可能であるべきだと確立している。
• ユーザー向けの意味論は、実際の一貫性モデルを反映すべきであり、これにより開発者は正しいアプリケーションを記述できる。
• 境界付き遅延や衝突解決ログの実装戦略は、不整合性を持続可能に管理するのに役立つ。
• この枠組みにより、データの乖離があってもスケーラブルなシステムが理解可能な振る舞いを提供でき、保守性とデバッグ性が向上する。