网络分区

分区把通信图暂时切成多个彼此不可达的子图，每一侧仍可能拥有活跃节点与过期副本。任何一侧都无法仅凭本地超时判断自己是多数、少数还是另一侧已经全部失效，因此允许各侧独立写入会产生冲突主权。协议通常通过多数交叠、租约或外部 fencing 把“能通信的岛”与“有权提交的岛”区分开。

跨机房链路中断时两侧节点均可服务本地请求，却不能同步。单个消息超时不能证明永久分区。脑裂是多个分区同时认为自己拥有主权的协议后果，不是分区定义本身。

五副本集群被切成三节点与两节点两侧，三节点侧可形成多数提交，二节点侧只能读取旧值或拒绝写入。若旧 leader 在二节点侧仍向外部存储发送命令，存储必须检查更高任期 token，否则网络恢复后会出现旧主写穿。单链路丢包可能绕其他路径恢复连通，并不构成图意义上的分区；实际系统也常是非对称可达，而非整齐的双向切割。

消息系统公理库消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。的通信连通性公理库图连通性Graph connectivity用顶点间是否存在路径定义无向图的连通性，并由此划分连通分量。失效形成分区，quorum交集让至多一侧获得提交证书。CAP 定理公理库CAP 定理CAP theorem网络分区期间，系统不能同时保证所有请求可用与线性一致性。讨论分区期间线性一致与每请求可用之间的取舍，Raft公理库Raft 共识协议Raft consensus algorithm以任期、选主和复制日志实现崩溃容错共识的协议。 和其他共识协议则选择少数侧停止进展以保存日志安全。冲突可合并数据类型采用的是另一种语义路线。