[論文レビュー] An asynchronous, decentralised commitment protocol for semantic optimistic replication

Pierre Sutra, Marc Shapiro+1 more|ArXiv.org|Dec 18, 2006

Distributed systems and fault tolerance参考文献 23被引用数 4

ひとこと要約

本論文は、意味的制約（例：競合、因果関係、原子性）をマルチロッググラフとしてモデル化することで、大規模分散システムにおけるオプティミスティックレプリケーションの分散型非同期コミットプロトコルを提案する。各サイトは一時的なスケジュールを独立して提案し、意味的に意味のある候補に分解し、多数決投票によってコミットされるアクションを選出することで、中間取消を最小限に抑えつつ、非Byzantine障害下でも安全を保証する。

ABSTRACT

We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that reify semantic constraints between actions. Constraint types include conflict, execution order, dependence, and atomicity. The local state is some schedule that conforms to the constraints; because of conflicts, client state is only tentative. For consistency, site schedules should converge; we designed a decentralised, asynchronous commitment protocol. Each client makes a proposal, reflecting its tentative and{\slash}or preferred schedules. Our protocol distributes the proposals, which it decomposes into semantically-meaningful units called candidates, and runs an election between comparable candidates. A candidate wins when it receives a majority or a plurality. The protocol is fully asynchronous: each site executes its tentative schedule independently, and determines locally when a candidate has won an election. The committed schedule is as close as possible to the preferences expressed by clients.

研究の動機と目的

• 豊かな意味的性質を持つオプティミスティックレプリケーションシステムにおけるスケーラブルで分散型のコミットメカニズムの欠如に対処する。
• 中央集権的コミット（例：単一障害点）や全順序アプローチ（例：不要な中間取消）の限界を克服する。
• コミットスケジュールがローカルクライアントの提案に近い形になることで、ユーザーの驚きを最小限に抑える。
• 多数決を必要とせず、多数派投票を用いることで、進行性を維持する。
• 細粒度の意味的制約（競合、依存関係、原子性）をサポートし、スケジューリング意思決定をガイドする。

提案手法

• システムをマルチロッグとしてモデル化：頂点がアクションで、辺が意味的制約（競合、順序、依存関係、原子性）を表す有向グラフ。
• 各サイトがローカルマルチロッグと、その制約に従う一時的スケジュールを維持することを許可する。
• ローカル提案から導出される候補単位を提案し、意味的に意味のあるアクションの部分集合を表す。
• 分散型選挙：参加サイトからの過半数または多数の票を集めた候補が勝者となる。
• 非同期通信を用いる：サイトは独立して、どの候補が勝利したかを判断し、対応するスケジュールをコミットする。
• 形式的証明による安全性保証：非Byzantine障害下でも、すべてのサイトが等価で一貫性のあるスケジュールに収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 オプティミスティックレプリケーションにおいて、豊かなアプリケーション意味的性質をサポートする分散型コミットプロトコルをどのように設計できるか？
• RQ2 効率的で安全かつユーザーの意図に一致するコンSENSUSを実現するために、最小限の意味的粒度（候補）とは何か？
• RQ3 多数決を必要とせず、多数派投票を用いることで、進行性を達成できるか？
• RQ4 ローカル一時的提案と一致するコミットスケジュールをどのようにしてユーザーの驚きを最小限に抑えるか？
• RQ5 最適性とユーザーフィードバックの観点から、頻繁な小規模意思決定と稀なバッチ処理の決定の間にはどのようなトレードオフがあるか？

主な発見

• 非Byzantine障害下でも形式的に安全であることが証明されており、すべてのサイトが最終的に同等で一貫性のあるスケジュールに収束することが保証される。
• 十分な票が得られれば、過半数が得られなくても多数派投票を勝利基準として用いることで、進行性が達成される。
• 非可換アクションペアと意味的制約に焦点を当てることで、全順序アプローチと比較して不要な中間取消を最小限に抑えることができる。
• 意味的に意味のある候補の使用により、効率的な分解と投票が可能になり、通信オーバーヘッドが削減され、スケーラビリティが向上する。
• 意思決定をサイト間で分散させることで、中央集権的ボトルネックを回避しつつ、意味的整合性を維持する。
• 原則として部分レプリケーションをサポートする。サイトは自分が知っているアクションのみに投票し、グローバルな調整を必要最小限に抑える。