选主问题

选主规格通常同时包含唯一性与终止性：所有正确进程最终认可同一名合法进程，并在系统稳定后不再无限换主。困难不只是“找最大编号”，而是进程无法直接观察全局成员状态；超时只说明暂时没收到消息，可能是网络慢、对方崩溃或自身被隔离。唯一 ID、随机性、时序上界或故障检测器都是用来打破对称与不确定性的额外来源。

有唯一 ID 的环上可比较 ID 选最大者；匿名对称环中无外部不对称时确定性选主不可能。故障检测器可帮助最终稳定到一个正确 leader，但短暂出现多个候选不一定违反最终选主规格。

在无故障、具有唯一 ID 且所有节点共同知道规模 $n$ 的同步单向环上，每个进程每轮转发此前见过的最大 ID；经过 $n-1$ 轮，每个节点都收到全部初始 ID 的影响，便可按这个已知界确认全局最大者。若不知道 $n$，某个最大 ID 绕环回到其所有者，只让这个候选者确认自己当选；还需把当选通知再传遍环，才能让其他进程也确认结果。收到一个暂时最大的 ID，不等于知道未见部分没有更大者。匿名环若所有节点初态、端口标号与调度完全对称，确定性算法会让所有节点始终采取相同动作，不可能恰选一个。崩溃模型中，暂时同时存在两个候选不必违反 eventual leader 规格，但若两者都能对外执行主权操作，就必须由任期、quorum 或 fencing token 阻止旧主产生有效写入。

消息传递系统理路消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。中的选主依赖可区分的允许执行理路可容许执行Admissible execution满足给定调度、公平性和故障模型约束的执行。与进程身份。Ω理路最终领导者故障检测器 ΩOmega failure detector · Eventual leader failure detector · Ω failure detector最终让所有正确进程永久输出同一个正确进程标识的故障检测器类别。只承诺某个未知时刻后，所有正确进程永久输出同一个正确标识；稳定前不同 oracle 输出并不直接违反其规格。选主任务则要由算法把输出解释为最终领导者，并规定合法身份与任务完成条件。

Raft理路Raft 共识协议Raft consensus algorithm以任期、选主和复制日志实现崩溃容错共识的协议。把任期选举与日志新旧限制结合，主副本复制还需 quorum 或 fencing 阻止旧主继续产生有效写入。共同 leader 是协调工具，不会单独提供共识理路分布式共识Distributed consensus · Consensus problem多个进程在可能故障和通信延迟下对一个值达成一致的任务。安全或日志提交证据。

Fencing令牌理路Fencing令牌与过期持有者Fencing token · Stale holder fencing · Fencing epoch让资源端原子保存递增代际并拒绝旧持有者，复算暂停后迟到写、激活屏障、同代重复与资源恢复的不同责任。把前文旧主保护具体化为资源端的持久代际检查。新持有者收到授权并不会瞬间撤销网络中旧请求；资源必须先接受新代际，之后才能保证更旧操作被拒绝。检查、代际推进和资源修改还须原子绑定，同代重复则另由请求身份去重处理。