[論文レビュー] Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

Hagit Attiya, Jennifer L. Welch|arXiv (Cornell University)|Jan 1, 2023

Distributed systems and fault tolerance被引用数 3

ひとこと要約

本稿では、多値入力を扱うために、クルセイダー合意、アプトコミット、グレーデッドブロードキャストを一般化する統合的枠組みとしての多値連結合意を導入する。この枠組みは、意思決定をグラフ上の頂点としてモデル化することで、隣接するか等しい値への収束を保証する。この手法は、スパイダーグラフにおける近似合意を用いて、隣接または等しい値への収束を実現し、障害耐性と時間計算量の最適性を満たすクラッシュ耐性およびビザンチン耐性のアルゴリズムを提示する。各バリアントについて、耐障害性と時間計算量の上限に関する形式的証明が与えられる。

ABSTRACT

Algorithms to solve fault-tolerant consensus in asynchronous systems often rely on primitives such as crusader agreement, adopt-commit, and graded broadcast, which provide weaker agreement properties than consensus. Although these primitives have a similar flavor, they have been defined and implemented separately in ad hoc ways. We propose a new problem called connected consensus that has as special cases crusader agreement, adopt-commit, and graded broadcast, and generalizes them to handle multi-valued inputs. The generalization is accomplished by relating the problem to approximate agreement on graphs. We present three algorithms for multi-valued connected consensus in asynchronous message-passing systems, one tolerating crash failures and two tolerating malicious (unauthenticated Byzantine) failures. We extend the definition of binding, a desirable property recently identified as supporting binary consensus algorithms that are correct against adaptive adversaries, to the multi-valued input case and show that all our algorithms satisfy the property. Our crash-resilient algorithm has failure-resilience and time complexity that we show are optimal. When restricted to the case of binary inputs, the algorithm has improved time complexity over prior algorithms. Our two algorithms for malicious failures trade off failure resilience and time complexity. The first algorithm has time complexity that we prove is optimal but worse failure-resilience, while the second has failure-resilience that we prove is optimal but worse time complexity. When restricted to the case of binary inputs, the time complexity (as well as resilience) of the second algorithm matches that of prior algorithms. The contributions of the paper are first, a deeper insight into the connections between primitives commonly used to solve the fundamental problem of fault-tolerant consensus, and second, implementations of these primitives that can contribute to improved consensus algorithms.

研究の動機と目的

• クルセイダー合意、アプトコミット、グレーデッドブロードキャストといった異なる合意プリミティブを、多値入力の下で統一的な抽象化の下に統合すること。
• これらのプリミティブを、特にスパイダーグラフを用いたグラフ上の近似合意を用いて一般化し、隣接または等しい値への意思決定収束をモデル化すること。
• クラッシュ障害と悪意ある（ビザンチン）障害の両方の下で、最適な耐障害性と時間計算量を満たすアルゴリズムを設計し、形式的証明を提供すること。
• 従来の二値設定でのみ研究された「バインディング性」を、多値設定に拡張し、提案されたすべてのアルゴリズムでその満たされることを証明すること。
• 提案されたアルゴリズムが、耐障害性と時間計算量の両面で最適な性能を達成しており、従来の二値ケースの研究と比較して性能が向上していることを示すこと。

提案手法

• 意思決定空間をグラフとしてモデル化し、プロセスが互いに距離1以内の頂点に決定するようにし、意思決定が入力の凸包内にあることを保証する。
• 連結合意を、特に中心クランプを有するスパイダーグラフという制限付きクラスのグラフにおける近似合意の一般化として定義する。
• 最適な障害耐性（n > 3f）と時間計算量（O(1)ラウンド）を達成するクラッシュ耐性アルゴリズムを設計し、不辺識別性の議論を用いてその最適性を証明する。
• 2つのビザンチン耐性アルゴリズムを開発する：1つは最適な時間計算量（O(1)ラウンド）を達成するが耐障害性は弱い（n > 5f）、もう1つは最適な耐障害性（n > 5f）を達成するが時間計算量は高い。
• 不辺識別性の議論とメッセージ受信パターンを用いて、入力が偏っている場合には意思決定が0または1でなければならないこと、入力がバランスしている場合には⊥でなければならないことを証明する。
• 意思決定が適応的攻撃者行動下でも任意に分岐しないことを示すことにより、バインディング性が成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 クルセイダー合意、アプトコミット、グレーデッドブロードキャストを、多値入力に一般化できる単一の抽象化の下に統合できるか？
• RQ2 どのグラフベースのモデルが、これらのプリミティブを統一的に扱いながら、その主要な合意特性を保持できるか？
• RQ3 クラッシュ障害およびビザンチン障害の下で、連結合意の最適な耐障害性と時間計算量の上限は何か？
• RQ4 従来の二値合意でのみ定義された「バインディング性」を、多値設定に拡張し、その保持をどのように保証できるか？
• RQ5 提案されたアルゴリズムは、耐障害性と時間計算量の両面で最適な性能を達成できるか？また、それらは従来の研究と比較してどのように異なるか？

主な発見

• クラッシュ耐性アルゴリズムは、最適な障害耐性（n > 3f）と最適な時間計算量（O(1)ラウンド）を達成し、従来の二値アルゴリズムよりも性能が向上している。
• 最初のビザンチン耐性アルゴリズムは、最適な時間計算量（O(1)ラウンド）を達成するが、n > 5f を必要とし、これは本稿で証明された最小の耐障害性境界である。
• 2番目のビザンチン耐性アルゴリズムは、最適な耐障害性（n > 5f）を達成するが、時間計算量は高く、二値ケースの従来のアルゴリズムと一致する。
• 本稿では、R = 1 の任意の均一な連結合意アルゴリズムに対して n ≥ 3f + 2 が必須であることを証明しており、f ≥ n/3 の非同期システムでは合意が解けないことを示している。
• 提案されたすべてのアルゴリズムでバインディング性が保持されており、適応的攻撃者行動下でも意思決定の一貫性が保たれることを保証している、多値設定下でも同様に有効である。
• 異なるメッセージ遅延の下で、あるプロセスが⊥に決定する一方で他のプロセスが0または1に決定する実行が存在することを示しており、バインディング性が自動的に満たされないことが証明されており、したがって明示的な強制が必要であることを示している。