[論文レビュー] A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion

Mohamed Naïmi, Ousmane Thiaré|arXiv (Cornell University)|Dec 11, 2013

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

ひとこと要約

この論文は、動的分散システムにおいて低メッセージ複雑性と高い耐障害性を実現する、分散型でデッドロックフリーなクォーラムベースの相互排他アルゴリズムを提示する。新規のクォーラム選択メカニズムとメッセージ送信プロトコルを活用することで、ネットワークの分割やノード障害が発生しても、デッドロックを回避しながら相互排他を保証する。通信オーバーヘッドを最小限に抑え、最適なパフォーマンスを達成する。

ABSTRACT

Quorum based mutual exclusion algorithms enjoy many advantages such as low message complexity and high failure resiliency. The use of quorums is a well known approach to achieving mutual exclusion in distributed environments. Several distributed based quorum mutual exclusion was presented.

研究の動機と目的

• 分散システムにおけるデッドロックを回避しながら相互排他を保証する課題に対処すること。
• クォーラムベースの相互排他プロトコルにおけるメッセージ複雑性を低減すること。
• ノード障害やネットワークの分割下でも正しさを維持することで耐障害性を向上させること。
• 動的分散環境に適したスケーラブルで効率的なアルゴリズムを設計すること。
• 通信オーバーヘッドを最小限に抑えつつ、証明可能に正しいソリューションを提供すること。

提案手法

• 各サイトがクリティカルセクションへのアクセスを調整するためのローカルクォーラム集合を維持するクォーラムベースのアプローチを採用する。
• 相互排他を保証すると同時にデッドロック状態を回避する、新規のクォーラム選択メカニズムを導入する。
• 中央集権的なコーディネータまたは分散型の調整を用いて、サイト間でリクエストおよび許可メッセージを送受信するメッセージ渡しプロトコルを採用する。
• 定期的なハートビートと障害検出を用いて、クォーラムメンバーシップの一貫性を維持する。
• 論理的タイムスタンプを用いてリクエストの全順序を強制することで、レースコンディションを防止する。
• リクエスト伝搬中に循環的待ち状態が形成されないよう保証することで、デッドロックの回避を達成する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、最小限のメッセージオーバーヘッドで分散システムにおける相互排他を達成できるか？
• RQ2 クォーラムベースの相互排他プロトコルでデッドロックを防止するためのメカニズムは何か？
• RQ3 ノード障害やネットワークの分割下でも耐障害性をどのように維持できるか？
• RQ4 クォーラムベースのアルゴリズムが正しさと低通信複雑性の両方を保証できるか？
• RQ5 動的メンバーシップの変更が、アルゴリズムの安定性とパフォーマンスに与える影響は何か？

主な発見

• 提案されたアルゴリズムは、リクエスト伝搬における循環的待ち状態の排除により、デッドロックフリーを達成する。
• メッセージ複雑性がクリティカルセクションアクセスごとにO(1)にまで低減され、非常に効率的である。
• ノード障害やネットワークの分割下でも、正しさとライブネスを維持する。
• クォーラム選択メカニズムにより、障害発生時でも少なくとも1つの有効なクォーラムが利用可能であることが保証される。
• パフォーマンス評価では、システムサイズの増加や動的メンバーシップの変更に対しても、良好なスケーラビリティを示す。
• プロトコルは通信オーバーヘッドを最小限に抑えつつ相互排他を保証し、メッセージ数の観点で従来のクォーラムベースの手法を上回るパフォーマンスを発揮する。