[論文レビュー] Spacetime-Entangled Networks (I) Relativity and Observability of Stepwise Consensus

Paul L. Borrill, Mark Burgess+2 more|arXiv (Cornell University)|Jul 23, 2018

Distributed systems and fault tolerance参考文献 18被引用数 3

ひとこと要約

本稿では、通信エンドポイント間の状態の相関的進化（エンタングルメント）を強制することで、分散システムにおける決定的でトランザクショナルなメッセージ配信を達成するための新規フレームワークとして、時空エンタングルドネットワークを提案する。プロミス理論を用いることで、エンドツーエンドで順序通りに、アトミックに、相互に確認された配信を実現し、信頼性の低いネットワークにおいても、合意形成と共通知識のスケーラブルで階層的な基盤を構築する。

ABSTRACT

Consensus protocols can be an effective tool for synchronizing small amounts of data over small regions. We describe the concept and implementation of entangled links, applied to data transmission, using the framework of Promise Theory as a tool to help bring certainty to distributed consensus. Entanglement describes co-dependent evolution of state. Networks formed by entanglement of agents keep certain promises: they deliver sequential messages, end-to-end, in order, and with atomic confirmation of delivery to both ends of the link. These properties can be used recursively to assure a hierarchy of conditional promises at any scale. This is a useful property where a consensus of state or `common knowledge' is required. We intentionally straddle theory and implementation in this discussion.

研究の動機と目的

• 従来のネットワークプロトコルにおける低レベルの観測可能性と信頼性の欠如を解消するため、信頼性をリンク層通信に直接埋め込む。
• 因果的整合性と順序を維持する不可削減なエンタングルド通信リンクを基盤とすることで、階層的かつ再帰的な合意形成モデルを構築する。
• 特にクラウド環境やミッションクリティカルシステムにおいて、スケーラブルなトランザクショナル通信の基盤を提供するため、アトミックで順序通りで観測可能なメッセージ配信を保証する。
• アプリケーション層での回復に依存するのを減らすため、エンタングルメントを通じてフィードバックと信頼性メカニズムをネットワーク層にまで押し下げる。
• 異種ネットワークにおける時間的不一致や潜在的な不安定性を管理しつつ、複数ホップにわたるエンタングルメントのスケーリング方法を検討する。

提案手法

• プロミス理論を用い、通信リンクをエンタングルドエージェントとしてモデル化。各エンドポイントの状態が相手に因果的かつ相互に依存することで、共通決定の挙動を強制する。
• メッセージ送信をプロミス交換として定義：送信者は意図を提示し、受信者はその意図の受領を確認する。これは2段階コミットプロトコルに類似した2段階コミットプロセスを形成する。
• 各レイヤーが下位レイヤーからのプロミスに依存することで、アトミック性と整合性を保証する再帰的プロトコルスタックを実装。これは「トカゲが下にいる」というモデルに類似した、『下までずっと続く』信頼性モデルを形成する。
• 多重ホップネットワークにおける冗長な因果的経路を防ぎ、干渉を低減するため、スパニングツリーを用いる。これにより、予測可能で安定したメッセージ伝搬を保証する。
• ネットワークエージェントの内部の非決定的性質を、同期されたプロミス履行を通じて、システムレベルで準決定的挙動に再定式化する。
• エンタングルメントの固有状態を用いて、相関的または反相関的挙動を強制し、エンドポイントの明確な区別を可能にするとともに、メッセージ伝送におけるノイズ干渉を最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 エンドポイント間の状態エンタングルメントによって、順序通りでアトミックかつエンドツーエンドのメッセージ配信を保証できるネットワークリンクを設計可能か？
• RQ2 プロミスエンタングルメントをどのように用いることで、複数ホップにわたるネットワークでスケーラブルな階層的・再帰的合意メカニズムを構築できるか？
• RQ3 エンタングルドリンクの直列合成が、特に可変遅延を持つネットワークにおいて、時間的要因と安定性に与える影響は何か？
• RQ4 エンタングルメントベースの通信は、アプリケーション層での障害回復の必要性をどの程度低減でき、分散システムにおける観測可能性をどのように向上できるか？
• RQ5 異なるプロミス履行レートを持つエンタングルドリンクを合成する際、タイミングストームや振動的不安定性をどのように防止できるか？

主な発見

• エンタングルドリンクは、共有クロック上で原因と結果が同期しているように見える準決定的挙動を強制し、メッセージ配信順序と状態に関する信頼できる推論を可能にする。
• この手法により、リンク両端での配信のアトミック確認が可能となり、結果的にリンクが相互に整合性を保つ単一の不可削減エージェントとして機能する。
• エージェント間で一貫したプロミスセットを維持することで、状態の高速な均衡化が実現され、データの一貫性と整合性に関する推論が簡素化される。
• このアプローチにより、データベースシステムに類似したトランザクショナル保証をネットワーク層で実現可能だが、基本的な信頼性のためのアプリケーション層の調整は不要となる。
• エンタングルメントはアプリケーション層のクラッシュによって失われたセッションを回復できないが、低レベルでの堅牢な配信保証により、そのような障害の頻度を顕著に低減する。
• 複数ホップにわたるスケーリングには、特に減衰機構の注意深い設計が必要であり、異なるリンク遅延や時間的不一致による不安定性を防止する必要がある。