[論文レビュー] Telex: Principled System Support for Write-Sharing in Collaborative Applications

Lamia Benmouffok, Jean-Michel Busca+4 more|ArXiv.org|May 30, 2008

Distributed systems and fault tolerance参考文献 17被引用数 8

ひとこと要約

Telex は、アクション制約グラフ（ACG）を用いて並行処理の意味をモデル化し、マルチログデータ構造を用いて効率的で競合のないレプリケーションを実現することで、分散環境における協調的で書き込み共有可能な、原理的かつアプリケーションに配慮したシステムを提案する。アプリケーション論理とシステム論理を分離し、アプリケーションコードとは独立して一貫性と競合解決を保証する。マルチドキュメント更新および切断状態での動作を実証済みである。

ABSTRACT

The Telex system is designed for sharing mutable data in a distributed environment, particularly for collaborative applications. Users operate on their local, persistent replica of shared documents; they can work disconnected and suffer no network latency. The Telex approach to detect and correct conflicts is application independent, based on an action-constraint graph (ACG) that summarises the concurrency semantics of applications. The ACG is stored efficiently in a multilog structure that eliminates contention and is optimised for locality. Telex supports multiple applications and multi-document updates. The Telex system clearly separates system logic (which includes replication, views, undo, security, consistency, conflicts, and commitment) from application logic. An example application is a shared calendar for managing multi-user meetings; the system detects meeting conflicts and resolves them consistently.

研究の動機と目的

• 従来の協調システムの限界を解決すること：例えば、状態マシンレプリケーションでは高遅延が生じるが、最後に書き込んだ者が勝つ方式では正しさの保証がない。
• ネットワークが切断された状態でも、一貫性を損なわず、低遅延のローカル更新を可能にする。
• アプリケーション論理（アクションと制約）とシステム論理（レプリケーション、競合検出、承認）の明確な分離を提供すること。
• アプリケーションに依存しない競合検出と解決を可能にしつつ、アプリケーション固有の並行性不変条件を保持すること。
• ローカリティを重視し、書き込み競合を回避する分散ログのスケーラブルで効率的なストレージ機構を設計すること。

提案手法

• 操作の並行性不変条件および可換性の性質を捉えるために、アプリケーションの意味をアクション制約グラフ（ACG）でモデル化する。
• ドキュメントごとにログを格納するマルチログデータ構造を実装し、読み取りと書き込みを分離することで競合を排除し、ローカリティを向上させる。
• すべてのサイトからのスケジュール収集を行い、競合のない実行順序について合意に至るシステムレベルの承認プロトコルを用いる。
• 永続的でバージョン管理されたログを用いて前方実行およびロールバックを実現し、アプリケーションレベルの干渉なしに元に戻しやチェックポイントが可能になる。
• アプリケーション固有のアクションと制約を Telex フレームワークに統合し、システムが自動的に競合を検出・解決できるようにする。
• レプリケーション、一貫性、セキュリティ、承認といったシステムの責任をアプリケーション論理から分離し、複数の協調アプリケーションで再利用可能にする。

実験結果

リサーチクエスチョン

• RQ1 プライマリサイトに依存せずに、切断状態でオptimisticな環境においても一貫性と正しさを保証できる協調システムはどのように実現できるか？
• RQ2 ACG を用いた並行性意味の形式的モデルは、アプリケーションに依存しない競合検出と解決を可能にするか？
• RQ3 分散環境における書き込み共有のシナリオにおいて、競合を最小限に抑え、ローカリティを最大化するストレージ構造はどのように設計できるか？
• RQ4 アプリケーション論理とシステム論理の分離は、協調システムにおける拡張性と正しさをどの程度向上できるか？
• RQ5 ACG とマルチログに基づくシステムが、協調編集において実際の性能特性としてどの程度達成できるか？

主な発見

• Telex はアプリケーション論理とシステム論理を成功裏に分離し、アプリケーションがアクションと制約のみを指定すれば、システムがレプリケーション、一貫性、競合解決をすべて自動で処理できる。
• マルチログ構造は書き込み競合を効果的に排除し、協調的で変更可能なデータに対して従来のファイルシステムを上回る性能を発揮する。
• システムは natively マルチドキュメント更新とクロスアプリケーションのシナリオをサポートし、アプリケーション固有の変更なしに動作する。
• Telex はネットワーク遅延がゼロの切断状態での動作を可能にし、ローカルアクションは即座に適用され、後で同期される。
• パフォーマンスベンチマークでは、Telex は並行更新においても良好にスケーリングし、ACG の意味に基づいた効率的な競合検出と解決が実現されている。
• 形式的なアプリケーション不変条件の強制により、競合する並行操作が存在する状況でも正しさの保証が得られている。