分散システムにおける重要な理論であるCAP定理とPACELC定理について書く。

CAP定理とは

CAP定理とは、分散システムにおいて以下の3つの特性のうち、同時に2つまでしか実現できないという理論である：

Consistency（一貫性）：全ノードが同じデータを返す
Availability（可用性）：常に応答が返る
Partition Tolerance（分断耐性）：ネットワークが分断しても動作を続ける

分散システムでは、Partition（P）は避けられないため、実質「CかAのどちらかを選ぶ」という選択を迫られることになる。

CAP定理のミスリーディング

CAP定理の「3つのうち2つ」という公式は以下の理由でミスリーディングである：

分割は滅多に起きない：分割のない状態では、CもAも失われない
細かい粒度での選択：同じシステム内で操作やデータごとに異なる選択が可能
度合いの問題：3つの属性は0か1ではなく、それぞれ度合いがある

例：

システム	分類	解説
Zookeeper	CP	可用性を犠牲にして一貫性を維持
Cassandra	AP	一貫性を緩めて高可用性を維持

PACELC定理とは

CAP定理には重要な抜け穴がある。それは「Partitionが起きていないときのトレードオフが語られていない」ことである。

PACELC定理はこの問題を補完する形で登場した理論である。PACELC定理では、分割（P）が発生した場合、システムは可用性（A）と一貫性（C）のトレードオフを行わなければならない。そうでない場合（E）、システムはレイテンシ（L）と一貫性（C）のトレードオフを行わなければならないとされる。

つまり、分散システムは以下の2つの状況でそれぞれ異なるトレードオフに直面する：

Partition時：AかCを選ぶ（CAP定理と同じ）
Partitionが無いとき：LかCを選ぶ必要がある

これは、分割が発生していない通常時においても、強い一貫性を維持するためには通信によるレイテンシが発生し、低レイテンシを優先するなら一貫性を緩める必要があることを示している。

PACELC定理の構成要素：

P: Partitionが発生した場合
A/C: 可用性 or 一貫性
E: それ以外（Partitionがないとき）
L/C: レイテンシ or 一貫性

flowchart TD A[分散システムの運用状況] --> B{ネットワーク分割が<br/>発生している？} B -->|Yes P| C{どちらを選ぶ？} B -->|No E| D{どちらを選ぶ？} C -->|可用性優先| E[PA] C -->|一貫性優先| F[PC] D -->|レイテンシ優先| G[EL] D -->|一貫性優先| H[EC] style A fill:#e1f5fe style B fill:#fff3e0 style C fill:#fce4ec style D fill:#fce4ec style E fill:#e8f5e8 style F fill:#e8f5e8 style G fill:#e8f5e8 style H fill:#e8f5e8

各分類の特徴：