コンセンサスアルゴリズム とは？

複数のノードが採用する値や処理の順序をそろえることだよ。単に票を数えるだけでなく、通信が遅れたり一部が止まったりしても、矛盾する決定をしないための規則を組み合わせるんだ。

方式によるよ。たとえばRaftは過半数のノードが動いて通信できることを進行の条件とする。3台なら2台が必要で、全員の応答を待つ必要はない。ただしRaftは基本的に停止などの故障を想定し、ノードが悪意を持って偽の情報を送る場合まで守る方式ではないんだ。

合意の仕組みに使われるけれど、参加者や障害の想定が異なるよ。PoWは計算作業、PoSは担保として預ける資産などを利用し、大量の偽の参加者を作る攻撃に対抗する。単なる人数や保有量の多数決ではなく、どの履歴を採用するかなどの規則と組み合わせるんだ。

合意したことと、入力された内容が現実の事実に合うことは別だよ。合意の手順は、何を採用するかをそろえる役割。取引が業務ルールに合うか、外から入ったデータが信頼できるかも、それぞれ確認する必要があるんだ。

使うよ。etcdはRaftを使い、Google SpannerはPaxosに基づく複製を行う。用途に応じて参加者、故障の想定、通信の条件などを確認して選ぶ。すべての方式が同じ多数決や経済的な罰則で動くわけではないんだ。