[論文レビュー] Contention-Aware Cooperation

Timothé Albouy, Davide Frey+3 more|arXiv (Cornell University)|Nov 15, 2023

Distributed systems and fault tolerance被引用数 1

ひとこと要約

本稿では、非同期Byzantineメッセージパッシングシステムにおける故障耐性通信抽象化として、d対n協調（d-to-n cooperation）を可能にする新規なコンtention-Aware Cooperation（CAC）を紹介する。ここでd（プロポーザの数）とℓ（受け入れられた値の数）は未知であり、実行中に動的に変化する。CACは将来の値受容に関する不完全なオラクルを提供することで、低競合時における効率的なファストパス実行を可能にするオピニオンティスティック終了をサポートし、高性能なコンセンサスアルゴリズム（Cascading Consensus）および完全非同期下での新規名前割り当て問題の解決に用いられる。

ABSTRACT

As shown by Reliable Broadcast and Consensus, cooperation among a set of independent computing entities (sequential processes) is a central issue in distributed computing. Considering $n$-process asynchronous message-passing systems where some processes can be Byzantine, this paper introduces a new cooperation abstraction denoted Context-Adaptive Cooperation (CAC). While Reliable Broadcast is a one-to-$n$ cooperation abstraction and Consensus is an $n$-to-$n$ cooperation abstraction, CAC is a $d$-to-$n$ cooperation abstraction where the parameter $d$ ($1\leq d\leq n$) depends on the run and remains unknown to the processes. Moreover, the correct processes accept the same set of $\ell$ pairs $\langle v,i angle$ ($v$ is the value proposed by $p_i$) from the $d$ proposer processes, where $1 \leq \ell \leq d$ and, as $d$, $\ell$ remains unknown to the processes (except in specific cases). Those $\ell$ values are accepted one at a time in different orders at each process. Furthermore, CAC provides the processes with an imperfect oracle that gives information about the values that they may accept in the future. In a very interesting way, the CAC abstraction is particularly efficient in favorable circumstances. To illustrate its practical use, the paper describes in detail two applications that benefit from the abstraction: a fast consensus implementation under low contention (named Cascading Consensus), and a novel naming problem.

研究の動機と目的

• 従来のコンセンサスアルゴリズムが低競合状況で非効率であるのを是正するため、ファストパス機構を再利用可能な抽象化に分離すること。
• 非同期Byzantineシステムにおいて、未知のプロポーザ数と受け入れられた値の数に動的に適応する協調抽象化を設計すること。
• 新しい抽象化を用いて、オピニオンティスティックに終了するコンセンサスと、完全非同期下での新規名前割り当て問題を解決すること。
• 高性能なByzantine耐性分散システムを構築するためのモジュラーで合成可能な基盤を提供すること。

提案手法

• dとℓが実行中に未知かつ動的であるd対n協調抽象化として、Contention-Aware Cooperation（CAC）を提案する。
• 将来の値受容に関する確率的洞察を提供する不完全なオラクルを導入し、ファストパス最適化を可能にする。
• CACのインスタンスを逐次使用するコンセンサスアルゴリズム「Cascading Consensus」を設計し、オラクルが合意を予測した場合に早期終了を実現する。
• すべてのCACおよびコンセンサスプロトコルにおいて、真正性を保証しByzantineの改ざんを防ぐために暗号署名を採用する。
• レイヤードファストパスメカニズムを採用：CAC1が初期値収集を、CAC2が候補値の伝搬を、GCが最終意思決定を担当する。タイムアウトを用いてライブネスを保証する。
• CAC-Global-terminationおよびCAC-Prediction特性を活用し、非同期およびByzantine挙動下でも安全かつライブネスを保証する。

実験結果

リサーチクエスチョン

• RQ1 Byzantine非同期システムにおいて、未知のプロポーザ数と受け入れられた値の数に動的に適応する協調抽象化をどのように設計できるか？
• RQ2 将来の値受容を予測する不完全なオラクルを用いることで、コンセンサスプロトコルにおける効率的でオピニオンティスティックな終了を実現できるか？
• RQ3 低競合状況下で高速に終了するが、非同期下でも安全であるコンセンサスアルゴリズムを実装するために必要な最小限の仮定は何か？
• RQ4 CACを用いて、同期仮定なしに完全非同期下での新規名前割り当て問題を解けるか？
• RQ5 ファストパス機構をどのようにモジュラーかつ合成可能で安全な分散抽象化に抽象化・組み合わせられるか？

主な発見

• CACは、未知のdおよびℓを想定したd対n協調を可能にし、すべての正しく動作するプロセスが同じℓ個の値-プロポーザペア集合に合意に至る。
• CACにおける不完全なオラクルにより、プロセスはファスト終了に適した状態を検出でき、安全を損なうことなくオピニオンティスティック実行が可能になる。
• Cascading ConsensusはCACを用いてオピニオンティスティックに終了するコンセンサスを実現し、ファストパスが使用されない場合でも終了が保証される。
• CAC抽象化は、完全非同期下での新規名前割り当て問題の解決を可能にし、コンセンサスを超えた有用性を示している。
• 提示されたすべてのプロトコルはデジタル署名を必要とし、Byzantineプロセスが存在する完全非同期環境下でも正しく動作することが証明されており、安全とライブネスを保証する。
• 本稿では、CACのファストパスメカニズムが、競合が高くなるかオラクルの予測が不正確であっても、正常性を保ちながら劣化することを確立している。