CAP
証明概要
ノードが2つ (ノードA, ノードB) ある
ノード間が分断する
ノードAに write リクエストを送る
ノードBに read リクエストを送る
分断しているのでAはBに情報を伝えられない => 一貫性が成り立たない => 矛盾 じゃあ分断したら B は利用できないようにすれば一貫性は成り立つ => B 死んでるので可用性が成り立たない => 矛盾 じゃあ分断しないと考える => 分断耐性ない => 矛盾 分断はめったに起きない
分断起きなければ C A は両立可能
全体ではなく小さい単位で C と A どっちを優先するかが変わる
別に他のノードが落ちていてもいいので A かと思いきや、consul とのやり取りとかトピック内のポリシは C じゃなければいけなかったり
C もレベルがある
Crash-Recover とかであれば、ノードが復帰したあとになったら一貫性保てるかも