[論文レビュー] Hosting Byzantine Fault Tolerant Services on a Chord Ring

Alan Dearle, Graham Kirby+1 more|arXiv (Cornell University)|Jun 17, 2010

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

ひとこと要約

この論文は、リング回復からサービス状態のレプリカを分離することにより、ChordベースのP2Pネットワーク上にByzantine Fault Tolerant (BFT)な状態保持型サービスをホスティングする新しいアプローチを提示する。レプリカ認識クライアントモデル、更新のシリアル化を図るコンセンサスプロトコル、およびデータ整合性を保証するBFTレプリカプロトコルを導入することで、標準の非BFT Chordインfra構造上でも信頼性の高いBFTサービスの実現が可能になる。

ABSTRACT

In this paper we demonstrate how stateful Byzantine Fault Tolerant services may be hosted on a Chord ring. The strategy presented is fourfold: firstly a replication scheme that dissociates the maintenance of replicated service state from ring recovery is developed. Secondly, clients of the ring based services are made replication aware. Thirdly, a consensus protocol is introduced that supports the serialization of updates. Finally Byzantine fault tolerant replication protocols are developed that ensure the integrity of service data hosted on the ring.

研究の動機と目的

• 標準のChordベースのP2Pネットワーク上に、ネイティブにBFTでない状態保持型BFTサービスをデプロイ可能にする。
• Chordの自己修復メカニズムとBFTレプリケーション要件の間に生じる矛盾が、サービス状態の整合性を損なう問題に対処する。
• レプリケートされたサービス状態の維持を、下位のChordリングのトポロジ回復プロセスから分離する。
• トポロジ変更や障害が発生しても、クライアントが正しくレプリケートされたサービスコンポonentsとやり取りできるようにする。
• コンセンサスおよびレプリケーションプロトコルを用いて、非BFT P2Pインfra上でも信頼性がありスケーラブルなBFTサービス運用のメカニズムを提供する。

提案手法

• BFTレプリケーションロジックをリングの自己回復メカニズムから分離することで、サービス状態レプリケーションとChordリング回復を分離する。
• 複数のサービスコンポーネント間での更新をシリアル化するコンセンサスプロトコルを採用し、同時に複数のリクエストが発生しても一貫性のある状態遷移を保証する。
• キーベースルーティングおよびレプリカ発見に基づいて、サービスコンポーネントとやり取りできるレプリカ認識クライアントを導入する。
• ノード障害後に、Chordのアップコール（releaseおよびtakeOver）をトリガーとして、複数のレプリカノードから分散キー範囲にわたるデータを集約して、サービス状態を再構築する多段階回復アルゴリズムを採用する。
• 再構築中にデータ整合性を検証するため、BFTレプリケーションプロトコルを適用し、自己検証可能なデータと安全なフェッチポリシーを用いて、不整合を防止する。
• レプリケーション要因に基づいて、ステートマシンを自動生成するジェネリック技術を適用し、スケーラブルかつ正しく実装可能な仕組みを実現する。

実験結果

リサーチクエスチョン

• RQ1 非BFTのChordオーバーレイネットワーク上に、Byzantine Fault Tolerantサービスを信頼性を持ってホスティングする方法は何か？
• RQ2 BFTサービス状態管理をChordのネイティブなリング回復手順から分離するために必要なメカニズムは何か？
• RQ3 動的な、フェイルセーフな環境下で、正しくサービスコンポーネントにアクセス・更新できるようにするため、クライアントをレプリカ認識可能にするにはどうすればよいか？
• RQ4 Byzantine障害を伴うP2P環境で、更新を効果的にシリアル化するコンセンサスプロトコルは何か？
• RQ5 ノード障害後に、BFT仮定下でもデータ整合性を保証しつつ、正しく一貫性のある方法でサービス状態を再構築するにはどうすればよいか？

主な発見

• 提案手法により、BFTレプリケーションとリング回復の分離を実現することで、標準のChordネットワーク上にBFT状態保持型サービスを効果的にデプロイ可能であることが示された。
• 多段階回復アルゴリズムにより、障害発生後に複数のレプリカノードから分散キー範囲にわたるデータを集約することで、サービス状態を正しく再構築できることが確認された。
• コンセンサスプロトコルにより、同時に複数のアクセスが発生しても、更新のシリアル化が保証され、矛盾する状態遷移が発生しなくなった。
• 自己検証可能なデータと安全なフェッチポリシーの活用により、不要なデータ転送が削減され、一時的障害時におけるレジリエンスが向上した。
• ステートマシン生成のためのジェネリック技術の実装により、異なるレプリケーション要因に自動的に適応可能な仕組みが実現された。
• 本手法は他のKBRベースのシステムにも適用可能であるが、プライマリノード障害の問題はChordに類似したアーキテクチャにおいて特に顕著である。