[論文レビュー] Isolation Support for Service-based Applications: A Position Paper

Paul Greenfield, Alan Fekete+3 more|ArXiv.org|Dec 21, 2006

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

ひとこと要約

この論文は、従来のACIDトランザクションとロックが不適切なサービス指向アプリケーションにおける隔離メカニズムとして「プロミス」を提案する。従来のロックに依存しないで、クライアントが条件を確認した後、それが変更されていないことを保証できる。これにより、多様な実装技術を統一的な抽象化として扱えるようになり、ブロッキングを回避することで分散サービス環境における一貫性と可用性が向上する。

ABSTRACT

In this paper, we propose an approach to providing the benefits of isolation in service-oriented applications where it is not feasible to hold traditional locks for ACID transactions. Our technique, called "Promises", provides an uniform view for clients which covers a wide range of implementation techniques on the service side, all allowing the client to check a condition and then later rely on that condition still holding.

研究の動機と目的

• 従来のロックメカニズムがパフォーマンスやスケーラビリティの制約により不適切な場合に、サービス指向アプリケーションにおける隔離を維持する課題に対処すること。
• 隔離のための多様な下位実装技術の複雑さを隠蔽する、一様な抽象化を提供すること。
• クライアントが条件を確認した後、その条件が保持されたままであることを保証し、分散処理全体にわたる一貫性を確保すること。
• サービス指向アーキテクチャにおいて長時間のロックを避けることで、システムの可用性とスケーラビリティを向上させること。
• 緩く結合された、サービス指向の環境において、多様な一貫性要件を満たすこと。

提案手法

• クライアントが条件が変更されないことを保証する契約である「プロミス」の概念を導入する。
• クライアントの整合性ビューをサービスの内部実装詳細から分離し、低レベルの並行制御メカニズムを抽象化する。
• サービスがオプティミスティックな並行制御、バージョニング、最終的整合性のいずれかを用いて隔離を実装しても、クライアントに対して強力な整合性抽象化を提供できるようにする。
• クライアントが条件に対して「プロミス」を取得し、後でそれを「検証」できるプロミスベースのインターフェースを採用し、条件が変更されていないことを保証する。
• 複数のサービスやトランザクションにまたがって合成可能で相互運用可能なプロミスメカニズムを設計する。
• クライアントがサービスが異なる内部整合性モデルを使用していても、一貫性についての推論が可能な一様なインターフェースを提供する。

実験結果

リサーチクエスチョン

• RQ1 従来のロックメカニズムに依存せずに、サービス指向アプリケーションにおける隔離保証をどのように提供できるか。
• RQ2 多様なサービス間での隔離実装技術を統一する抽象化は何か。その抽象化はクライアント側の一貫性を保つことができるか。
• RQ3 プロミスベースのメカニズムは、クライアントが条件を確認した後も、並行更新の影響を受けてもその条件が有効であることを保証できるか。
• RQ4 このようなメカニズムは、分散サービス環境において効率的かつスケーラブルに動作できるか。
• RQ5 ロックではなくプロミスを使用する場合、一貫性、可用性、パフォーマンスの間のトレードオフは何か。

主な発見

• 「プロミス」メカニズムにより、クライアント側の整合性保証とサービスの内部実装が明確に分離され、異種システム間で一貫した抽象化が可能になった。
• クライアントが条件を確認した後、それが保持されたままであることを保証できるため、長時間のロックを必要とせずに強力な一貫性セマンティクスを実現できる。
• このアプローチは、オプティミスティックな並行制御やバージョニングといった多様な下位一貫性モデルをサポートしながらも、クライアント側の正しさを維持できる。
• 従来のACIDトランザクションで一般的なブロッキング操作を回避することで、システムの可用性とスケーラビリティが向上する。
• 論文では、複数のサービスにまたがるプロミスの合成が可能であり、分散環境における一貫した複数ステップの操作が実現できることを示している。
• 従来のロックが不適切な、高並列性や緩く結合されたサービスアーキテクチャのような環境において、このアプローチが有効であることが示された。